Programming Cognitive Agents in Defeasible Logic
Speaker: Dr Antonino Rotolo, CIRSFID, University of Bologna
When: 2005-09-06 11:00:00
Venue: 78-420
Host: Guido Governatori
Abstract:In this talk I will discuss the combination of two perspectives for
characterising agents: (a) a cognitive account of agents that
specifies their mental attitudes; (b) modelling agents' behaviour by
means of normative concepts. For the first approach, the background
will be the belief-desire-intention (BDI) model, where mental
attitudes are taken as primitives to give rise to a set of
Intentional Agent Systems. This view has been proved to be
interesting especially when the behaviour of agents is the outcome
of a rational balance among their (possibly conflicting) mental
states. The normative aspect is rather based on the assumption that
normative concepts play a decisive role to characterise the idea of
social co-ordination of autonomous agents. The combination of these
perspectives leads to an account of agents' deliberation and
behaviour in terms of the interplay between mental attitudes and
normative (external) factors such as obligations. In this talk I
will propose to extend Defeasible Logic (DL) to deal with this
scenario. As is well-known, DL is based on a logic programming-like
language and it is a simple, efficient but flexible non-monotonic
formalism able to deal with many different intuitions of
non-monotonic reasoning and recently applied in many fields. In
addition, several efficient implementations have been developed. DL
is one of the most expressive languages to account for cognitive
agents, and in particular it has defined the largest set of patterns
called agent types. Moreover, it is flexible to incorporate ideas
from other languages which have not been introduced yet, such as
extension generation and selection from BOID, or deliberation
languages from 3APL.
Biography:Antonino Rotolo is Research Fellow at CIRSFID, University of
Bologna, Italy. His research interests include Logics for Artificial
Intelligence, Artificial Intelligence and Law, Philosophical Logic,
Normative Reasoning, Non-Classical Logics, Non-Monotonic Reasoning,
and the Foundations of Practical Reason.
Type: DKE
Contact:Guido Governatori, seminar host (guido@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)