Abstract
Probabilistic conditionals are a powerful means for expressing uncertain knowledge. In this paper, we describe a system implemented in Java performing probabilistic reasoning at optimum entropy. It provides nonmonotonic belief change operations like revision and update and supports advanced querying facilities including diagnosis and what-if-analysis.
The research reported here was supported by the Deutsche Forschungsgemeinschaft (grants BE 1700/7-1 and KE 1413/2-1).
This is a preview of subscription content, log in via an institution to check access.
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
Paris, J., Vencovska, A.: In defence of the maximum entropy inference process. International Journal of Approximate Reasoning 17(1), 77–103 (1997)
Kern-Isberner, G.: Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artificial Intelligence 98, 169–208 (1998)
Shore, J.: Relative entropy, probabilistic inference and AI. In: Uncertainty in Artificial Intelligence, pp. 211–215. North-Holland, Amsterdam (1986)
Finthammer, M., Beierle, C., Berger, B., Kern-Isberner, G.: Probabilistic reasoning at optimum entropy with the MEcore system. In: Proceedings 22nd International FLAIRS Conference, FLAIRS 2009. AAAI Press, Menlo Park (2009)
Berger, B.: Realisierung einer Komponente für die Revision probabilistischen Wissens. BSc Thesis, Dep. of Computer Science, FernUniversität Hagen (2008)
Csiszár, I.: I-divergence geometry of probability distributions and minimization problems. Ann. Prob. 3, 146–158 (1975)
Rödder, W., Reucher, E., Kulmann, F.: Features of the expert-system-shell SPIRIT. Logic Journal of the IGPL 14(3), 483–500 (2006)
Teh, Y.W., Welling, M.: On improving the eciency of the iterative proportional fitting procedure. In: Proc. of the Ninth International Workshop on Artificial Intelligence and Statistics, Society for Artificial Intelligence and Statistics (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Finthammer, M., Beierle, C., Berger, B., Kern-Isberner, G. (2009). An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. In: Erdem, E., Lin, F., Schaub, T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2009. Lecture Notes in Computer Science(), vol 5753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04238-6_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-04238-6_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04237-9
Online ISBN: 978-3-642-04238-6
eBook Packages: Computer ScienceComputer Science (R0)