Time and Defeasibility in FIPA ACL Semantics

Authors:
Guido Boella;Guido Governatori;Joris Hulstijn;Régis Riveret;Antonino Rotolo;Leendert van der Torre
Affiliations:
-;-;-;-;-;-
Venue:
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Year:
2008

Citing 11
Cited 1

Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Semantic Issues in the Verification of Agent Communication Languages

Autonomous Agents and Multi-Agent Systems
A Social Semantics for Agent Communication Languages

Issues in Agent Communication
Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles

Applied Ontology - Formal Ontologies for Communicating Agents
A New Semantics for the FIPA Agent Communication Language based on Social Attitudes

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
From Message Exchanges to Communicative Acts to Commitments

Electronic Notes in Theoretical Computer Science (ENTCS)
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions

Electronic Notes in Theoretical Computer Science (ENTCS)
A Logical Framework for Grounding-based Dialogue Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Temporal extensions to defeasible logic

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence

Representations of Time within Normative MAS

Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference

Quantified Score

Hi-index	0.00

Visualization

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.