You are here

DPEC: The deliberation, planning and execution calculus (Part I: Foundations)

SSP Seminar Series
Michael Rovatsos

In this talk I will present recent work on the deliberation, planning and execution calculus (DPEC), a simple formalism for describing
knowledge-based rational agents in an integrated declarative framework. Different from logics for rational agency (e.g. BDI logics), DPEC agent specifications are directly executable. At the same time the DPEC formalism is more lightweight than agent programming languages as it is not intended as a substitute for fully-fledged programming environments. The talk will introduce DPEC and illustrate its workings using simple examples. We will then look at possible future directions for its use, which will be elaborated further in a second talk (Part II: Speculation) in the Agents Group Seminar.

Date and time: 
Tuesday, 5 August, 2008 - 11:00
60 minutes