A Computational Logic Approach for Spatial Reasoning
From International Center for Computational Logic
A Computational Logic Approach for Spatial Reasoning
Bachelor's thesis by Raphael Höps
- Supervisor Steffen Hölldobler, Emmanuelle Dietz
- Wissensverarbeitung
- 2014 – 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.
