A Computational Logic Approach for Spatial Reasoning

From International Center for Computational Logic
Toggle side column

A Computational Logic Approach for Spatial Reasoning

Bachelor's thesis by Raphael Höps
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.