Automatisierung von Defeasible Reasoning mittels Logikprogrammierung (DeReLoP)
Laufzeit: ab 01.01.1999
Partner: Universidad Nacional del Sur, Bahía Blanca, Argentinien (Arbeitsgruppe Prof. G. R. Simari); University of Maryland (Prof. V. S. Subrahmanian, IMPACT-Projekt)
Förderung durch: BMBF: Wissenschaftlich-technologische Zusammenarbeit mit Südamerika; Secretaría de Ciencia y Tecnología (SCyT), Argentinien
Projektmittel (€): 10000
Kurzfassung
Die grundlegende Idee dieses BMBF-Projekts zur wissenschaftlich-technologischen Zusammenarbeit mit Südamerika ist die Kombination und Integration der theoretischen und praktischen Ergebnisse der beteiligten Arbeitsgruppen. Die Arbeitsgruppe Künstliche Intelligenz in Koblenz und die Partnergruppe in Bahía Blanca (Argentinien) arbeiten beide auf den Gebieten der Wissensrepräsentation und der Anwendungen von wissensbasierten Systemen. Die gegenwärtige Arbeit konzentriert sich auf...Die grundlegende Idee dieses BMBF-Projekts zur wissenschaftlich-technologischen Zusammenarbeit mit Südamerika ist die Kombination und Integration der theoretischen und praktischen Ergebnisse der beteiligten Arbeitsgruppen. Die Arbeitsgruppe Künstliche Intelligenz in Koblenz und die Partnergruppe in Bahía Blanca (Argentinien) arbeiten beide auf den Gebieten der Wissensrepräsentation und der Anwendungen von wissensbasierten Systemen. Die gegenwärtige Arbeit konzentriert sich auf Agenten-Programmierung. In Bahía Blanca wurde hierzu eine abstrakte Maschine entwickelt und implementiert, die Defeasible Reasoning (d.h. widerlegbare Schlussweisen) für die Agenten-Programmierung ermöglicht. Die Koblenzer Arbeitsgruppe befasst sich mit Multiagenten-Systemen für den Roboterfußball im RoboCup und im IMPACT-Projekt mit logischen Sprachen für die Agentenprogrammierung. Die gegenwärtige Arbeit hat Schwerpunkte in den folgenden Bereichen: 1. Entwicklung einer deklarativen Sprache zur Programmierung von Multiagenten-Systemen, 2. Berücksichtigung nichtmonotoner und widerlegbarer Schlussweisen zur besseren Kontrolle von Agenten-Aktionen, 3. Implementierung der theoretischen Ansätze in einem konkreten System» weiterlesen» einklappen
Veröffentlichungen
- Stolzenburg, F.; García, A. J.; Chesñevar, C. I. et al.
- Computing Generalized Specificity
- Chesñevar, Carlos Iván; Dix, Jürgen; Stolzenburg, Frieder et al.
- Relating defeasible and normal logic programming through transformation properties
- Dix, J.; Stolzenburg, F.; Simari, G. R. et al.
- Automating defeasible reasoning with logic programming (DeReLoP)