Authors
Abstract
The paper presents a ‘multiple agent’ logic where formulas are pairs of the form, made of a proposition and a subset of agents. The formula is intended to mean ‘ all agents in believe that is true’. The formal similarity of such formulas with those of possibilistic logic, where propositions are associated with certainty levels, is emphasised. However, the subsets of agents are organised in a Boolean lattice, while certainty levels belong to a totally ordered scale. The semantics of a set of ‘multiple agent’ logic formulas is expressed by a mapping which associates a subset of agents with each interpretation. Soundness and completeness results are established. Then a joint extension of the multiple agent logic and possibilistic logic is outlined. In this extended logic, propositions are then associated with both sets of agents and certainty levels. A formula then expresses that ‘all agents in set believe that is true at least at some level’. The semantics is then given in terms of fuzzy sets of agents that find an interpretation more or less possible. A specific feature of possibilistic logic is that the inconsistency of a knowledge base is a matter of degree. The proposed setting enables us to distinguish between the global consistency of a set of agents and their individual consistency. In particular, given a set of multiple agent possibilistic formulas, one can compute the subset of agents that are individually consistent to some degree.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/11663081.2013.864470
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,873
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Labelled Deductive Systems.Dov M. Gabbay - 1996 - Oxford University Press.
Fuzzy Sets and Systems. Theory and Applications.Didier Dubois & Henri Prade - 1982 - Journal of Symbolic Logic 47 (3):702-703.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Inference in Possibilistic Hypergraphs.Didier Dubois & Henri Prade - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 249--259.
Accepted Beliefs, Revision and Bipolarity in the Possibilistic Framework.Didier Dubois & Henri Prade - 2009 - In Franz Huber & Christoph Schmidt-Petri (eds.), Degrees of Belief. Springer. pp. 161--184.
Local Possibilistic Logic.Luca Boldrin & Claudio Sossai - 1997 - Journal of Applied Non-Classical Logics 7 (3):309-333.
Semantic Evaluation in Possibilistic Logic.Jérôme Lang - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 90--260.
Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Moore Problems in Full Dynamic Doxastic Logic.Krister Segerberg - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):95-110.
Multiple-Conclusion Logic.D. J. Shoesmith - 1978 - Cambridge University Press.

Analytics

Added to PP index
2013-12-07

Total views
21 ( #487,884 of 2,401,777 )

Recent downloads (6 months)
1 ( #551,897 of 2,401,777 )

How can I increase my downloads?

Downloads

My notes