Beweis & Schluss Logik Einführung Kapitel 7
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… Weiterlesen »Beweis & Schluss Logik Einführung Kapitel 7