Skip to main content

TS

Time and defeasibility in FIPA ACL semantics

Authors

Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Rotolo Antonino and Leendert van der Torre

Università di Torino

NICTA

Thauris BV
The Netherlands

University of Bologna

University of Luxembourg

Abstract

Inferences about speech acts are often conditional, non-monotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in a single formalism. This paper addresses such issues in defeasible logic, and shows how to express a semantics for ACLs in order to make non-monotonic inferences on the basis of speech acts.

BibTeX Entry

  @article{Boella_GHRAT_11,
    doi              = {10.1016/j.jal.2011.09.006},
    journal          = {Journal of Applied Logic},
    author           = {Boella, Guido and Governatori, Guido and Hulstijn, Joris and Riveret, R\'egis and Antonino, Rotolo
                        and van der Torre, Leendert},
    number           = {4},
    month            = nov,
    volume           = {9},
    year             = {2011},
    keywords         = {non-monotonic reasoning, agent communication languages, fipa},
    title            = {Time and Defeasibility in {FIPA} {ACL} Semantics},
    pages            = {274--288}
  }

Download

Served by Apache on Linux on seL4.