
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
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. 6471, February, 1994.  
BibTex  x  
@article{ 10.1109/69.273026, author = {D. Dubois and J. Lang and H. Prade}, title = {Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {6}, number = {1}, issn = {10414347}, year = {1994}, pages = {6471}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.273026}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights IS  1 SN  10414347 SP64 EP71 EPD  6471 A1  D. Dubois, A1  J. Lang, A1  H. Prade, PY  1994 KW  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 VL  6 JA  IEEE Transactions on Knowledge and Data Engineering ER   
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. 126, 1987.
[2] J. de Kleer, "An assumptionbased TMS,"Artificial Intell., vol. 28, pp. 127162, 1986.
[3] D. Dubois, "Belief structures, possibility theory and decomposable confidence measures on finite sets,"Comput. Artificial Intell., vol. 5, pp. 403416, 1986.
[4] D. Dubois, J. Lang, and H. Prade, "Theorem proving under uncertaintya possibility theorybased approach," inProc. 10th Int. Joint Conf. Artificial Intell., Milan, Italy, Aug. 1987, pp. 984986.
[5] D. Dubois, J. Lang, and H. Prade, "Towards possibilistic logic programming," inProc. 8th Int. Conf. Logic Programming '91, Paris, June 2528, 1991, K. Furukawa, Ed. Cambridge, MA: MIT Press, 1991, pp. 581595.
[6] D. Dubois, J. Lang, and H. Prade, "A possibilistic assumptionbased truth maintenance system with uncertain justifications, and its application to belief revision," inTruth Maintenance Systems(Proc. ECAI90 Workshop, Stockholm, Sweden, Aug. 1990), J. P. Martins and M. Reinfrank, Eds.,Lecture Notes in Artificial Intelligence, vol. 515. New York: Springer, 1990, pp. 87106.
[7] D. Dubois, J. Lang, and H. Prade, "Inconsistency in possibilistic knowledge basesto 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. 335351.
[8] D. Dubois and H. Prade (with the collaboration of H. Farrerry, R. MartinClouaire, and C. Testemale),Possibility TheoryAn 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. 474478, 1987.
[10] D. Dubois and H. Prade, "Resolution principles in possibilistic logic,"Int. J. Approx. Reasoning, vol. 4, no. 1, pp. 121, 1990.
[11] D. Dubois and H. Prade, "An introduction to possibilistic and fuzzy logics," inNonstandard Logics for Automated Reasoning, P. Smets, E. H. Mamdani, D. Dubois, and H. Prade, Eds. New York: Academic, pp. 287326.
[12] D. Dubois and H. Prade, "Epistemic entrenchment and possibilistic logic,"Artificial Intell., vol. 50, pp. 223239, 1991.
[13] D. Dubois and H. Prade, "Possibilistic logic, preferential models, nonmonotonicity and related issues," inProc. 12th Int. Joint Conf. Artificial Intell. (IJCAI91), Sydney, Australia, Aug. 2430, 1991, pp. 419424.
[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. 501506.
[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. 812, 1991, Ph. Jorrand and J. Kelemen, Eds. Berlin: Springer, 1991. pp. 1118.
[16] C. Froidevaux and D. Kayser, "Inheritance in semantic networks and default logic," inNonStandard Logics for Automated Reasoning, P. Smets, E. H. Mamdani, D. Dubois and H. Prade, Eds. New York: Academic, pp. 179212, 1988.
[17] P. GärdenforsKnowledge in Flux. Modeling the Dynamics of Epistemic States. Cambridge, MA: MIT Press, 1988.
[18] B. Grosof, "Nonmonotonicity in probabilistic reasoning," inUncertainty in Artificial Intell. 2, J. F Lemmer and L. N. Kanal, Eds. Amsterdam: NorthHolland, 1988, pp. 237249.
[19] C. J. Hinde, "Fuzzy Prolog,"Int J. ManMachine Studies, vol. 24, pp. 659695, 1986.
[20] M. Ishizuka and N. Kanai, "PrologElf incorporating fuzzy logic," inProc. 9th Int. Joint Conf. Artificial Intell. (IJCAI85), Los Angeles, Aug. 1985, pp. 701703.
[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 1315, 1991. Palo Alto, CA: Morgan&Kaufmann, 1991 , pp. 188196.
[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. 34, pp. 9210, 1989. Also in "Reasoning under incomplete Information in artificial intelligence,"Int J. Intell. Syst., vol. 5, pp: 323472, 1990.
[23] R. C. T. Lee, "Fuzzy logic and the resolution principle,"J. ACM, vol. 19, no. 1, pp. 109119, Jan. 1972.
[24] T.P. Martin, J.F. Baldwin, and B.W. Pilsworth, "The Implementation of FPrologA Fuzzy Prolog Interpreter,"Fuzzy Sets and Systems, Vol. 23, 1987, pp. 119129.
[25] R. Ng and V. S. Subrahmanian, "Probabilistic reasoning in logic programming," inProc. 5th Symp. on Methodologies for Intelligent Systems, Knoxville, TN, 1990. Amsterdam: NorthHolland, pp. 916.
[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. 7996, 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 rulebased systems," inProc. 8th Int. Joint Conf. Artificial Intell. (IJCAI83). Karlsruhe, Germany, pp. 529532, 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: NorthHolland, 1988, pp. 89100.
[31] V. S. Subrahmanian, "Mechanical proof procedures for manyvalued latticebased logic programming," Syracuse Univ., Syracuse, NY, Res. Rep., 1989.
[32] M. Umano, "Fuzzyset Prolog," inProc. 2nd Int. Fuzzy Systems Association (IFSA) Congress, Tokyo, pp. 750753, 1987.
[33] M. H. Van Emden, "Quantitative deduction and its fixpoint theory,"J. Logic Progr., vol. 1, pp. 3753, 1986.
[34] N. Wilson, "Rules, belief functions and default logic," inProc. 6th Conf. Uncertainty in Artificial Intell., Cambridge, MA, July 2729, 1990, pp. 443449.
[35] L. A. Zadeh, "Fuzzy sets as a basis for a theory of possibility,"Fuzzy Sets and Syst., vol. 1, pp. 328, 1978.