Progress in BDI Logic Programming with AgentSpeak

Rafael H. Bordini, University of Liverpool, U.K.

In this talk, I describe AgentSpeak(L), a BDI agent-oriented logic programming language for reactive planning systems, and overview recent work that has been done on that language. The first strand of this work is on extensions of AgentSpeak(L) aimed at turning it into a more practical programming language; the extended language is called AgentSpeak(XL). In particular, it allows the use of decision-theoretic task scheduling for the automatic generation of efficient intention selection functions. We then overview our framework for proving BDI properties of AgentSpeak(L) agents based on its operational semantics. This framework has been used to show which of the asymmetry thesis principles are satisfied by AgentSpeak(L) agents. The most recent strand of work is on model checking for AgentSpeak(F), a restricted version of AgentSpeak(L). In our approach, the specifications to be verified can be written in a simplified form of BDI logic. I conclude the talk by mentioning ongoing and future work.
Maintained by rbennett@cs.ucl.ac.uk