Menschliches räumliches Schließen und Ansätze aus der Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Menschliches räumliches Schließen und Ansätze aus der Computational Logic

Bachelorarbeit von 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.