A Verifiable Approach to Programming Multi Agent Systems

Rafael H. Bordini

University of Durham
Wednsday 13 June 2007
12pm, 003 Windsor Building

This talk discusses a particular approach to programming multi-agent systems, as well as how we aim to do formal verification of such systems. The first part of this talk covers various features of "Jason", a Java-based interpreter for an extended version of a logic-based agent-oriented programming language called AgentSpeak and mentions various ongoing research related to "Jason". The second part of the talk gives an overview of recent research aimed at developing a common semantic basis for various agent-oriented programming languages with a view to allow the use a model checking techniques for the verification of multi-agent systems written in such languages.

Speaker's Webpage