Time and defeasibility in FIPA ACL semantics |
| |
| Authors: | Guido Boella Guido Governatori Joris Hulstijn Régis Riveret Antonino Rotolo Leendert van der Torre |
| |
| Institution: | aUniversity of Turin, Italy;bNICTA, Australia;cThauris BV, The Netherlands;dUniversity of Bologna, Italy;eUniversity of Luxembourg, 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. |
| |
| Keywords: | Non-monotonic reasoning Agent communication languages FIPA |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
