Model Checking Rational Agents

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/MIS.2004.47

September/October 2004 (vol. 19 no. 5) pp. 46-52

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Rafael H. Bordini Articles by Michael Fisher Articles by Willem Visser Articles by Michael Wooldridge

	ASCII Text	x
	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.

	BibTex	x
	@article{ 10.1109/MIS.2004.47, author = {Rafael H. Bordini and Michael Fisher and Willem Visser and Michael Wooldridge}, title = {Model Checking Rational Agents}, journal ={IEEE Intelligent Systems}, volume = {19}, number = {5}, issn = {1541-1672}, year = {2004}, pages = {46-52}, doi = {http://doi.ieeecomputersociety.org/10.1109/MIS.2004.47}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - IEEE Intelligent Systems TI - Model Checking Rational Agents IS - 5 SN - 1541-1672 SP46 EP52 EPD - 46-52 A1 - Rafael H. Bordini, A1 - Michael Fisher, A1 - Willem Visser, A1 - Michael Wooldridge, PY - 2004 KW - Intelligent agents KW - multiagent systems KW - model checking VL - 19 JA - IEEE Intelligent Systems ER -

Rafael H. Bordini, University of Durham

Michael Fisher

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, Sep./Oct. 2004, doi:10.1109/MIS.2004.47

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.