In this talk, I shall introduce the main aspects of an agent-oriented programming language and its interpreter, and then address the use of model-checking techniques for the verification of multi-agent systems implemented in that programming language. The first part of the talk will cover various features of "Jason", a Java-based interpreter for an extended version of a logic-based agent-oriented programming language called AgentSpeak, which is based on the BDI architecture for cognitive agents. The second part of the talk will overview the research leading to the development of a set of tools called CASP. These tools automatically translate AgentSpeak code and a simplified BDI property specification language into the input languages of existing model checkers, thus allowing the verification of implemented (rather than high-level designs of) agent systems. To address the state-explosion problem, abstraction techniques tailored specifically to that agent-oriented programming language need to be developed. Towards that, the talk will also refer to recent work on a property-based slicing algorithm for AgentSpeak.
Rafael H. Bordini
Rafael H. Bordini is a Lecturer in Computer Science at the University of Durham. His research interests include formal methods in multi-agent systems (particularly model checking), agent-oriented programming languages, and applications of multi-agent systems techniques for social simulation. He received his PhD in computer science from the University of London (University College London) in 1999. Prior to being a lecturer in Durham, he was research fellow at the University of Liverpool, and before that he was visiting lecturer at the Federal University of Rio Grande do Sul (Brazil). He is one of the organisers of ProMAS (International Workshop on Programming Multi-Agent Systems), and is currently editing, with the ProMAS organisers, a book on Programming Multi-Agent Systems that is due to appear early next year. He is also Editor of AgentLink News, the newsletter of the EC funded Network of Excellence on Agents Research, and has served on the programme committee of various international events such as: AAMAS, JELIA, ProMAS, DALT, and MABS.