Menschliches räumliches Schließen und Ansätze aus der Computational Logic
Aus International Center for Computational Logic
Menschliches räumliches Schließen und Ansätze aus der Computational Logic
Bachelorarbeit von Raphael Höps
- Betreuer Emmanuelle Dietz, Steffen Hölldobler
- Wissensverarbeitung
- 21. November 2014 – 21. November 2014
Menschliches räumliches Schliessen bezeichnet alltägliche Denkprozesse mit denen Menschen Informationen über räumliche Anordnungen von Objekten verarbeiten und neues Wissen daraus herleiten. Diese Arbeit soll einen Beitrag zu der Aufgabe liefern, derartige Denkprozesse mit Methoden der Logik zu formalisieren, so dass sie für Computer berechenbar werden. Zunächst werden zu diesem Problem der bekannte Ansatz mit Inferenzregeln, die Theorie der mentalen Modelle und die Theorie der bevorzugten Modelle vorgestellt. Im eigentlichen Kern der Arbeit wird dann ein Ansatz mit Methoden der Computational Logic entwickelt, der die Theorie der bevorzugten Modelle mit Logikprogrammen unter der Semantik der schwachen Vervollständigung umsetzt. Der Ansatz wird an zwei Beispielen illustriert, zu denen auch im Anhang die Logikprogramme als für den Computer verarbeitbare Dateien notiert sind. Zum Schluss wird ein interessanter Zusammenhang dieses Ansatzes zur wohlbegründeten Semantik bewiesen.
