Abstract.
Only very special subclasses of probability distributions can be used for qualitative reasoning that meets basic logical demands. Snow’s atomic bound systems (big-stepped probabilities) provide one positive example for such a subclass. This paper presents a thorough investigation of the formal logical relationships between qualitative and probabilistic default reasoning. We start with formalizing qualitative conditional logic, as well as both standard and big-stepped probabilistic logic as abstract logical systems, using the notion of institutions. The institution of big-stepped probabilities turns out to be a proper combination of the other two. Moreover, the framework of institutions offers the possibility to elaborate exactly the properties that make probability distributions suitable for qualitative reasoning.
The research reported here was partially supported by the DFG – Deutsche Forschungsgemeinschaft within the CONDOW-project under grant BE 1700/5-1.
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)
Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence 92, 259–276 (1997)
Benferhat, S., Dubois, D., Prade, H.: Possibilistic and standard probabilistic semantics of conditional knowledge bases. Journal of Logic and Computation 9(6), 873–895 (1999)
Beierle, C., Kern-Isberner, G.: Using institutions for the study of qualitative and quantitative conditional logics. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 161. Springer, Heidelberg (2002)
de Finetti, B.: La prévision, ses lois logiques et ses sources subjectives. In: Poincaré, H. (ed.) Ann. Inst., vol. 7 (1937); Kyburg, H., Smokler, H.E. (eds.) English translation in Studies in Subjective Probability, pp. 93–158. Wiley, New York (1964)
Dubois, D., Prade, H.: Non-standard theories of uncertainty in plausible reasoning. In: Brewka, G. (ed.) Principles of Knowledge Representation. CSLI Publications (1996)
Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)
Goguen, J.A., Rosu, G.: Institution morphisms. Formal Aspects of Computing 13(3-5), 274–307 (2002)
Herrlich, H., Strecker, G.E.: Category theory. Allyn and Bacon, Boston (1973)
Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207 (1990)
Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973)
Makinson, D.: General patterns in nonmonotonic reasoning. In: Gabbay, D.M., Hogger, C.H., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 35–110. Oxford University Press, Oxford (1994)
Makinson, D., Gärdenfors, P.: Relations between the logic of theory change and nonmonotonic logic. In: Proceedings Workshop The Logic of Theory Change, Konstanz, Germany, 1989, pp. 185–205. Springer, Heidelberg (1991)
Nute, D., Cross, C.B.: Conditional logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 4, pp. 1–98. Kluwer Academic Publishers, Dordrecht (2002)
Pearl, J.: Probabilistic semantics for nonmonotonic reasoning: A survey. In: Shafer, G., Pearl, J. (eds.) Readings in uncertain reasoning, pp. 699–710. Morgan Kaufmann, San Mateo (1989)
Snow, P.: The emergence of ordered belief from initial ignorance. In: Proceedings AAAI 1994, Seattle, WA, pp. 281–286 (1994)
Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, II, pp. 105–134. Kluwer Academic Publishers, Dordrecht (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beierle, C., Kern-Isberner, G. (2003). A Logical Study on Qualitative Default Reasoning with Probabilities. In: Vardi, M.Y., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2003. Lecture Notes in Computer Science(), vol 2850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39813-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-39813-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20101-4
Online ISBN: 978-3-540-39813-4
eBook Packages: Springer Book Archive