This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights
February 1994 (vol. 6 no. 1)
pp. 64-71

An approach to automated deduction under uncertainty, based on possibilistic logic, is described; for that purpose we deal with clauses weighted by a degree that is a lower bound of a necessity or a possibility measure, according to the nature of the uncertainty. Two resolution rules are used for coping with the different situations, and the classical refutation method can be generalized with these rules. Also, the lower bounds are allowed to be functions of variables involved in the clauses, which results in hypothetical reasoning capabilities. In cases where only lower bounds of necessity measures are involved, a semantics is proposed in which the completeness of the extended resolution principle is proved. The relation between our approach and the idea of minimizing abnormality is briefly discussed. Moreover, deduction from a partially inconsistent knowledge base can be managed in this approach and captures a form of nonmonotonicity.

[1] J. F. Baldwin, "Evidential support logic programming,"Fuzzy Sets and Syst., vol. 24, pp. 1-26, 1987.
[2] J. de Kleer, "An assumption-based TMS,"Artificial Intell., vol. 28, pp. 127-162, 1986.
[3] D. Dubois, "Belief structures, possibility theory and decomposable confidence measures on finite sets,"Comput. Artificial Intell., vol. 5, pp. 403-416, 1986.
[4] D. Dubois, J. Lang, and H. Prade, "Theorem proving under uncertainty--a possibility theory-based approach," inProc. 10th Int. Joint Conf. Artificial Intell., Milan, Italy, Aug. 1987, pp. 984-986.
[5] D. Dubois, J. Lang, and H. Prade, "Towards possibilistic logic programming," inProc. 8th Int. Conf. Logic Programming '91, Paris, June 25-28, 1991, K. Furukawa, Ed. Cambridge, MA: MIT Press, 1991, pp. 581-595.
[6] D. Dubois, J. Lang, and H. Prade, "A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision," inTruth Maintenance Systems(Proc. ECAI-90 Workshop, Stockholm, Sweden, Aug. 1990), J. P. Martins and M. Reinfrank, Eds.,Lecture Notes in Artificial Intelligence, vol. 515. New York: Springer, 1990, pp. 87-106.
[7] D. Dubois, J. Lang, and H. Prade, "Inconsistency in possibilistic knowledge bases--to live or not live with it," inFuzzy Logic for the Management of Uncertainty, L. A. Zadeh and J. Kacprzyk, Eds. New York: Wiley, 1991, pp. 335-351.
[8] D. Dubois and H. Prade (with the collaboration of H. Farrerry, R. Martin-Clouaire, and C. Testemale),Possibility Theory--An Approach to Computerized Processing of Uncertainty. New York: Plenum Press, 1988.
[9] D. Dubois and H. Prade, "Necessity measures and the resolution principle,"IEEE Trans. Systems, Man and Cybernetics, vol. 17, pp. 474-478, 1987.
[10] D. Dubois and H. Prade, "Resolution principles in possibilistic logic,"Int. J. Approx. Reasoning, vol. 4, no. 1, pp. 1-21, 1990.
[11] D. Dubois and H. Prade, "An introduction to possibilistic and fuzzy logics," inNon-standard Logics for Automated Reasoning, P. Smets, E. H. Mamdani, D. Dubois, and H. Prade, Eds. New York: Academic, pp. 287-326.
[12] D. Dubois and H. Prade, "Epistemic entrenchment and possibilistic logic,"Artificial Intell., vol. 50, pp. 223-239, 1991.
[13] D. Dubois and H. Prade, "Possibilistic logic, preferential models, nonmonotonicity and related issues," inProc. 12th Int. Joint Conf. Artificial Intell. (IJCAI-91), Sydney, Australia, Aug. 24-30, 1991, pp. 419-424.
[14] D. Dubois, H. Prade, and C. Testemale, "In search of a modal system for possibility theory," inProc. 8th European Conf. on Artificial Intell., Münich, Aug. 1988, pp. 501-506.
[15] L. Fariñas del Cerro and A. Herzig, "A modal analysis of possibility theory," inProc. Int. Workshop on Fundamentals of Artificial Intell. Research (FAIR'91), Smolenice Castle, Czechoslovakia, Sept. 8-12, 1991, Ph. Jorrand and J. Kelemen, Eds. Berlin: Springer, 1991. pp. 11-18.
[16] C. Froidevaux and D. Kayser, "Inheritance in semantic networks and default logic," inNon-Standard Logics for Automated Reasoning, P. Smets, E. H. Mamdani, D. Dubois and H. Prade, Eds. New York: Academic, pp. 179-212, 1988.
[17] P. GärdenforsKnowledge in Flux. Modeling the Dynamics of Epistemic States. Cambridge, MA: MIT Press, 1988.
[18] B. Grosof, "Non-monotonicity in probabilistic reasoning," inUncertainty in Artificial Intell. 2, J. F Lemmer and L. N. Kanal, Eds. Amsterdam: North-Holland, 1988, pp. 237-249.
[19] C. J. Hinde, "Fuzzy Prolog,"Int J. Man-Machine Studies, vol. 24, pp. 659-695, 1986.
[20] M. Ishizuka and N. Kanai, "Prolog-Elf incorporating fuzzy logic," inProc. 9th Int. Joint Conf. Artificial Intell. (IJCAI-85), Los Angeles, Aug. 1985, pp. 701-703.
[21] J. Lang, D. Dubois, and H. Prade, "A logic of graded possibility and certainty coping with partial inconsistency," inProc. 7th Conf. on Uncertainty in Artificial Intell., Los Angeles, July 13-15, 1991. Palo Alto, CA: Morgan&Kaufmann, 1991 , pp. 188-196.
[22] Léa Sombé, (P. Besnard, M. O. Cordier, D. Dubois, L. Fariñas del Cerro, C. Froidevaux, Y. Moinard, H. Prade, C. Schwind, and P. Siegel)Raisonnements sur des Informations Incomplètes en Intell. Artificielle. Teknéa, Marseille. Also in Revue d'Intell. Artificielle, Hermès, vol. 2, no. 3-4, pp. 9-210, 1989. Also in "Reasoning under incomplete Information in artificial intelligence,"Int J. Intell. Syst., vol. 5, pp: 323-472, 1990.
[23] R. C. T. Lee, "Fuzzy logic and the resolution principle,"J. ACM, vol. 19, no. 1, pp. 109-119, Jan. 1972.
[24] T.P. Martin, J.F. Baldwin, and B.W. Pilsworth, "The Implementation of FProlog--A Fuzzy Prolog Interpreter,"Fuzzy Sets and Systems, Vol. 23, 1987, pp. 119-129.
[25] R. Ng and V. S. Subrahmanian, "Probabilistic reasoning in logic programming," inProc. 5th Symp. on Methodologies for Intelligent Systems, Knoxville, TN, 1990. Amsterdam: North-Holland, pp. 9-16.
[26] N. Nilsson, "Probabilistic logic,"Artificial Intell., vol. 20, pp. 71- 87, 1986.
[27] I. P. Orci, "Programming in possibilistic logic,"Int. J. Expert Syst.: Research and Applications, vol. 2, no. 1, pp. 79-96, 1989.
[28] G. Shafer,A Mathematical Theory of Evidence. Princeton, NJ: Princeton University Press, 1976.
[29] E. Y. Shapiro, "Logic programs with uncertainties: A tool for implemented rule-based systems," inProc. 8th Int. Joint Conf. Artificial Intell. (IJCAI-83). Karlsruhe, Germany, pp. 529-532, 1983.
[30] Z. Shen, L. Ding, and M. Mukaidono, "A theoretical framework for the fuzzy Prolog machine," inFuzzy Computing, M. M. Gupta and T. Yamakawa, Eds. Amsterdam: North-Holland, 1988, pp. 89-100.
[31] V. S. Subrahmanian, "Mechanical proof procedures for many-valued lattice-based logic programming," Syracuse Univ., Syracuse, NY, Res. Rep., 1989.
[32] M. Umano, "Fuzzy-set Prolog," inProc. 2nd Int. Fuzzy Systems Association (IFSA) Congress, Tokyo, pp. 750-753, 1987.
[33] M. H. Van Emden, "Quantitative deduction and its fixpoint theory,"J. Logic Progr., vol. 1, pp. 37-53, 1986.
[34] N. Wilson, "Rules, belief functions and default logic," inProc. 6th Conf. Uncertainty in Artificial Intell., Cambridge, MA, July 27-29, 1990, pp. 443-449.
[35] L. A. Zadeh, "Fuzzy sets as a basis for a theory of possibility,"Fuzzy Sets and Syst., vol. 1, pp. 3-28, 1978.

Index Terms:
uncertainty handling; nonmonotonic reasoning; belief maintenance; fuzzy set theory; logic programming; formal logic; automated reasoning; possibilistic logic; belief revision; certainty weights; automated deduction under uncertainty; possibility measure; resolution rules; classical refutation method; hypothetical reasoning; extended resolution principle; deduction; partially inconsistent knowledge base; nonmonotonic reasoning; fuzzy sets; uncertainty handling
Citation:
D. Dubois, J. Lang, H. Prade, "Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 1, pp. 64-71, Feb. 1994, doi:10.1109/69.273026
Usage of this product signifies your acceptance of the Terms of Use.