Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

  • defeasible argumentation
  • knowledge representation
  • logic programming
  • non-monotonic reasoning

Veröffentlichungen




Beteiligte Einrichtungen