Institut für Informatik - Dokumentenserver - Universität Leipzig

Ein weiterer Forschungsschwerpunkt sind Untersuchungen im Bereich der erweiterten
logischen Programmierung. Dabei geht es einerseits darum, die Ausdrucksmächtigkeit
der Logikprogramme so zu vergrößern, dass diese Programme
sich leichter für die Repräsentation komplexen Wissens verwenden lassen.
Andererseits soll dabei natürlich ein möglichst geringer Effizienzverlust eintreten.
Die untersuchten Techniken werden insbesondere in den Bereichen der Modellierung
von Handlungen und im Planen eingesetzt.
LExIKON (Brewka)
Das vom BMWi geförderte Forschungs- und Entwicklungsvorhaben LExIKON gehört
in den Bereich des "Machine Learning for Internet Applications". Die konkrete
Aufgabe, die fokussiert wird, ist die Extraktion von Wissen aus dem Internet. Dabei
geht es im wesentlichen um "Knowledge Discovery" oder "Data Mining" auf
der Basis semistrukturierter Daten.
Ziel von LExIKON ist es, Methoden auszuarbeiten, zu untersuchen, zu implementieren
und zur prototypischen Anwendung zu führen, die qualitativ besser als bisher
erlauben, Wissen aus dem Internet zu extrahieren.
Kombination von Modal- und Beschreibungslogiken und ihre Anwendung
zur Repräsentation intensionalen und dynamischen Wissens (Wolter)
Ziel dieses 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 mit 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 (z. B. Meinungen und Wissen
intelligenter Akteure) und dynamischen Wissens (z. B. zeitabhängiges Wissen).
Aus der Sicht der Modallogik liefert diese Kombination eine Modallogik erster
Stufe, die aber durch die Einschränkung auf Beschreibungslogiken besser
handhabbar ist als volle Modallogik erster Stufe. Auch hierfür wird das Hauptaugenmerk
auf der Entwicklung praktikabler Entscheidungsverfahren für die betrachteten
Logiken liegen.
74