Seite parallel anzeigen
Du befindest dich hier: Logik Einführung
Beweis & Schluss
(Logik Einführung Kapitel 7)
Ist die Syntax und Semantik einer Sprache definiert, haben wir die Möglichkeit innerhalb unseres Systems Wissen darzustellen oder Annahmen zu tätigen und zu interpretieren.
Aber kommen wir zu unserem eigentlichen Ziel: dem automatisierten Generieren neuer Sätze und damit neuen Wissens.
Wir werden zunächst das semantische Konzept des logischen Schlusses (auch "Schlussfolgerung" genannt) erläutern,
und dann beschreiben, wie wir dieses durch das syntaktische Konzept des logischen Beweises (auch "Ableitung" genannt) abbilden, und so durch mechanische Systeme handhabbar machen können.
Aber kommen wir zu unserem eigentlichen Ziel: dem automatisierten Generieren neuer Sätze und damit neuen Wissens.
Wir werden zunächst das semantische Konzept des logischen Schlusses (auch "Schlussfolgerung" genannt) erläutern,
und dann beschreiben, wie wir dieses durch das syntaktische Konzept des logischen Beweises (auch "Ableitung" genannt) abbilden, und so durch mechanische Systeme handhabbar machen können.
- zurück zu Zusammenhänge
- zum Seitenanfang
- weiter zu
