Laufzeit: 01.07.1995 - 31.07.2000
Partner: Univ. of Calif. at Riverside, Dep. of Comp. Sc., (Prof. T. Przymusinski); Univ. of Pittsburgh (Prof. S. Brass); Techn. Univ. Wien, Institut für Informationssysteme (Prof. G. Gottlob)
Förderung durch: DFG (Normalverfahren)
Ziel dieses Forschungsvorhabens ist die Untersuchung und Entwicklung eines Programmiersystems für erweiterte Disjunktive Logische Programme mit Negation und Constraints. Dies soll durch Kombination von Methoden aus dem Bereich der klassischen Deduktion mit nichtmonotonen Ansätzen der Wissensrepräsentation erreicht werden. Insbesondere sollen PROLOG-artige Sprachen durch Disjunktionen und verschiedenartige nichtmonotone Negationen erweitert, effiziente (und praktisch anwendbare)...Ziel dieses Forschungsvorhabens ist die Untersuchung und Entwicklung eines Programmiersystems für erweiterte Disjunktive Logische Programme mit Negation und Constraints. Dies soll durch Kombination von Methoden aus dem Bereich der klassischen Deduktion mit nichtmonotonen Ansätzen der Wissensrepräsentation erreicht werden. Insbesondere sollen PROLOG-artige Sprachen durch Disjunktionen und verschiedenartige nichtmonotone Negationen erweitert, effiziente (und praktisch anwendbare) Implementierungen entwickelt und deren Einsatz an einer nichttrivialen Anwendungsmethode untersucht werden. Die Grundlage des Vorgehens stützt sich auf einen in unserer Arbeitsgruppe entwickelten Beweiser - das PROTEIN-System -, der eine Prolog-Technologie-Theorem-Proving-Implementierung (kurz: PTTP) darstellt und dadurch schon sehr enge Beziehungen zur Logikprogrammierung hat. Weitere Info im WWW: http://www.uni-koblenz.de/ag-ki/DLP/dlp-d.html» weiterlesen» einklappen
