By Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney (auth.), João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.)

This e-book constitutes the complaints of the twelfth foreign Workshop on Computational good judgment in Multi-Agent platforms, CLIMA XII, held in Barcelona, Spain, in July 2011.
The 22 papers provided have been rigorously reviewed and chosen from forty three submissions. the aim of the CLIMA workshops is to supply a discussion board for discussing ideas, in keeping with computational good judgment, for representing, programming and reasoning approximately brokers and multi-agent structures in a proper approach. This quantity good points 5 thematic particular periods: secrets and techniques and belief, wisdom and ideology, logics for video games and social selection, cooperation, common sense and languages, and norms and normative multi-agent systems.

Show description

Read Online or Download Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings PDF

Similar logic books

Errors of Reasoning. Naturalizing the Logic of Inference

Blunders of Reasoning is the long-awaited continuation of the author's research of the common sense of cognitive structures. the current concentration is the person human reasoner working below the stipulations and pressures of actual lifestyles with capacities and assets the flora and fauna makes on hand to him.

The Is-Ought Problem: An Investigation in Philosophical Logic

Can OUGHT be derived from IS? This e-book provides an research of this regularly occurring challenge via alethic-deontic predicate good judgment. New during this examine is the leitmotif of relevance: is-ought inferences certainly exist, yet they're all inappropriate in an exact logical feel. New facts options identify this outcome for extraordinarily vast periods of logics.

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

This booklet constitutes the refereed lawsuits of the fifth foreign Symposium on practical and good judgment Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised complete papers provided including 3 invited papers have been conscientiously reviewed and chosen from forty submissions. The publication bargains topical sections on useful programming, good judgment programming, sensible good judgment programming, varieties, application research and transformation, and Lambda calculus.

Additional info for Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

Sample text

His completeness) about θ that is: T rustV al(i, j, θ) (resp. T rustV al(i, j, θ)). The Theorems 3, 5, 7 and 9 respectively are the dual of 2, 4, 6 and 8 and from the fact that agent i has not been informed i can infer that φ is false. 7 Related Works In [17] trust is represented by a probability associated to a binary relation between two agents. It is also assumed a priori that the trust relationship is transitive. These simplifications are assumed by the authors in order to be able to define a mathematical model to compute the ”percolation” of trust in a graph of agents.

P ⊥, 2. P A B if the set of edges A functionally determines set of edges B under protocol P, 3. P φ1 → φ2 if P φ1 or P φ2 . In this article, we study the formulas φ ∈ Φ(H) that are true under every protocol P over a fixed hypergraph H. Below we describe a formal logical system for such formulas. This system, like earlier systems defined by Armstrong [5], More and Naumov [10,3,4] and by Kelvey, More, Naumov, and Sapp [8], belongs to the set of deductive systems that capture properties of secrets. In general, we refer to such systems as logics of secrets.

The work presented in [2] is the work which is the closest to our work we have found in the literature. In an informal analysis trust is decomposed into several elements: the truster, the trustee and the purpose of trust. Then, these notions are formalized in the Josiang’s Subjective Logic which, roughly speaking, can be seen as a combination of probability theory and epistemic logic. However, in this work trust purpose is represented by atomic propositions and no nested modal operator is used for reasoning about agents’ beliefs.

Download PDF sample

Rated 4.13 of 5 – based on 11 votes