Bordini, R.H. and Fisher, M. and Visser, W. and Wooldridge, M. (2004) 'State-space reduction techniques in agent verification.', in Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, 19-23 July 2004, New York ; proceedings. New York: Association for Computing Machinery, pp. 896-903.
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The success of model checking as a verification technique for large systems is dependent partly on its use in combination with various state-space reduction techniques. An important example of such techniques is property-based slicing. This paper introduces an algorithm for property-based slicing of AgentSpeak multi-agent systems. We apply our approach to the AgentSpeak code for a scenario inspired by routine tasks of autonomous Mars rovers, and explain how slicing reduces the search space in theory. We consider experiments on such scenarios, and initial results show a significant reduction in the state space, thus indicating that this approach can have an important impact on the practicality of agent verification.
|Item Type:||Book chapter|
|Keywords:||Agent-oriented programming, Property-based slicing.|
|Full text:||Full text not available from this repository.|
|Publisher Web site:||http://dx.doi.org/10.1109/AAMAS.2004.242630|
|Record Created:||25 Feb 2008|
|Last Modified:||08 Nov 2010 10:41|
|Social bookmarking:||Export: EndNote, Zotero | BibTex|
|Usage statistics||Look up in GoogleScholar | Find in a UK Library|