Reference : FIPA Communicative Acts in Defeasible Logic
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25294
FIPA Communicative Acts in Defeasible Logic
English
Boella, Guido [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Hulstijn, Joris [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Governatori, Guido [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Riveret, R. [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Rotolo, Antonino [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2007
Proceedings of NRAC'07
Yes
International
Proceedings of NRAC'07
2007
[en] communicative action are inherently conditional
[en] In agent communication languages, the inferences that
can be made on the basis of a communicative action are
inherently conditional, and non-monotonic. For exam-
ple, a proposal only leads to a commitment, on the con-
dition that it is accepted. And in a persuasion dialogue,
assertions may later be retracted. In this paper we there-
fore 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 communica-
tive actions. The logic is non-monotonic, allows nested
rules and mental attitudes as the content of communica-
tive actions, and has an explicit way of expressing per-
sistence 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 se-
mantics 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
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/25294

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
dialdl.pdfPublisher postprint184.06 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.