• DocumentCode
    2283691
  • Title

    Time and Defeasibility in FIPA ACL Semantics

  • Author

    Boella, Guido ; Governatori, Guido ; Hulstijn, Joris ; Riveret, Régis ; Rotolo, Antonino ; Van der Torre, Leendert

  • Author_Institution
    Univ. of Turin, Turin
  • Volume
    3
  • fYear
    2008
  • fDate
    9-12 Dec. 2008
  • Firstpage
    634
  • Lastpage
    637
  • Abstract
    Inferences about speech acts are often conditional, nonmonotonic, 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 nonmonotonic inferences on the basis of speech acts.
  • Keywords
    nonmonotonic reasoning; programming language semantics; FIPA ACL semantics; agent communication language; defeasible logic; nonmonotonic inference; speech acts; Australia; Data structures; Intelligent agent; Logic; Product safety; Speech; Timing; FIPA; agent communication languages; defeasibility; temporal reasoning;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Web Intelligence and Intelligent Agent Technology, 2008. WI-IAT '08. IEEE/WIC/ACM International Conference on
  • Conference_Location
    Sydney, NSW
  • Print_ISBN
    978-0-7695-3496-1
  • Type

    conf

  • DOI
    10.1109/WIIAT.2008.275
  • Filename
    4740859
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2283691