Model generation for PRS-like agents

Authors:
Wayne Wobcke;Marc Chee;Krystian Ji
Affiliations:
University of New South Wales, Sydney NSW, Australia;University of New South Wales, Sydney NSW, Australia;University of New South Wales, Sydney NSW, Australia
Venue:
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Year:
2005

Citing 4
Cited 0

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Modelling PRS-Like Agents' Mental States

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Model checking agentspeak

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be constructed from the agent program, thus addressing a long-standing issue in the verification of BDI agents.