FIPA Communicative Acts in Defeasible Logic

Boella, Guido, Governatori, Guido, Hulstijn, Joris, Riveret, Regis, Rotolo, Antonino and van der Torre, Leendert (2007). FIPA Communicative Acts in Defeasible Logic. In: Alankar Karol, Pavlos Peppas and Mary-Anne Williams, Seventh IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC’07). Seventh IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07), Hyderabad, India, (). 7-8 January, 2007.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
dialdl.pdf dialdl.pdf application/pdf 184.05KB 696

Author Boella, Guido
Governatori, Guido
Hulstijn, Joris
Riveret, Regis
Rotolo, Antonino
van der Torre, Leendert
Title of paper FIPA Communicative Acts in Defeasible Logic
Conference name Seventh IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07)
Conference location Hyderabad, India
Conference dates 7-8 January, 2007
Proceedings title Seventh IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC’07)
Place of Publication not found
Publisher not found
Publication Year 2007
Sub-type Fully published paper
Editor Alankar Karol
Pavlos Peppas
Mary-Anne Williams
Total pages 8
Language eng
Abstract/Summary In agent communication languages, the inferences that can be made on the basis of a communicative action are inherently conditional, and non-monotonic. For example, a proposal only leads to a commitment, on the condition that it is accepted. And in a persuasion dialogue, assertions may later be retracted. In this paper we therefore present a defeasible logic that can be used to express a semantics for agent communication languages, and to efficiently make inferences on the basis of communicative actions. The logic is non-monotonic, allows nested rules and mental attitudes as the content of communicative actions, and has an explicit way of expressing persistence over time. Moreover, it expresses that mental attitudes are publicly attributed to agents playing roles in the dialogue. To illustrate the usefulness of the logic, we reformalize the meta-theory underlying the FIPA semantics for agent communication, focusing on inform and propose. We show how composed speech acts can be formalized, and extend the semantics with an account of persuasion.
Subjects 280213 Other Artificial Intelligence
Keyword defeasible logic
agent communication languages
multi-agent
FIPA
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 20 Nov 2006, 10:00:00 EST by Guido Governatori on behalf of Faculty Of Engineering, Architecture & Info Tech