Possibilistic and standard probabilistic semantics of conditional knowledge bases

Journal of Logic and Computation

Volumn 9, Issue 6, 1999, Pages 873-895

  Benferhat, Salem ^a   Dubois, Didier ^a   Prade, Henri ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DECISION THEORY; FORMAL LOGIC; PROBABILITY; PROBABILITY DISTRIBUTIONS; SET THEORY; THEOREM PROVING;

CONDITIONALS; NONMONOTONIC REASONING; POSSIBILITY THEORY; STANDARD PROBABILISTIC SEMANTICS;

KNOWLEDGE BASED SYSTEMS;

EID: 0033319827     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.6.873     Document Type: Article

References (41)

1. E. W. Adams. The Logic of Conditionals. D. Reidel, Dordrecht, 1975.
2. S. Benferhat , D. Dubois and H. Prade. (1992) Representing default rules in possibilistic logic. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, pp. 673-684, 1992.
3. S. Benferhat, D. Dubois and H. Prade. Représentation des connaissances conditionnelles. In Proceedings of the 3rd Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'94), Rabat. pp. 79-88. Full text in Revue d'Intelligence Artificielle, 9, 475-521, 1994.
4. S. Benferhat, D. Dubois and H. Prade. Représentation des connaissances conditionnelles. In Proceedings of the 3rd Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'94), Rabat. pp. 79-88. Full text in Revue d'Intelligence Artificielle, 9, 475-521, 1994.
5. S. Benferhat, D. Dubois and H. Prade. Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence, 92, 259-276, 1997.
6. S. Benferhat, D. Dubois and H. Prade. Possibilistic and standard probabilistic semantics of conditional knowledge. In Proceedings of the 14th National Conference on Artificial Intelligence (AAAI'97), pp. 70-75, 1997.
7. H. Bezzazi and R. Pino-Perez. Rational transitivity and its models. In Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96), Santiago de Compostella, Spain, pp. 160-165, 1996.
8. D. Dubois. Belief structures, possibility theory and decomposable confidence measures on finite sets, Computers and Artificial Intelligence, 5, 403-416, 1986.
9. D. Dubois, H. Fargier and H. Prade. Decision-making under ordinal preferences and comparative uncertainty. In Proceedings of 13th Conference on Uncertainty in Artificial Intelligence (UAI'97), Providence, R.I., pp. 157-164, 1997.
10. D. Dubois, H. Fargier and H. Prade. Comparative uncertainty, belief functions and accepted beliefs. In Proceedings of 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), Madison, WI, pp. 113-120, 1998.
11. D. Dubois and H. Prade (with the collaboration of H. Farreny, R. Martin-Clouaire and C. Testemale). Possibility Theory - An Approach to Computerized Processing of Uncertainty. Plenum Press, New York, 1988.
12. D. Dubois and H. Prade. Possibilistic logic, preferential models, nonmonotonicity and related issues. Proceedings of 12th Intenational Joint Conference on Artificial Intelligence (IJCAI'91), pp. 419-424, 1991.
13. D. Dubois and H. Prade. Conditional objects and nonmonotonic reasoning. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). J. Allen, R. Fikes and E Sandewall, eds. pp. 175-785. Morgan-Kaufmann, Cambridge, MA, 1991.
14. D. Dubois and H. Prade. Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50, 223-239, 1991.
15. D. Dubois and H. Prade. Conditional objects as nonmonotonic consequence relationships. In IEEE Transactions on Systems Man and Cybernetics, 24, 1724-1740, 1994.
16. D. Dubois and H. Prade. Conditional objects, possibility theory and default rules. In Conditionals: From Philosophy to Computer Science, G. Crocco et al., eds. pp. 311-246. Oxford University Press, 1995.
17. D. Dubois and H. Prade. Numerical representation of acceptance. In Proceedings of 11th Conference an Uncertainty in Artificial Intelligence (UAI'95), Montreal, pp. 149-156, 1995.
18. D. Dubois and H. Prade. Qualitative and quantivative possibility theory and its applications to reasoning and decision under uncertainty. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 1. P Smets, ed. pp. 169-226. Kluwer Academic Publishers, Dordrecht, 1998.
19. L. Farinas del Cerro and A. Herzig. A modal analysis of possibilistic logic. In Symbolic and Quantitative Approaches to Uncertainty, LNCS, Spinger Verlag, Berlin, Vol. 558, pp. 58-62, 1991.
20. L. Farinas del Cerro, A. Herzig and J. Lang. From ordering-based nonmonotonic reasoning to conditional logics. Artificial Intelligence, 66, 375-393, 1994.
21. N. Friedmann and J. Halpern. Plausibility measures and default reasoning. In Proceedings of the National Conference on Artificial Intelligence (AAAI'96), pp. 1297-1304, 1996.
22. P. Gärdenfors. (1988) Knowledge in Flux - Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge, MA, 1988
23. P. Gärdenfors and D. Makinson. Nonmonotonic inference based on expectations. Artificial Intelligence, 65, 197-245, 1994.
24. H. Geffner. Default Reasoning: Causal and Conditional Theories. The MIT Press, Cambridge, MA, 1992
25. J. Halpern. Defining relative likelihood in partially-ordered preferential structures. In Proceedings of 12th Conference on Uncertainty in Artificial Intelligence (UAI'96), Portland, pp. 229-306, 1996.
26. S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167-207, 1990.
27. D. Lehmann. What does a conditional knowledge base entail? In Proceedings of 1st Intenational Conference on Principles of Knowledge Representation and Reasoning (KR'89), Toronto, pp. 357-367, 1989.
28. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55, 1-60, 1992.
29. D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3. D. M. Gabbay et al. eds. pp. 35-110. Oxford University Press, 1994.
30. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA, 1988.
31. J. Pearl. System Z: a natural ordering of defaults with tractable applications to default reasoning. In Proceedings of the 3rd Conference on the Theoretical Aspects of Reasoning About Knowledge (TARK'90), pp. 121-135. Morgan Kaufmann, 1990.
32. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 81-132, 1980.
33. R. Stalnaker. A defense of the conditional excluded middle. In Ifs, W. L. Harper, R. Stalnaker and G. Pearce, eds. pp. 87-104. D. Reidel, Dordrecht, 1979.
34. Y. Shoham. Reasoning About Change - Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, MA, 1988.
35. P. Snow. The emergence of ordered belief from initial ignorance. In Proceedings of the 12th National Conference on Artificial Intelligence (AAAI'94), Seattle, WA, July 31-Aug. 4, pp. 281-286, 1994.
36. P. Snow. Standard probability distributions described by rational default entailment. Personal communication, 1996.
37. P. Snow. Warranting non-demonstrative reasoning upon the common ground of contending uncertainty approaches. In Proceedings 6th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-96), Vol. II, pp. 1381-1386, Granada (Spain), 1996.
38. W. Spohn. Ordinal conditional functions: A dynamic theory of epistemic states. In Causation in Decision, Belief Change and Statistics, Vol. II W. L. Harper and B. Skyrms, eds. pp. 105-134. Kluwer Academic Publishers, Dordrecht, 1988.
39. R. R. Yager. An introduction to applications of possibility theory. Human Systems Management, 3, 246-269, 1983.
40. R. R. Yager. On the completion of qualitative possibility measures. IEEE Transactions on Fuzzy Systems, 1, 184-194, 1993.
41. L. A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3-28, 1978.