A formal approach for the modelling and verification of multiagent plans based on model checking and petri nets

Authors:
Hyggo Oliveira de Almeida;Leandro Dias da Silva;Angelo Perkusich;Evandro de Barros Costa
Affiliations:
Electrical Engineering Department, Federal University of Campina Grande, Campina Grande, Paraíba, Brazil;Electrical Engineering Department, Federal University of Campina Grande, Campina Grande, Paraíba, Brazil;Electrical Engineering Department, Federal University of Campina Grande, Campina Grande, Paraíba, Brazil;Information Technology Department, Federal University of Alagoas, Maceió, Alagoas, Brazil
Venue:
Software Engineering for Multi-Agent Systems III
Year:
2005

Citing 13
Cited 0

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Multiagent systems: a modern approach to distributed artificial intelligence

Multiagent systems: a modern approach to distributed artificial intelligence
Model checking

Model checking
An agent-based approach for building complex software systems

Communications of the ACM
Modeling and verifying multi-agent behaviors using predicate/transition nets

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Mathema: A Learning Environment Based on a Multi-Agent Architecture

SBIA '95 Proceedings of the 12th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
A Multi-agent Cooperative Intelligent Tutoring System: The Case of Musical Harmony Domain

MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Multi-Agent-Systems Based on Coloured Petri Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Planning as Model Checking

ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Agent Cooperation: A Petri Net Based Model

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A Framework for Modeling Agent-Oriented Software

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Conformant planning via symbolic model checking

Journal of Artificial Intelligence Research
Planning as model checking for extended goals in non-deterministic domains

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multiagent systems are characterized by decentralized control and agents that perform autonomous actions. The sequence of such actions are generally described by plans. An important issue in this context is how to verify the correctness of plans when agents have unpredicted actions. In this paper, formal modelling and verification guidelines to verify nondeterministic multiagent system plans are introduced. The guidelines are based on HCPN modelling, simulation, and model checking. The guidelines are conceptually introduced, and then applied for a multiagent intelligent tutoring system modelling and verification.