27.01.2014 Aufrufe

Folien Vorlesung 21.10.13 - Institut für Computerlinguistik

Folien Vorlesung 21.10.13 - Institut für Computerlinguistik

Folien Vorlesung 21.10.13 - Institut für Computerlinguistik

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Logische Grundlagen<br />

Warum Logik in der (Computer-)Linguistik?<br />

Sprachliches Wissen beinhaltet das Wissen über die Bedingungen,<br />

unter denen eine Aussage wahr oder falsch ist:<br />

Wahrheitsbedingungen:<br />

• Alle Computerlinguisten besuchen einen Kurs zur Einführung in die<br />

Logik<br />

– ist wahr, wenn ...<br />

Dr. Michael Herweg, Einführung in die Logik, Univ. Heidelberg<br />

Logische Grundlagen<br />

Warum Logik in der (Computer-)Linguistik?<br />

Sprachliches Wissen beinhaltet das Wissen über die Bedingungen,<br />

unter denen eine Aussage wahr oder falsch ist:<br />

Wahrheitsbedingungen:<br />

• Alle Computerlinguisten besuchen einen Kurs zur Einführung in die<br />

Logik<br />

– ist wahr, wenn es <strong>für</strong> jede Person x, die CL ist, einen Logik-<br />

Einführungskurs y gibt, den x besucht.<br />

Dr. Michael Herweg, Einführung in die Logik, Univ. Heidelberg<br />

12

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!