Grundlagen, Entwicklung und Kombination von Techniken zur Semantik und Abarbeitung erweiterter disjunktiver Programme (DisLoP)
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)
Kurzfassung
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
Veröffentlichungen
- Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
- Super logic programs
- Dix, J.; Stolzenburg, F.
- Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming
- Aravindan, C.; Dix, J.; Niemelä, I.
- DisLoP: A research project on Disjunctive Logic Programming
- Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
- Nonmonotonic reasoning : an overview
- Aravindan, C.; Görz, G.; Hölldobler, S.
- "DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover
- Aravindan, C.; Alfares, J.J.; Pereira, E.
- An abductive framework for negation in disjunctive logic programming
- Dix, Jürgen
- Disjunctive logic programming and databases
- Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
- Logisches Programmieren mit Negation und Disjunktion
- Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor
- Reducing disjunctive to non-disjunctive semantics by shift-operations
