Schließen aus Wissen

In diesem Kapitel werden verschiedene Methoden der formalen Repräsentation von Wissen erläutert. Dazu gehören Semantische Netze, Beschreibungslogiken, aber auch die Sprache der Logikprogrammierung. Logisches Schließen mittels Syllogismen wird als elementare Form des Schließens behandelt und es werden Beispiele von logikbasierten Beweissystemen angeführt. Nach einer kurzen Erläuterung von Schließen im Alltag wird auch menschliches Schließen am Beispiel der sogenannten Wason-Selection-Task behandelt. Es werden Beispiele von formalen Wissensquellen angeführt und Hinweise auf deren Verwendung im Unterricht gegeben.