Kurzbeschreibung des Projekts

Projektnummer		Einzelprojekte  P20841
Titel		Modulare HEX-Programme
ProjektleiterIn		EITER Thomas
Bewilligungsdatum		05.05.2008
Universität / Forschungsstätte		Institut für Informationssysteme Abteilung Wissensbasierte Systeme, Technische Universität Wien
Gebiet(e)
Keywords		Nonmonotic Logic Programming, Answer Ser Programming, Knowledge Representation, Declarative Problem Solving, Formal Resoning Techniques
Homepage		http://www.kr.tuwien.ac.at/

Das Ziel dieses Projekts ist es, Formalismen und Schlußverfahren zu finden, um ein leistungsfähiges System für logisches Schließen über modularen, möglicherweise verteilten logischen Programmen zu entwickeln, welches auf deklarativer Wissensrepräsentation basiert.
Insbesondere soll der Einsatz logischer Programme unter der sogenannten Antwortmengensemantik zur Realisierung von Sprachen und Werkzeugen untersucht werden, welche gängige Ansätze dahingehend erweitern, dass modulare Wissensbasen lokal oder verteilt ausgewertet werden können. Ein besonders Augenmerk soll dabei auf der Studie geeigneter Modelle und Algorithmen für den Umgang mit inkonsistenter und aus verschiedenen Gründen unvollständiger Information liegen. Schlussverfahren, die auf semantischer Approximation beruhen, sollen entworfen werden, um die Auswertung derartiger logischer Programme effizienter zu gestalten.
Darüberhinaus soll eine entsprechende Plattform für logisches Schließen über modularen, möglicherweise verteilten logischen Programmen entwickelt werden, indem die zuvor erarbeiteten Ansätze als Module für erweiterte Schlußverfahren implementiert werden. Diese Module können für verschiedenste Anwendungen aus den Bereichen der Multi-Agenten- bzw. Multi-Kontext Systeme, der Datenintegration oder dem Semantic Web von großem Nutzen sein, wie an einer Referenz-applikation aus einem der genannten Bereiche demonstriert werden soll.