Forschungsschwerpunkte der Arbeitsgruppe
Formale Konzepte

Semantik von Logikprogrammen
Deduktionssysteme
Ontologische Grundlagen der Wissenspräsentation
Metatheorie formalisierter Theorien

Semantik von Logikprogrammen

Logikprogramme bestehen aus Fakten und Regeln. Wie in Datenbanken, will man auch in Logikprogrammen die Negation auf der Basis der "Closed-World Assumption" behandeln. Im Gegensatz zu Datenbanken erweist sich die CWA jedoch in Logikprogrammen als großes Problem. Modelltheoretisch geht es darum, ein Präferenzkriterium zu finden, das genau die durch die CWA intendierten Modelle definiert. Eine solche Definition sollte nicht von einer speziellen Regel-Syntax abhängen, sondern für möglichst viele Verallgemeinerungen normaler Logikprogramme, wie z.B. disjunktive Logikprogramme, gelten.

Publikationen der Arbeitsgruppe (Auswahl)
[back to top] back to top

Deduktionssysteme

Publikationen der Arbeitsgruppe (Auswahl)
[back to top] back to top

Ontologische Grundlagen der Wissenspräsentation

Die Forschung auf dem Gebiet der Ontologie gewinnt zunehmend an Bedeutung für die Wissensmodellierung, für die semantische Fundierung der Wissensrepräsentation und für die Entwicklung von Metamodellen im Bereich der praktischen Anwendungen. Für die Grundlegung dieses modernen Forschungsgebiets ist es von Bedeutung, die gemeinsamen wissenschaftlichen Prinzipien und Methoden herauszuarbeiten, die sich aus den gegenwärtigen Werkzeugen, Methodologien und den Anwendungen ergeben. Von besonderem Interesse sind Fragestellungen und Probleme der Konzeptualisierung von Wissen, der Wissensrepräsentation, der Verallgemeinerung und Vertiefung der axiomatisch-deduktiven Methode, der deskriptiven Metaphysik, der Semantik der natürlichen Sprache und der praktischen Anwendungen im Bereich der Medizin.

Publikationen der Arbeitsgruppe (Auswahl)
[back to top] back to top

Metatheorie formalisierter Theorien

Publikationen der Arbeitsgruppe (Auswahl)