Article,

Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plänen

.
Informatik-Spektrum, 36 (6): 1-4 (December 2013)
DOI: 10.1007/s00287-013-0747-3

Abstract

Die Unterstützung durch logisches Schlussfolgern während der Modellierung von Multi-Agenten-Plänen erhöht die Qualität der Ergebnisse und die Effizienz des Modellierungsprozesses. Daher haben wir die Anwendbarkeit eines auf Beschreibungslogik basierenden Verfahrens für die Multi-Agenten-Modellierungssprache ALICA untersucht. Wir wählten SROIQ als eine der ausdrucksstärksten Beschreibungslogiken. Für eine umfassende Beurteilung der Anwendbarkeit wurden Schlussfolgerungsaufgaben verschiedener Komplexität realisiert. Nach einer ausführlichen Diskussion der entdeckten Probleme kommen wir zu dem Schluss, dass nur verbesserte oder alternative Schlussfolgerungstechniken für die Komplexität von Multi-Agenten-Plänen geeignet sind.

Tags

Users

  • @sop

Comments and Reviewsshow / hide

  • @sop
    11 years ago (last updated 11 years ago)
Please log in to take part in the discussion (add own reviews or comments).