Time and defeasibility in FIPA ACL semantics |
| |
| Authors: | Guido Boella,Guido Governatori,Joris Hulstijn,Ré gis Riveret,Antonino Rotolo,Leendert van der Torre |
| |
| Affiliation: | 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 等数据库收录！ |
|
