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

• Applicant: Professor Dr.-Ing. Franz Baader
• Subject Area: Theoretical Computer Science
• Term: from 1999 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants