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
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;
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
DOI :
10.1109/WIIAT.2008.275
