English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/61020
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


Deductive Coherence and Norm Adoption

AuthorsJoseph, Sindhu ; Sierra, Carles ; Schorlemmer, Marco ; Dellunde, Pilar
Issue Date2010
PublisherOxford University Press
CitationLogic Journal of the IGPL 18 (2010), pp.118- 156.
AbstractThis paper is a contribution to the formalisation of Thagard's coherence theory. The term 'coherence' is defined as the quality or the state of cohering, especially a logical, orderly, and aesthetically consistent relationship of parts. A coherent set is interdependent such that every element in it contributes to the coherence. We take Thagard's proposal of a coherence set as that of maximising satisfaction of constraints between elements and explore its use in normative multiagent systems. In particular, we interpret coherence maximisation as a decision-making criterion for norm adoption. We first provide a general coherence framework with the necessary computing tools. Later we introduce a proof-theoretic characterisation of a particular type of coherence, namely the deductive coherence based on Thagard's principles, and derive a mechanism to compute coherence values between elements in a deductive coherence graph. Our use of graded logic helps us to incorporate reasoning under uncertainty, which is more realistic in the context of multiagent systems. We then conduct a case study where agents deliberate about norm adoption in a multiagent system where there is competition for a common resource. We show how a coherence-maximising agent decides to violate a norm guided by its coherence.
Identifiersissn: 1367-0751
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
Logic Journal of the IGPL18 (2010), pp.118- 156..pdf586,76 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.