This talk will provide an overview of a particular approach to programming multi-agent systems and how we aim to do formal verification of systems programmed according to that approach. The talk covers some features of "Jason", a Java-based interpreter for a variant of a logic-based agent-oriented programming language called AgentSpeak, and mentions various ongoing research strands related to it. In particular, the talk will concentrate on the JASDL tool which extends Jason so that programmers can take advantage of ontological knowledge available on the web when developing agents. The talk also gives a brief account of recent research aimed at developing a library of common features of agent programming languages so as to facilitate the use model-checking techniques for the verification of multi-agent systems written in such languages.
Dr. Rafael H. Bordini
Dr. Rafael H. Bordini is Lecturer in Computer Science at the University of Durham, UK. He received a PhD from the University of London (UCL) in 1999, and worked as a visiting lecturer at UFRGS (Porto Alegre, Brazil), then as a research fellow at the University of Liverpool, before joining the University of Durham. Dr. Bordini has published over 60 peer-reviewed papers in journals and conferences and is best known for his work on agent-oriented programming languages, as well as his work on model checking multi-agent systems. For further details, visit his homepage (see link above).