Coherence-Based Computational Agency
Publication Type:
ThesisSource:
Departament de Ciències de la Computació, Universitat Autònoma de Barcelona, Bellaterra (Barcelona), p.164 (2010)PDFFile:
Classification of Schistosomiasis Prevalence Using Fuzzy Case-Based Reasoning
Publication Type:
Conference PaperSource:
Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 (Salamanca, Spain), Proceedings, Part I, Springer, Volume 5517, p.1053-1060 (2009)ISBN:
978-3-642-02477-1Abstract:
In this work we propose the use of a similarity-based fuzzy CBR approach to classify the prevalence of Schistosomiasis in the state of Minas Gerais in Brazil.
Deductive Coherence and Norm Adoption
Publication Type:
Journal ArticleSource:
Logic Journal of the IGPL, Oxford University Press , Volume 18, Issue 1, p.118-156 (2010)Keywords:
deductive coherence; multiagent systems; normative systemsAbstract:
This 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.
Coherence-Driven Argumentation to Norm Consensus
Publication Type:
Conference PaperSource:
ICAIL-09 Twelfth International Conference on ARTIFICIAL INTELLIGENCE and LAW, Barcelona (2009)Keywords:
deductive coherence; norm deliberation; normative agents; argumentationAbstract:
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how two coherence-based agents can deliberate on how to regulate a domain of interest. First a deductive coherence model presented, in which the coherence values are derived from the deduction relation of an underlying logic; this makes it possible to identify the reasons for why a proposition is accepted or rejected. Then it is shown how coherence-driven agents can generate candidate norms for deliberation, after which a dialogue protocol for such deliberations is proposed. The resulting model is compared to current logic-based argumentation systems for deliberation over action.
