Structural Inference from Conditional Knowledge Bases

Studia Logica 102 (4):751-769 (2014)

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
Keywords Conditionals  Ranking functions  C-representations  System P  System R  System Z
Categories (categorize this paper)
DOI 10.1007/s11225-013-9503-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,727
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Reasoning About Uncertain Conditionals.Niki Pfeifer - 2014 - Studia Logica 102 (4):849-866.
Conditional Probability and Defeasible Inference.Rohit Parikh - 2005 - Journal of Philosophical Logic 34 (1):97 - 119.

View all 6 references / Add more references

Citations of this work BETA

Ranking Theory and Conditional Reasoning.Niels Skovgaard-Olsen - 2016 - Cognitive Science 40 (4):848-880.

Add more citations

Similar books and articles

Conditional Ranking Revision.Emil Weydert - 2012 - Journal of Philosophical Logic 41 (1):237-271.
A Ranking‐Theoretic Approach to Conditionals.Wolfgang Spohn - 2013 - Cognitive Science 37 (6):1074-1106.
Ranking Functions.Franz Huber - 2009 - In A. Pazos Sierra, J. R. Rabunal Dopico & J. Dorado de la Calle (eds.), Encyclopedia of Artificial Intelligence. Hershey.
Conditionals and Consequences.Gregory Wheeler, Henry E. Kyburg & Choh Man Teng - 2007 - Journal of Applied Logic 5 (4):638-650.
On Mental Probability Logic.Niki Pfeifer - 2006 - Dissertation, Department of Psychology
Reasoning with Conditionals.Guy Politzer - 2007 - Topoi 26 (1):79-95.
Ranking Functions, AGM Style.Wolfgang Spohn - 1999 - Internet Festschrift for Peter Gärdenfors.

Analytics

Added to PP index
2013-09-30

Total views
21 ( #435,152 of 2,280,957 )

Recent downloads (6 months)
1 ( #841,958 of 2,280,957 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature