The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (2004 vol.19)
pp: 46-52
Rafael H. Bordini , University of Durham
Willem Visser , Research Institute for Advanced Computer Science
Michael Wooldridge , University of Liverpool
ABSTRACT
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, September/October 2004, doi:10.1109/MIS.2004.47
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool