Reasoning about ignorance and contradiction: Many-valued logics versus epistemic logic

Soft Computing

Volumn 16, Issue 11, 2012, Pages 1817-1831

  Dubois, Didier ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Epistemic logic; Inconsistency; Partial knowledge; Possibility theory; Three valued logic

Indexed keywords

EPISTEMIC LOGIC; INCONSISTENCY; PARTIAL KNOWLEDGE; POSSIBILITY THEORY; THREE-VALUED LOGIC;

SOFT COMPUTING; SOFTWARE ENGINEERING;

FORMAL LOGIC;

EID: 84867713969     PISSN: 14327643     EISSN: 14337479     Source Type: Journal    
DOI: 10.1007/s00500-012-0833-5     Document Type: Article

References (40)

1. Banerjee M, Dubois D (2009) A simple modal logic for reasoning about revealed beliefs. In: Sossai C, Chemello G (eds) ECSQARU, Lecture Notes in Computer Science, vol 5590. Springer, Berlin, pp 805-816.
2. Belnap ND (1977a) How a computer should think. In: Ryle G (ed) Contemporary Aspects of Philosophy. Oriel Press, Boston, pp 30-56.
3. Belnap ND (1977b) A useful four-valued logic. In: Dunn JM, Epstein G (eds) Modern uses of multiple-valued logic. D. Reidel, Dordrecht, pp 18-37.
4. Blamey S (1998) Partial logic. In Gabbay D, Guentner F editors, Handbook of Philosophical Logic, 2d Ed., volume 5, pages 261-353. Kluwer Academic Publ., Dordrecht, The Netherlands.
5. Boldrin L, Sossai C (1999) Truth-functionality and measure-based logics. In: Dubois D, Prade H, Klement EP (eds) Fuzzy sets, logic and reasoning about knowledge, Applied Logic Series, vol 15. Kluwer, Dordrecht, pp 351-380.
6. Burgess JP (1969) Probability logic. J Symbol Log 34(2): 264-274.
7. Chellas BF (1980) Modal logic: an Introduction. Cambridge University Press, Cambridge.
8. Cholvy L (2010) Plausibility of information reported by successive sources. In: Deshpande A, Hunter A (eds) SUM, Lecture Notes in Computer Science, vol 6379. Springer, Berlin, pp 126-136.
9. Ciucci D, Dubois D (2010) Truth-functionality, rough sets and three-valued logics. In: Proceedings of the IEEE international symposium on multiple-valued logic, Barcelona. IEEE Press, New York, pp 98-103.
10. De Cooman G (1999) Frosm possibilistic information to kleene's strong multi-valued logics. In: Dubois D et al (eds) Fuzzy sets, logics and reasoning about knowledge. Kluwer Academic Publ., Dordrecht, pp 261-353.
11. De Finetti B (1936) La logique de la probabilité. In: Actes du Congrès International de Philosophie Scientifique, vol IV, Paris. Hermann et Cie, Paris, France, pp 1-9.
12. Dubois D (2008) On ignorance and contradiction considered as truth-values. Log J IGPL 16(2): 195-216.
13. Dubois D (2010a) Author's response to Wansing and Belnap's generalized truth-values. Log J IGPL 18(6): 936-940.
14. Dubois D (2010b) Degrees of truth, ill-known sets and contradiction. In: Bouchon-Meunier B, Magdalena L, Ojeda-Aciego M, Verdegay J-L (eds) Foundations of reasoning under uncertainty, Studies in Fuzziness and Soft Computing, vol 249. Springer-Verlag, Berlin, pp 65-83.
15. Dubois D (2011) Gradualness, uncertainty and bipolarity: Making sense of fuzzy sets. Fuzzy sets and Systems, to appear.
16. Dubois D, Esteva F, Godo L, Prade H (2007) Fuzzy-set based logics-an history-oriented presentation of their main developments. In: Gabbay DM, Woods J (eds) Handbook of the history of logic, vol 8, The many valued and nonmonotonic turn in logic. Oxford University Press, Oxford, pp 325-449.
17. Dubois D, Lang J, Prade H (1994) Possibilistic logic. In: Gabbay DM, Hogger CJ, Robinson JA, Nute D (eds) Handbook of logic in artificial intelligence and logic programming, vol 3, pp 439-513. Oxford University Press, Oxford.
18. Dubois D, Prade H (1988) Possibility theory: an approach to computerized processing of uncertainty. Plenum Press, New York.
19. Dubois D, Prade H (1994) Can we enforce full compositionality in uncertainty calculi? In: Proceedings of the 12th national conference on artificial intelligence (AAAI'94), Seattle, WA. AAAI Press, USA, pp 149-154.
20. Dubois D, Prade H (2001) Possibility theory, probability theory and multiple-valued logics: a clarification. Ann Math Artif Intell 32: 35-66.
21. Dubois D, Prade H (2011) Generalized possibilistic logic. In: Benferhat S, Grant J (eds) SUM, Lecture Notes in Computer Science, vol 6929. Springer, Berlin, pp 428-432.
22. Dunn JM (1976) Intuitive semantics for first-degree entailment and coupled trees. Philos Stud 29: 149-168.
23. Fitting M (1991) Bilattices and the semantics of logic programming. J Log Program 11: 91-116.
24. Ginsberg ML (1988) Multivalued logics: a uniform approach to reasoning in artificial intelligence. Comput Intell 4: 265-316.
25. Haehnle R (1997) Proof theory of many-valued logic-linear optimization-logic design: connections and interactions. Soft Comput 1: 107-119.
26. Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht.
27. Hájek P, Godo L, Esteva F (1995) Fuzzy logic and probability. In: Besnard P, Hanks S (eds) UAI. Morgan Kaufmann, pp 237-244.
28. Halpern J, Moses Y (1985) A logic for reasoning about knowledge and ignorance. In: Apt KR (eds) Logics and models of concurrent systems. Springer, Berlin
29. Halpern JY, Fagin R, Moses Y, Vardi MY (2003) Reasoning about knowledge. MIT Press, Cambridge (Revised paperback edition).
30. Hamblin CL (1959) The modal "Probably". Mind 60(270): 234-240.
31. Hintikka J (1962) Knowledge and belief. Cornell University Press, Ithaca.
32. Kleene SC (1952) Introduction to metamathematics. van Nostrand, New York.
33. Kyburg HE Jr, Teng CM (2002) The logic of risky knowledge. Electr Notes Theor Comput Sci 67: 254-262.
34. Lehmke S (2001) Logics which allow degrees of truth and degrees of validity Ph. D., Universitaet Dortmund, Germany.
35. Levesque HJ (1984) A logic of implicit and explicit belief. In: Proceedings of the national conference on artificial intelligence (AAAI 84), pp 198-202.
36. Łukasiewicz J (1970) Philosophical remarks on many-valued systems of propositional logic. In: Borkowski L (ed) Selected works. North-Holland, The Netherlands, pp 481-495.
37. Marquis P, Besnard P, Konieczny S (2008) Bipolarity in bilattice logics. Int J Intell Syst 23: 1046-1061.
38. van Gasse B, Cornelis C, Deschrijver G, Kerre EE (2008) Triangle algebras: a formal logic approach to interval-valued residuated lattices. Fuzzy Sets Syst 159(9): 1042-1060.
39. Walley P, Fine TL (1979) Varieties of modal (classificatory) and comparative probability. Synthese 41: 321-374.
40. Wansing H, Belnap N (2010) Generalized truth-values. a reply to Dubois. Log J IGPL 18(6): 921-935.