Automatisierung von Defeasible Reasoning mittels Logikprogrammierung (DeReLoP)
Laufzeit: ab 01.01.1999
Partner: Universidad Nacional del Sur, Bahia Blanca, Agentinien (Arbeitsgruppe Prof. G. R. Simari); University of Maryland (Prof. V. S. Subrahmanian, IMPACT-Projekt)
Förderung durch: BMBF: Wissenschaftlich-technologische Zusammenarbeit mit Südamerika Secretaria de Ciencia y Tecnologia (SCyT), Argentinien
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 Bahia 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 Bahia 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 Bahia 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: Entwicklung einer deklarativen Sprache zur Programmierung von Multiagenten-Systemen, Berücksichtigung nichtmonotoner und widerlegbarer Schlussweisen zur besseren Kontrolle von Agenten-Aktionen, Implementierung der theoretischen Ansätze in einem konkreten System. Weitere Info im WWW: http://www.uni-koblenz.de/~stolzen/argentina/» weiterlesen» einklappen