Inserire una breve descrizione delle modifiche fatte
(Richiesto)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Verifying Multi-agent Programs by Model Checking
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Autonomous Agents and Multi-Agent Systems 12(2), pp. 239–256
2006
This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-based agent-oriented programming language AgentSpeak into either Promela or Java, and then use the associated Spin and JPF model checkers to verify the resulting systems. We also describe the simplified BDI logical language that is used to write the properties we want the systems to satisfy. The approach is illustrated by means of a simple case study.
parole chiaveAgent-oriented programming, AgentSpeak, Model checking, Spin, JPF
rivista o collana
Autonomous Agents and Multi-Agent Systems (J.AAMAS)
Autonomous Agents and Multi-Agent Systems (J.AAMAS)