Abstract
We study a probabilistic logic based on the coherence principle of de Finetti and a related notion of generalized coherence (g-coherence). We examine probabilistic conditional knowledge bases associated with imprecise probability assessments defined on arbitrary families of conditional events. We introduce a notion of conditional interpretation defined directly in terms of precise probability assessments. We also examine a property of strong satisfiability which is related to the notion of toleration well known in default reasoning. In our framework we give more general definitions of the notions of probabilistic consistency and probabilistic entailment of Adams. We also recall a notion of strict p-consistency and some related results. Moreover, we give new proofs of some results obtained in probabilistic default reasoning. Finally, we examine the relationships between conditional probability rankings and the notions of g-coherence and g-coherent entailment.
Similar content being viewed by others
References
E.W. Adams (1975) The Logic of Conditionals Reidel Dordrecht
E.W. Adams (1986) ArticleTitle‘On the Logic of High Probability’ Journal of Philosophical Logic 15 255–279 Occurrence Handle10.1007/BF00248572
D. Bamber (1994) ArticleTitle‘Probabilistic Entailment of Conditionals by Conditionals’ IEEE Trans. on Systems, Man and Cybernetics 24 IssueID12 1714–1723
S. Benferhat D. Dubois H. Prade (1997) ArticleTitle‘Nonmonotonic Reasoning, Conditional Objects and Possibility Theory’ Artificial Intelligence 92 IssueID1–2 259–276
S. Benferhat D. Dubois H. Prade (1999) ArticleTitle‘Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge Bases’ Journal of Logic and Computation 9 IssueID6 873–895 Occurrence Handle10.1093/logcom/9.6.873
V. Biazzo A. Gilio (2000) ArticleTitle‘A Generalization of the Fundamental Theorem of de Finetti for Imprecise Conditional Probability Assessments’ InternationalJournal of Approximate Reasoning 24 251–272
V. Biazzo A. Gilio T. Lukasiewicz G. Sanfilippo (2002) ArticleTitle‘Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P’ Journal of Applied Non-Classical Logics 12 IssueID2 189–213
H. Geffner J. Pearl (1992) ArticleTitle‘Conditional Entailment: Bridging Two Approaches to Default Reasoning’ Artificial Intelligence 53 IssueID2-3 209–244 Occurrence Handle10.1016/0004-3702(92)90071-5
A. Gilio (1995) ‘Algorithms for Precise and Imprecise Conditional Probability Assessments’ G. Coletti D. Dubois R. Scozzafava (Eds) Mathematical Models for Handling Partial Knowledge in Artificial Intelligence Plenum Press New York 231–254
A. Gilio (2002) ArticleTitle‘Probabilistic Reasoning under Coherence in System P’ Annals of Mathematics and Artificial Intelligence 34 5–34 Occurrence Handle10.1023/A:1014422615720
J. Hawthorne (1996) ArticleTitle‘On the Logic of Nonmonotonic Conditionals and Conditional Probabilities’ Journal of Philosophical Logic 25 185–218
K. Kraus D. Lehmann M. Magidor (1990) ArticleTitle‘Nonmonotonic Reasoning, Preferential Models and Cumulative Logics’ Artificial Intelligence 44 167–207 Occurrence Handle10.1016/0004-3702(90)90101-5
D. Lehmann (1995) ArticleTitle‘Another Perspective on Default Reasoning’ Annals of Mathematics and Artificial Intelligence 15 IssueID1 61–82 Occurrence Handle10.1007/BF01535841
T. Lukasiewicz (2002) ‘Probabilistic Default Reasoning with Conditional Constraints’, Annals of Mathematics and Artificial Intelligence 34 35–88
Pearl, J.: 1990, ’System Z: A Natural Ordering of Defaults with Tractable Applications to Default Reasoning’, Proceedings TARK-90, Morgan Kaufmann, pp. 121–135
G. Schurz (1998) ArticleTitle’Probabilistic Semantics for Delgrande’s Conditional Logic and a Counterexample to his Default Logic’ Artificial Intelligence 102 IssueID1 81–95 Occurrence Handle10.1016/S0004-3702(98)00042-3
P. Snow (1999) ArticleTitle‘Diverse Confidence Levels in a Probabilistic Semantics for Conditional Logics’ Artificial Intelligence 113 269–279 Occurrence Handle10.1016/S0004-3702(99)00054-5
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gilio, A. Probabilistic Logic Under Coherence, Conditional Interpretations, and Default Reasoning. Synthese 146, 139–152 (2005). https://doi.org/10.1007/s11229-005-9080-y
Issue Date:
DOI: https://doi.org/10.1007/s11229-005-9080-y