Abstract
There are several approaches implementing reasoning based on conditional knowledge bases, one of the most popular being System Z (Pearl, Proceedings of the 3rd conference on theoretical aspects of reasoning about knowledge, TARK ’90, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 121–135, 1990). We look at ranking functions (Spohn, The Laws of Belief: Ranking Theory and Its Philosophical Applications, Oxford University Press, Oxford, 2012) in general, conditional structures and c-representations (Kern-Isberner, Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents, vol. 2087 of LNCS, Springer, Berlin, 2001) in order to examine the reasoning strength of the different approaches by learning which of the known calculi of nonmonotonic reasoning (System P and R) and Direct Inference are applicable to these inference relations. Furthermore we use the recently proposed Enforcement-postulate (Kern-Isberner and Krümpelmann, Proceedings of the 22nd international joint conference on artificial intelligence, vol. 2, IJCAI’11, AAAI Press, pp. 937–942, 2011) to show dependencies between these approaches.
Similar content being viewed by others
References
Adams, E. W., The Logic of Conditionals, D. Reidel, Dordrecht, 1975.
Arló-Costa H., R. Parikh.: Conditional probability and defeasible inference. Journal of Philosophical Logic. 34(1), 97–113 (2005)
Benferhat, S., J. Bonnefon, and R. Neves, An overview of possibilistic handling of default reasoning, with experimental studies, Synthese 146:53–70, 2005.
Benferhat, S., C. Cayrol, D. Dubois, J. Lang, and H. Prade, Inconsistency management and prioritized syntax-based entailment, in Proceedings of the International Joint Conferences on Artificial Intelligence, 1993, pp. 640–647.
De Finetti, B., Theory of Probability, vols. 1, 2, John Wiley & Sons, NY, USA, 1974.
Dubois, D., and H. Prade, Conditional objects as non-monotonic consequence relationships, IEEE Transaction on Systems, Man, and Cybernetics 24(12):1724–1740, 1994.
Gilio, A., and G. Sanfilippo, Conditional random quantities and compounds of conditionals, Studia Logica 102, 2014.
Goldszmidt M., J. Pearl: Qualitative probabilities for default reasoning. belief revision, and causal modeling. Artificial Intelligence 84(1–2), 57–112 (1996)
Kern-Isberner, G., A structural approach to default reasoning, in Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, KR’2002, Morgan Kaufmann, San Francisco, CA, 2002, pp. 147–157.
Kern-Isberner, G., Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents, vol. 2087 of LNCS, Springer, Berlin, 2001.
Kern-Isberner, G., and P. Krümpelmann, A constructive approach to independent and evidence retaining belief revision by general information sets, in Proceedings of the 22nd international joint conference on Artificial Intelligence, vol. 2, IJCAI’11, AAAI Press, 2011, pp. 937–942.
Kraus, S., D. Lehmann, and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence Journal 44(167):167–207, 1990.
Lukasiewicz T.: Weak nonmonotonic probabilistic logics. Artificial Intelligence. 168(1–2), 119–161 (2005)
Makinson, D., General patterns in nonmonotonic reasoning, in D. M. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Oxford University Press, Inc., New York, NY, USA, 1994, pp. 35–110.
Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1988.
Pearl, J., System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning, in Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge (TARK ’90). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1990, pp. 121–135.
Pfeifer, N., Reasoning about uncertain conditionals, Studia Logica 102, 2014.
Pfeifer N., Kleiter G. D: Coherence and nonmonotonicity in human reasoning. Synthese. 146(1–2), 93–109 (2005)
Spohn W.: The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press, Oxford (2012)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kern-Isberner, G., Eichhorn, C. Structural Inference from Conditional Knowledge Bases. Stud Logica 102, 751–769 (2014). https://doi.org/10.1007/s11225-013-9503-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9503-6