Thema3476

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

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

Bachelorarbeit von Raphael Höps

•   Betreuer Emmanuelle Dietz, Steffen Hölldobler
•   Wissensverarbeitung
•   09. Mai 2014 – 09. Mai 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.