Possibilistic logic: A retrospective and prospective view

Fuzzy Sets and Systems

Volumn 144, Issue 1, 2004, Pages 3-23

  Dubois, Didier ^a   Prade, Henri ^a  

^a IRIT   (France)

Author keywords

Approximate reasoning; Artificial intelligence; Logic; Possibility theory

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATABASE SYSTEMS; INFORMATION ANALYSIS; INFORMATION MANAGEMENT; INFORMATION USE; PETRI NETS; REVERSE ENGINEERING;

APPROXIMATE REASONING; POSSIBILITY THEORY;

FUZZY SETS;

EID: 1842864007     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2003.10.011     Document Type: Article

References (110)

1. T. Alsinet, Logic programming with fuzzy unification and imprecise constants: possibilistic semantics and automated deduction, Ph.D. Thesis, Technical University of Catalunya, Barcelona, 2001.
2. T. Alsinet, L. Godo, A complete calculus for possibilistic logic programming with fuzzy propositional variables, Proc. 16th Conf. on Uncertainty in Artificial Intelligence (UAI'00), Stanford, CA, Morgan Kaufmann, San Francisco, CA, 2000, pp. 1-10.
3. T. Alsinet, L. Godo, S. Sandri, On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness, Proc. 15th Conf. on Uncertainty in Artificial Intelligence, (UAI'99), Stockholm, Sweden, Morgan Kaufmann, San Francisco, CA, 1999, pp. 3-20.
4. Alsinet T., Godo L., Sandri S. Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification. a comparative description Electron. Notes in Theoret. Comput. Sci. 66(5):2002.
5. Bacchus F. Representing and Reasoning with Probabilistic Knowledge. 1990;M.I.T. Press, Cambridge, MA.
6. S. Benferhat, C. Cayrol, D. Dubois, J. Lang, H. Prade, Inconsistency management and prioritized syntax-based entailment, Proc. 13th Internat. Joint Conf. on Artificial Intelligence (IJCAI'93), Chambéry, August 28-September 3, 1993, pp. 640-645.
7. Benferhat S., Dubois D., Fargier H., Prade H. Decision, nonmonotonic reasoning and possibilistic logic. Minker J. Logic-based Artificial Intelligence. 2000;333-358 Kluwer, Boston.
8. Benferhat S., Dubois D., Garcia L., Prade H. On the transformation between possibilistic logic bases and possibilistic causal networks. Internat. J. Approx. Reason. 29(2):2002;135-173.
9. S. Benferhat, D. Dubois, S. Kaci, H. Prade, Encoding information fusion in possibilistic logic: a general framework for rational syntactic merging, Proc. 14th European Conf. on Artificial Intelligence (ECAI2000), 2000, IOS Press, Berlin, pp. 3-7.
10. S. Benferhat, D. Dubois, S. Kaci, H. Prade, Graphical readings of possibilistic logic bases, Proc. 17th Conf. on Uncertainty in Artificial Intelligence (UAI'01), Seattle, August 2-5, 2001, Morgan Kaufmann, San Francisco, CA, 2001, pp. 24-31.
11. S. Benferhat, D. Dubois, S. Kaci, H. Prade, Bridging logical, comparative and graphical possibilistic representation frameworks, Proc. 6th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU-01, Toulouse, September 19-21, 2001, Lecture Notes in Artificial Intelligence, Vol. 2143, Springer, Berlin, 2001, pp. 422-431.
12. S. Benferhat, D. Dubois, S. Kaci, H. Prade, Bipolar representation and fusion of preferences in the possibilistic logic framework, Proc. 8th Internat. Conf. on Principles of Knowledge Representation and Reasoning, KR'02, Toulouse, France, Morgan Kaufmann, San Francisco, CA, 2002, pp. 421-432.
13. S. Benferhat, D. Dubois, J. Lang, H. Prade, A. Saffiotti, P. Smets, A general approach for inconsistency handling and merging information in prioritized knowledge bases, Proc. 6th Internat. Conf. on Principles of Knowledge Representation and Reasoning, Trento, Italy, Morgan Kaufmann, San Francisco, CA, pp. 466-477, 1998.
14. S. Benferhat, D. Dubois, H. Prade, Representing default rules in possibilistic logic, Proc. 3rd Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA, Morgan Kaufmann, San Francisco, CA, 1992, pp. 673-684.
15. Benferhat S., Dubois D., Prade H. Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell. J. 92:1997;259-276.
16. Benferhat S., Dubois D., Prade H. Some syntactic approaches to the handling of inconsistent knowledge bases. a comparative study - part 1: the flat case Studia Logica. 58:1997;17-45.
17. Benferhat S., Dubois D., Prade H. Practical handling of exception-tainted rules and independence information in possibilistic logic. Appl. Intell. 9:1998;101-127.
18. Benferhat S., Dubois D., Prade H. From semantic to syntactic approaches to information combination in possibilistic logic. Bouchon-Meunier B. Aggregation and Fusion of Imperfect Information. 1998;141-161 Physica-Verlag, Wurzburg.
19. Benferhat S., Dubois D., Prade H. Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study. Part 2: the prioritized case. Orlowska E. Logic at Work. 1999;473-511 Physica-Verlag, Heidelberg.
20. Benferhat S., Dubois D., Prade H. An overview of inconsistency-tolerant inferences in prioritized knowledge bases. Dubois D., Prade H., Klement E.P. Fuzzy Sets, Logic and Reasoning about Knowledge. Applied Logic Series. Vol. 15:1999;395-417 Kluwer Academic Publishers, Dordrecht.
21. S. Benferhat, D. Dubois, H. Prade, Kalman-like filtering and updating in a possibilistic setting, Proc. 14th European Conf. on Artificial Intelligence (ECAI 2000), 2000, IOS Press, Berlin, pp. 8-12.
22. Benferhat S., Dubois D., Prade H. Towards a possibilistic logic handling of preferences. Appl. Intell. 14:2001;303-317.
23. Benferhat S., Dubois D., Prade H., Williams M.A. A practical approach to revising prioritized knowledge bases. Studia Logica. 70:2002;105-130.
24. S. Benferhat, S. Lagrue, O. Papini, Reasoning with partially ordered information in a possibilistic logic framework, Proc. 9th Internat. Conf. on Information Processing and Management of Uncertainty in Knowledge-based Systems, Annecy, 2003, pp. 1047-1052. (Revised version, Fuzzy Sets and Systems, this issue.).
25. P. Besnard, J. Lang, Possibility and necessity functions over non-classical logics, in: R. Lopez de Mantaras, D. Poole (Eds.), Proc. 10th Conf. on Uncertainty in Artificial Intelligence, Morgan Kaufmann, San Francisco, CA, 1994, pp. 69-76.
26. Biacino L., Gerla G. Generated necessities and possibilities. Internat. J. Intell. Systems. 7:1992;445-454.
27. Bistarelli S., Fargier H., Montanari U., Rossi F., Schiex T., Verfaillie G. Semiring-based CSPs and valued CSPs. frameworks, properties, and comparison Constraints. 4:1999;199-240.
28. L. Boldrin, A substructural connective for possibilistic logic, in: C. Froidevaux, J. Kohlas (Eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, (Proc. European Conf. ECSQARU'95) Springer, Fribourg, pp. 60-68.
29. Boldrin L., Sossai C. An algebraic semantics for possibilistic logic. Besnard P., Hank S. Proc. 11th Conf. on Uncertainty in Artificial Intelligence. 1995;27-35 Morgan Kaufmann, San Francisco, CA.
30. Boldrin L., Sossai C. Local possibilistic logic. J. Appl. Non-Classical Logics. 7:1997;309-333.
31. Boldrin L., Sossai C. Truth-functionality and measure-based logics. Dubois D., Prade H., Klement E.P. Fuzzy Sets, Logic and Reasoning about Knowledge. Applied Logic Series. Vol. 15:1999;351-380 Kluwer, Dordrecht.
32. Boutilier C. Modal logics for qualitative possibility theory. Internat. J. Approx. Reason. 10:1994;173-201.
33. G. Brewka, Preferred subtheories: an extended logical framework for default reasoning, Proc. 11th Internat. Joint Conf. on Artificial Intelligence (IJCAI'89), Detroit, 1989, pp. 1043-1048.
34. Coletti G., Scozzafava R. Probabilistic Logic in a Coherent Setting. 2002;Kluwer Academic Publishers, Dordrecht.
35. L.M. De Campos, J.F. Huete, Independence concepts in possibility theory. Part I: Fuzzy Sets and Systems, 103 (1999), 127-152; Part II: Fuzzy Sets and Systems, 103 487-506.
36. L.M. De Campos, J.F. Huete, Independence concepts in possibility theory. Part I: Fuzzy Sets and Systems, 103 (1999), 127-152; Part II: Fuzzy Sets and Systems, 103 487-506.
37. Dubois D. Belief structures, possibility theory and decomposable measures on finite sets. Comput. Artif. Intell. 5:1986;403-416.
38. Dubois D., Hajek P., Prade H. Knowledge-driven versus data-driven logics. J. Logic Language Inform. 9:2000;65-89.
39. D. Dubois, J. Lang, H. Prade, Theorem proving under uncertainty - a possibility theory-based approach, Proc. 10th Internat. Joint Conf. on Artificial Intelligence, Milano, Italy, 1987, pp. 984-986.
40. Dubois D., Lang J., Prade H. A possibilistic assumption-based truth maintenance system with uncertain justifications and its application to belief revision. Martins J.P., Reinfrank M. Truth Maintenance Systems. Lecture Notes in Artificial Intelligence. Vol. 515:1991;87-106 Springer, Berlin.
41. Dubois D., Lang J., Prade H. Timed possibilistic logic. Fund. Inform. XV(3-4):1991;211-237.
42. D. Dubois, J. Lang, H. Prade, Towards possibilistic logic programming, in: K. Furukawa (Ed.), Proc. Internat. Conf. on Logic Programming (ICLP'91), Paris, MIT Press, Cambridge, MA, 1991, pp. 581-595.
43. Dubois D., Lang J., Prade H. Inconsistency in possibilistic knowledge bases - to live or not live with it. Zadeh L.A., Kacprzyk J. Fuzzy Logic for the Management of Uncertainty. 1992;335-351 Wiley, New York.
44. D. Dubois, J. Lang, H. Prade, Dealing with multi-source information in possibilitic logic, Proc. 10th European Conf. on Artificial Intelligence (ECAI'92), Vienna, Austria, Wiley, New York, 1992, pp. 38-42.
45. D. Dubois, J. Lang, H. Prade, Possibilistic logic, in: D.M. Gabbay, et al. (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford University Press, Oxford, UK, 1994, pp. 439-513.
46. Dubois D., Lang J., Prade H. Automated reasoning using possibilistic logic. semantics, belief revision and variable certainty weights IEEE Trans. Data & Knowledge Eng. 6:1994;64-71.
47. D. Dubois, J. Lang, H. Prade, Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic, in: D. Driankov, P.W. Eklund, A.L. Ralescu (Eds.), Fuzzy Logic and Fuzzy Control (Proc. IJCAI'91 Workshop) Vol. 833, Springer, Berlin, 1994, pp. 45-55.
48. Dubois D., Le Berre D., Prade H., Sabbadin R. Using possibilistic logic for modeling qualitative decision. ATMS-based algorithms Fund. Inform. 37:1999;1-30.
49. D. Dubois, H. Prade, The management of uncertainty in expert systems: the possibilistic approach, in: Operational Research'84, J.P. Brans (Ed.), Proc. 10th Triennial IFORS Conf., Washington, DC, North-Holland, Amsterdam, 1984, pp. 949-964.
50. Dubois D., Prade H. Necessity measures and the resolution principle. IEEE Trans. Systems, Man Cybernet. 17:1987;474-478.
51. Dubois D., Prade H. Possibility Theory. 1988;Plenum Press, New York.
52. Dubois D., Prade H. Resolution principles in possibilistic logic. Internat. J. Approx. Reason. 4:1990;1-21.
53. Dubois D., Prade H. Epistemic entrenchment and possibilistic logic. Artif. Intell. 50:1991;223-239.
54. D. Dubois, H. Prade, Possibility theory as a basis for preference propagation in automated reasoning, Proc. 1st IEEE Internat. Conf. on Fuzzy Systems (FUZZ-IEEE'92), San Diego, CA, 1992, pp. 821-832.
55. Dubois D., Prade H. Conditional objects, possibility theory and default rules. Crocco G., Farinas del Cerro L., Herzig A. Conditionals: From Philosophy to Computer Science. 1995;311-346 Oxford University Press, Oxford, UK.
56. Dubois D., Prade H. Combining hypothetical reasoning and plausible inference in possibilistic logic. J. Multiple Valued Logic. 1:1996;219-239.
57. Dubois D., Prade H. A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. Internat. J. Approx. Reason. 17:1997;295-324.
58. D. Dubois, H. Prade, Valid or complete information in databases - a possibility theory-based analysis, in: A. Hameurlain, A.M. Tjoa (Eds.), Database and Experts Systems Applications (Proc. 8th Internat. Conf. DEXA'97), Toulouse, Lecture Notes in Computer Science, Vol. 1308, Springer, Berlin, 1997, pp. 603-612.
59. D. Dubois, H. Prade, Possibility theory: Qualitative and quantitative aspects, in: D.M. Gabbay, P. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 1, Kluwer Academic, Dordrecht, 1998, pp. 169-226.
60. Dubois D., Prade H. Possibility theory, probability theory and multiple-valued logics. a clarification Ann. Math. Artif. Intell. 32:2001;35-66.
61. Dubois D., Prade H., Sandri S. A possibilistic logic with fuzzy constants and fuzzily restricted quantifiers. Martin T.P., Arcelli-Fontana F. Logic Programming and Soft Computing. 1998;69-90 Research Studies Press, Ltd. Baldock, England.
62. D. Dubois, H. Prade, P. Smets, "Not impossible" vs. "guaranteed possible" in fusion and revision, Proc. 6th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU-01, Toulouse, Lecture Notes in Artificial Intelligence, Vol. 2143, Springer, Berlin, 2001, pp. 522-531.
63. Esteva F., Garcia P., Godo L. Relating and extending semantical approaches to possibilistic reasoning. Internat. J. Approx. Reason. 10(4):1994;311-344.
64. Fariñas del Cerro L., Herzig A. A modal analysis of possibility theory. Jorrand Ph., Kelemen J. Fundamentals of Artificial Intelligence Research (FAIR'91). Lecture Notes in Computer Science. Vol. 535:1991;11-18 Springer, Berlin.
65. Fariñas del Cerro L., Herzig A., Lang J. From ordering-based nonmonotonic reasoning to conditional logics. Artif. Intell. 66:1994;375-393.
66. Fulvio Monai F., Chehire T. Possibilistic assumption-based truth maintenance system, validation in a data fusion application. Dubois D., Wellman M. Proc. 8th Conf. on Uncertainty in Artificial Intelligence, Stanford, CA. 1992;83-91 Morgan Kaufmann, San Francisco, CA.
67. D. Gabbay, Labelled Deductive Systems, Vol. 1, Oxford University Press, Oxford, UK, 1996.
68. Gärdenfors P. Knowledge in Flux. 1988;MIT Press, Cambridge, MA.
69. J. Gebhardt, R. Kruse, Background and perspectives of possibilistic graphical models, in: Qualitative and Quantitative Practical Reasoning (Proc. ECSQARU-FAPR-97), Lecture Notes in Artificial Intelligence, Vol. 1244, Springer, Berlin, 1997, pp. 108-121.
70. Gilio A. Probabilistic reasoning under coherence in system P. Ann. Math. Artif. Intell. 34:2002;5-34.
71. Hajek P. A qualitative fuzzy possibilistic logic. Internat. J. Approx. Reason. 12:1994;1-19.
72. Hajek P. Metamathematics of Fuzzy Logic. 1998;Kluwer Academic Publishers, Dordrecht, The Netherlands.
73. Hajek P., Godo L., Esteva F. Fuzzy logic and probability. Besnard P., Hanks S. Proc. 12th Conf. on Uncertainty in Artificial Intelligence. 1995;237-244 Morgan Kaufmann, San Francisco, CA.
74. Hajek P., Harmancova D., Esteva F., Garcia P., Godo L. On modal logics for qualitative possibility in a fuzzy setting. Lopez de Mantaras R., Poole D. Proc. 11th Conf. on Uncertainty in Artificial Intelligence. 1994;278-285 Morgan Kaufmann, San Francisco, CA.
75. Halpern J. An analysis of first-order logics of probability. Artif. Intell. 46:1990;311-350.
76. Halpern J., Pucella R. A logic for reasoning about upper probabilities. J. AI Res. 17:2002;57-81.
77. Hisdal E. Conditional possibilities - independence and non-interactivity. Fuzzy Sets and Systems. 1:1978;283-297.
78. Hollunder B. An alternative proof method for possibilistic logic and its application to terminological logics. Internat. J. Approx. Reason. 12:1995;85-109.
79. Jaeger M. Automatic derivation of probabilistic inference rules. Internat. J. Approx. Reason. 28:2001;1-22.
80. J. Jahnke, M. Heitbreber, Design recovery of legacy database applications, Proc. IEEE Internat. Conf. on Fuzzy Systems, Anchorage, Al, 1998, pp. 1332-1337.
81. Jahnke J., Walenstein A. Evaluating theories for managing imperfect knowledge in human centric database reengineering environments. Internat. J. Software Eng. Knowledge Eng. 12:2002;77-102.
82. S. Konieczny, J. Lang, P. Marquis, Distance-based merging: a general framework and some complexity results, Proc. 8th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, Morgan Kaufmann, San Francisco, CA, 2002, pp. 97-108.
83. S. Konieczny, R. Pino Pérez, On the logic of merging, Proc. 1998 Conf. on Knowledge Representation and Reasoning Principles (KR-98), Trento. Morgan Kaufmann, San Francisco, CA, 1998, pp. 488-498.
84. Lafage C., Lang J., Sabbadin R. A logic of supporters. Bouchon-Meunier B., Yager R.R., Zadeh L.A. Information, Uncertainty and Fusion. 2000;381-392 Kluwer Academic Publishers, Dordrecht.
85. Lang J. Possibilistic logic as a logical framework for min-max discrete optimization problems. Jorrand P., Kelemen J. Fundamentals of Artificial Intelligence Research (FAIR'91). Lecture Notes in Computer Science. Vol. 535:1991;112-126 Springer, Berlin.
86. J. Lang, Logique Possibiliste: Aspects Formels, Déduction Automatique et Applications, Thèse de Doctorat, Université Paul Sabatier, Toulouse, 1991.
87. Lang J. Possibilistic logic: complexity and algorithms. Kohlas J., Moral S. Algorithms for Uncertainty and Defeasible Reasoning. Handbook of Defeasible Reasoning and Uncertainty Management Systems. Vol. 5:2001;179-220 Kluwer Academic Publishers, Dordrecht.
88. J. Lang, D. Dubois, H. Prade, A logic of graded possibility and certainty coping with partial inconsistency, Proc. 7th Conf. on Uncertainty in Artificial Intelligence, UCLA, Los Angeles, July 13-15, 1991, Morgan Kaufmann, San Francisco, CA, 1991, pp. 188-196.
89. Lau R., ter Hofstede A.H.M., Bruza P.D. Maxi-adjustment and possibilistic deduction for adaptive information agents. J. Appl. Non-classical Logics. 11(1-2):2001;169-201.
90. Lee R.C.T. Fuzzy logic and the resolution principle. J. ACM. 19:1972;109-119.
91. Lehmann D., Magidor M. What does a conditional knowledge base entail? Artif. Intell. J. 55:1992;1-60.
92. S. Lehmke, Logics which allow degrees of truth and degrees of validity, Ph.D. Dissertation, Universitât Dortmund, Germany, 2001.
93. Lehmke S. Degrees of truth and degrees of validity. Novak V., Perfilieva I. Discovering the World with Fuzzy Logic. 2001;192-237 Physica Verlag, Heidelberg.
94. Lewis D.L. Counterfactuals. 1973;Basil Blackwell, Oxford.
95. Lewis D.L. Probabilities of conditionals and conditional probabilities. Philos. Rev. 85:1976;297-315.
96. Liau C.J. Possibilistic residuated implications logics with applications. Internat. J. Uncertainty, Fuzziness, and Knowledge-based Systems. 6:1998;365-385.
97. Liau C.J. On the possibility theory-based semantics for logics of preference. Internat. J. Approx. Reason. 20:1999;173-190.
98. Liau C.J., Lin I.P. Possibilistic reasoning. a mini-survey and uniform semantics Artif. Intell. 88:1996;163-193.
99. Lukasiewicz T. Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Internat. J. Approx. Reason. 21:1999;23-61.
100. J. Pavelka, On fuzzy logic, Zeitschr. f. Math. Logik und Grundlagen d. Math. Part I: 25 (1979) 45-52; Part II: 119-134; Part III: 447-464.
101. J. Pavelka, On fuzzy logic, Zeitschr. f. Math. Logik und Grundlagen d. Math. Part I: 25 (1979) 45-52; Part II: 119-134; Part III: 447-464.
102. J. Pavelka, On fuzzy logic, Zeitschr. f. Math. Logik und Grundlagen d. Math. Part I: 25 (1979) 45-52; Part II: 119-134; Part III: 447-464.
103. H. Prade, Modèles Mathématiques de l'Imprécis et de l'Incertain en vue d'Applications au Raisonnement Naturel, These de Doctorat d'Etat, Université Paul Sabatier, 1982.
104. Rescher N. Plausible Reasoning. 1976;Van Gorcum, Amsterdam.
105. Rescher N., Manor R. On inference from inconsistent premises. Theory and Decision. 1:1970;179-219.
106. Sangüesa R., Cortés U., Gisolfi A. A parallel algorithm for building possibilistic causal networks. Internat. J. Approx. Reason. 18:1998;251-278.
107. Schiex T. Possibilistic constraint satisfaction problems or how to handle soft constraints. Dubois D., Wellman M. Proc. 8th Conf. on Uncertainty in Artificial Intelligence, Stanford, CA. 1992;268-275 Morgan Kaufmann, San Francisco, CA.
108. Wong O., Lau R. Possibilistic reasoning for intelligent payment agents. Kowalczyk Ryszard, Lee Maria Proc. 2nd Workshop on AI in Electronic Commerce AIEC 2000, Melbourne, Australia. Lecture Notes in Artificial Intelligence. Vol. 2112:2000;170-180 Springer, Berlin.
109. Zadeh L. Fuzzy logic and approximate reasoning. Synthese. 30:1975;407-428.
110. Zadeh L. Fuzzy sets a basis for a theory of possibility. Fuzzy Sets and Systems. 1:1978;3-28.