Kombination von Modal- und Beschreibungslogiken und ihre Anwendung zur Repräsentation intensionalen und dynamischen Wissens

• Antragsteller: Professor Dr.-Ing. Franz Baader
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1999 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5172572

Ziel des Vorhabens ist es, eine direkte Zusammenarbeit zwischen Forschern im Bereich Modallogik einerseits und im Bereich Beschreibungslogik andererseits zu initiieren. Dadurch sollen zum einen die in der Modallogik entwickelten starken Techniken und Meta-Resultate auf Beschreibungslogiken übertragen werden. Zum anderen sollen Hilfe der für Beschreibungslogiken entwickelten algorithmischen Techniken praktikable Algorithmen für Modallogiken entworfen und implementiert werden. Zusätzlich soll die Kombination von Modal- und Beschreibungslogiken genauer untersucht werden. Aus Sicht der Beschreibungslogiken ermöglicht dies die Darstellung intensionalen Wissens und dynamischen Wissens. Aus der Sicht der Modallogik liefert diese Kombination eine Modeallogik erster Stufe, die aber durch die Einschränkung auf Beschreibungslogiken besser handhabbarer ist als volle Modallogik erster Stufe. Auch hierfür wird das Hauptaugenmerk auf der Entwicklung praktikabler Entscheidungsverfahren für die betrachteten Logiken liegen.

• DFG-Verfahren: Sachbeihilfen