Abstract
This paper embeds default logic into an extension of Adams' probability logic, called the system P +∈ DP. Default reasoning is furnished with two mechanisms: one generates (ir)relevance assumptions, and the other propagates lower probability bounds. Together both mechanisms make default reasoning probabilistically reliable. There is an exact correspondence between Poole-extensions and P +∈ DP-extensions. The procedure for P +∈ DP-entailment is comparable in complexity with Poole's procedure.
I am indebted to Ernest Adams for various help.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
E. W. Adams. The Logic of Conditionals. Reidel, Dordrecht, 1975.
E. W. Adams. On the logic of high probability. Journal of Philosophical Logic, 15:255–279, 1986.
F. Bacchus. Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, Mass., 1990.
G. Brewka. Nonmonotonic Reasoning. The Logic of Commonsense. Cambridge University Press, 1991.
R. Carnap. Logical Foundations of Probability. University of Chicago Press, second edition, 1962.
J.P. Delgrande. An approach to default reaoning based on a first-order conditional logic: revised report. Artificial Intelligence, 36:63–90, 1988.
A.M. Frisch and P. Haddawy. Anytime deduction for probabilistic logic. Artificial Intelligence, 69:93–122, 1994.
H. Geffner and J. Pearl. A framework for reasoning with defaults. In H.E. Kyburg et al., editors, Knowledge Representation and Defeasible Reasoning, pages 69–87. Kluwer, The Netherlands, 1990.
M. Goldszmidt and J. Pearl. Qualitative probabilities for default reasoning, belief revision and causal modeling. Artificial Intelligence, 84:57–112, 1996.
D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1–60, 1992.
A. Y. Levy and Y. Sagiv. Exploiting irrelevance reasoning to guide problem solving. In Proceedings IJCAI-93, pages 138–144, Santa Mateo, 1993.
J. Pearl. Fusion, propagation, and structuring in belief networks. Artificial Intelligence, 29:241–288, 1986.
J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA, 1988.
D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27–47, 1988.
D. Poole. Compiling a default reasoning system into prolog. New Generation Computing, 9:3–38, 1991.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.
G. Schurz. Probabilistic justification of default reasoning. In B. Nebel and L. Dreschler-Fischer, editors, KI-94: Advances in Artificial Intelligence, pages 248–259. Springer, Berlin, 1994.
G. Schurz. Research note: an examination of Delgrande's conditional default logic. IPS preprints 1/97, University of Salzburg, 1997.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schurz, G. (1997). Probabilistic default logic based on irrelevance and relevance assumptions. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035647
Download citation
DOI: https://doi.org/10.1007/BFb0035647
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive