DocumentCode :
1142515
Title :
Model checking rational agents
Author :
Bordini, Rafael H. ; Fisher, Michael ; Wooldridge, Michael ; Visser, Willem
Author_Institution :
Dept. of Comput. Sci., Durham Univ., UK
Volume :
19
Issue :
5
fYear :
2004
Firstpage :
46
Lastpage :
52
Abstract :
Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for the (automatic or semiautomatic) verification of rational-agent systems written in a logic-based agent-oriented programming language. Typically, developers apply model-checking techniques to abstract models of a system rather than the system implementation. Although this is important for detecting design errors at an early stage, developers might still introduce errors during coding. In contrast, developers can directly apply our model-checking techniques to systems implemented in an agent-oriented programming language, automatically verifying agent systems without the usual gap between design and implementation. We developed our techniques for AgentSpeak, a rational-agent programming language based on the AgentSpeak (L) abstract agent-oriented programming language. AgentSpeak shares many features of the agent-oriented programming paradigm. Similarly, we´ve developed techniques for automatically translating AgentSpeak programs into the model specification language of existing model-checking systems. In this way, we reduce the problem of verifying that an AgentSpeak system has certain BDI logic properties to a conventional LTL model-checking problem.
Keywords :
formal verification; knowledge verification; mobile agents; multi-agent systems; object-oriented languages; object-oriented programming; BDI logic property; agent-oriented programming language; formal verification; model-checking techniques; multiagent systems; property-based slicing; rational-agent systems; specification language; Automatic control; Automatic logic units; Computer languages; Computer science; Control systems; Dynamic programming; Java; Logic programming; Multiagent systems; Specification languages; Intelligent agents; model checking; multiagent systems;
fLanguage :
English
Journal_Title :
Intelligent Systems, IEEE
Publisher :
ieee
ISSN :
1541-1672
Type :
jour
DOI :
10.1109/MIS.2004.47
Filename :
1347068
Link To Document :
بازگشت