On feasible cases of checking multi-agent systems behavior

The complexity of multi-agent systems behavior properties is studied. The behavior properties are formulated using classical temporal logic languages and are checked relative to the transition system induced by the multi-agent system definition. We show that there are deterministic or nondeterminist...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 303; H. 1; S. 63 - 81
Hauptverfasser: Dekhtyar, Michael, Dikovsky, Alexander, Valiev, Mars
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 28.06.2003
Elsevier
Schlagworte:
Complexity
Computation and Language
Computer Science
Document and Text Processing
Model checking
Multi-agent system
Temporal logics
Temporal logics
Model checking
Multi-agent system
Complexity
ISSN:0304-3975, 1879-2294
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The complexity of multi-agent systems behavior properties is studied. The behavior properties are formulated using classical temporal logic languages and are checked relative to the transition system induced by the multi-agent system definition. We show that there are deterministic or nondeterministic polynomial time check algorithms under some realistic structural and semantic restrictions on agent programs and actions.
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(02)00445-0