This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Model Checking Rational Agents
September/October 2004 (vol. 19 no. 5)
pp. 46-52
Rafael H. Bordini, University of Durham
Willem Visser, Research Institute for Advanced Computer Science
Michael Wooldridge, University of Liverpool
The authors use model-checking techniques to automatically verify multiagent systems written in a logic-based agent-oriented programming language. The approach is to translate the language into the input notations of existing model checkers. Furthermore, property-based slicing can reduce a multiagent system's state space, thus improving the efficiency of model checking. The analysis of a typical scenario of an autonomous Mars rover illustrates this approach.
Index Terms:
Intelligent agents, multiagent systems, model checking
Citation:
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge, "Model Checking Rational Agents," IEEE Intelligent Systems, vol. 19, no. 5, pp. 46-52, Sept.-Oct. 2004, doi:10.1109/MIS.2004.47
Usage of this product signifies your acceptance of the Terms of Use.