Abstract
We study in the setting of probabilistic default reasoning under coherence the quasi conjunction, which is a basic notion for defining consistency of conditional knowledge bases, and the Goodman & Nguyen inclusion relation for conditional events. We deepen two results given in a previous paper: the first result concerns p-entailment from a finite family \(\mathcal{F}\) of conditional events to the quasi conjunction \(\mathcal{C}(\mathcal{S})\), for each nonempty subset \(\mathcal{S}\) of \(\mathcal{F}\); the second result analyzes the equivalence between p-entailment from \(\mathcal{F}\) and p-entailment from \(\mathcal{C}(\mathcal{S})\), where \(\mathcal{S}\) is some nonempty subset of \(\mathcal{F}\). We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and inclusion relation, by introducing for a pair \((\mathcal{F},E|H)\) the class of the subsets \(\mathcal{S}\) of \(\mathcal{F}\) such that \(\mathcal{C}(\mathcal{S})\) implies E|H. This class is additive and has a greatest element which can be determined by applying a suitable algorithm.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adams, E.W.: The Logic of Conditionals. D. Reidel, Dordrecht (1975)
Biazzo, V., Gilio, A., Lukasiewicz, T., Sanfilippo, G.: Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P. Journal of Applied Non-Classical Logics 12(2), 189–213 (2002)
Coletti, G., Scozzafava, R.: Probabilistic Logic in a Coherent Setting, Trends in Logics, vol. 15. Kluwer Academic Publishers, Dordrecht (2002)
Dubois, D., Prade, H.: Conditional Objects as Nonmonotonic Consequence Relationships. IEEE Trans. Syst. Man Cybern. 24, 1724–1740 (1994)
Gilio, A.: Probabilistic Reasoning under Coherence in System P. Ann. Math. Artif. Intell. 34(1-3), 5–34 (2002)
Gilio, A.: On Császár’s Condition in Nonmonotonic Reasoning. In: 10th International Workshop on Non-Monotonic Reasoning. Special Session: Uncertainty Frameworks in Non-Monotonic Reasoning, Whistler BC, Canada, June 6-8 (2004), http://events.pims.math.ca/science/2004/NMR/uf.html
Gilio, A., Sanfilippo, G.: Quasi Conjunction and p-entailment in Nonmonotonic Reasoning. In: Borgelt, C., et al. (eds.) Combining Soft Computing and Statistical Methods in Data Analysis. Advances in Intelligent and Soft Computing, vol. 77, pp. 321–328. Springer, Heidelberg (2010)
Goodman, I.R., Nguyen, H.T.: Conditional Objects and the Modeling of Uncertainties. In: Gupta, M.M., Yamakawa, T. (eds.) Fuzzy Computing: Theory, Hardware, and Applications, pp. 119–138. North-Holland, Amsterdam (1988)
Kraus, S., Lehmann, D.J., Magidor, M.: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artif. Intell. 44(1-2), 167–207 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gilio, A., Sanfilippo, G. (2011). Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning. In: Liu, W. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2011. Lecture Notes in Computer Science(), vol 6717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22152-1_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-22152-1_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22151-4
Online ISBN: 978-3-642-22152-1
eBook Packages: Computer ScienceComputer Science (R0)