Normative multi-agent systems (bibtex)
by Xavier Parent, Leendert van der Torre, Guido Boella
Abstract:
Normative multiagent systems (NorMAS) combine theories and frameworks for normative systems with multiagent systems. These systems provide a promising model for human and artificial agent co-ordination, because they integrate norms and individual intelligence. The course will be split into three. The first half will introduce students to the area, and its main challenges. The second half will be devoted to deontic logic, the logic of obligations and permissions, which aims at providing a formal foundation to normative multi-agent systems. We will start with an introduction to the semantics and axiomatic foundations of deontic logic, with a special emphasis on so-called dyadic deontic logic. Issues related to its meta-theory will be briefly discussed. Some problems have been closed, others are still open. We will then look at (what is certainly) the main problem encountered when applying deontic logic to agent reasoning and communication: the problem of contrary-to-duty reasoning. The third half will be devoted to [roles and organizations?].
Reference:
Normative multi-agent systems (Xavier Parent, Leendert van der Torre, Guido Boella), 2009. (Tutorial at the European Agent Systems Summer School (EASSS'09), Torino)
Bibtex Entry:
@Misc{Parent2009,
  Title                    = {Normative multi-agent systems},

  Author                   = {Xavier Parent and Leendert van der Torre and Guido Boella},
  Note                     = {Tutorial at the European Agent Systems Summer School (EASSS'09), Torino},
  Year                     = {2009},

  Abstract                 = {Normative multiagent systems (NorMAS) combine theories and frameworks for normative systems with multiagent systems. These systems provide a promising model for human and artificial agent co-ordination, because they integrate norms and individual intelligence. The course will be split into three. The first half will introduce students to the area, and its main challenges. The second half will be devoted to deontic logic, the logic of obligations and permissions, which aims at providing a formal foundation to normative multi-agent systems. We will start with an introduction to the semantics and axiomatic foundations of deontic logic, with a special emphasis on so-called dyadic deontic logic. Issues related to its meta-theory will be briefly discussed. Some problems have been closed, others are still open. We will then look at (what is certainly) the main problem encountered when applying deontic logic to agent reasoning and communication: the problem of contrary-to-duty reasoning. The third half will be devoted to [roles and organizations?].},
  Affiliation              = {icr},
  Bdsk-url-1               = {http://agents009.di.unito.it/abstractsCourses/GuidoBoella.pdf},
  Date-modified            = {2011-09-25 17:59:06 +0200},
  Timestamp                = {2013.07.26},
  Url                      = {http://agents009.di.unito.it/abstractsCourses/GuidoBoella.pdf}
}
Powered by bibtexbrowser