nonmonotonic reasoning programming language semantics; FIPA agent communication languages defeasibility temporal reasoning
Résumé :
[en] 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.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2009-269
Auteur, co-auteur :
Rotolo, Antonino
Boella, Guido
Governatori, Guido
Hulstijn, Joris
Riveret, Regis
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
