Abstract
In orders to deal with uncertainty by systematical methodologies, some structural models combining probability theory with logic systems have been proposed. However, these models used only the formal language part of the underlying logic system to represent empirical knowledge of target domains, but not asked the logical consequence theory part of the underlying logic system to reason about empirical theorems that are logically implied in domain knowledge. As the first step to establish a unifying framework to support uncertainty reasoning, this paper proposes a new framework that extends and formalizes traditional Bayesian networks by combining Bayesian networks with strong relevant logic. The most intrinsic feature of the framework is that it provides a formal system for representing and reasoning about generalized Bayesian networks, and therefore, within the framework, for given empirical knowledge in a specific target domain, one can reason out those new empirical theorems that are certainly relevant to given empirical knowledge. As a result, using an automated forward reasoning engine based on strong relevant logic, it is possible to get Bayesian networks semi-automatically.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann (1988)
Pearl, J.: Causality: Models, Reasoning, and Inference, 2nd edn. Cambridge University Press (2009)
Haenni, R., Romeijn, J.W., Wheeler, G., Williamson, J.: Probabilistic Logics and Probabilistic Networks. Springer (2010)
Fierens, D., Blockeel, H., Bruynooghe, M., Ramon, J.: Logical Bayesian Networks and Their Relation to other Probabilistic Logical Models. In: Kramer, S., Pfahringer, B. (eds.) ILP 2005. LNCS (LNAI), vol. 3625, pp. 121–135. Springer, Heidelberg (2005)
Kersting, K., Raedt, L.D.: Bayesian Logic Programs. Technical Report 151, Institute for Computer Science, University of Freiburg, Germany (2001)
Fierens, D., Blockeel, H., Bruynooghe, M., Ramon, J.: Logical Bayesian Networks. In: Proceedings of the 3rd Workshop on Multi-Relational Data Mining (MRDM 2004), pp. 19–30 (2004)
Cheng, J.: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. In: Information Modeling and Knowledge Bases XI. Frontiers in Artificial Intelligence and Applications, vol. 61, pp. 136–159. IOS Press (2000)
Cheng, J.: Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. In: Information Modeling and Knowledge Bases XVII. Frontiers in Artificial Intelligence and Applications, vol. 136, pp. 310–320. IOS Press (2006)
Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press (1975)
Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. II. Princeton University Press (1992)
Dunn, J.M., Restall, G.: Relevance Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 6, pp. 1–128. Kluwer Academic (2002)
Mares, E.D.: Relevant Logic: A Philosophical Interpretation. Cambridge University Press (2004)
Cheng, J., Nara, S., Goto, Y.: FreeEnCal: A Forward Reasoning Engine with General-Purpose. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 444–452. Springer, Heidelberg (2007)
Poole, D.: The Independent Choice Logic for modeling multiple agents under uncertainty. Artificial Intelligence 94(1-2), 5–56 (1997)
Sato, T., Kameya, Y.: PRISM: A symbolic-statistical modeling language. In: Proceeding of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 1330–1335 (1997)
Cussens, J.: Parameter estimation in stochastic logic programs. Machine Learning 44(3), 245–271 (2001)
Borgelt, C., Gebhardt, J., Kruse, R.: Graphical models. In: Proceedings of International School for the Synthesis of Expert Knowledge, Citeseer (2002)
Friedman, N., Getoor, L., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), pp. 1300–1309 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhao, J., Liu, Y., Cheng, J. (2013). Extending and Formalizing Bayesian Networks by Strong Relevant Logic. In: Selamat, A., Nguyen, N.T., Haron, H. (eds) Intelligent Information and Database Systems. ACIIDS 2013. Lecture Notes in Computer Science(), vol 7802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36546-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-36546-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36545-4
Online ISBN: 978-3-642-36546-1
eBook Packages: Computer ScienceComputer Science (R0)