Zeitschriftenartikel
Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plänen
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2014
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Springer-Verlag
Zusammenfassung
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.