Abstract
We present a natural and realistic knowledge acquisition and processing scenario. In the first phase a domain expert identifies deduction rules that he thinks are good indicators of whether a specific target concept is likely to occur. In a second knowledge acquisition phase, a learning algorithm automatically adjusts, corrects and optimizes the deterministic rule hypothesis given by the domain expert by selecting an appropriate subset of the rule hypothesis and by attaching uncertainties to them. Then, in the running phase of the knowledge base we can arbitrarily combine the learned uncertainties of the rules with uncertain factual information.
Formally, we introduce the natural class of disjunctive probabilistic concepts and prove that this class is efficiently distribution-free learnable. The distribution-free learning model of probabilistic concepts was introduced by Kearns and Schapire and generalizes Valiant's probably approximately correct learning model. We show how to simulate the learned concepts in probabilistic knowledge bases which satisfy the laws of axiomatic probability theory. Finally, we combine the rule uncertainties with uncertain facts and prove the correctness of the combination under an independence assumption.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Abadi, M. & Halpern, J.Y. (1989). Decidability and Expressiveness for First-Order Logics of Probability,Proc. 30st IEEE Symp. on Foundations of Computer Science, pp. 148–153.
Brass, S. (1992). Defaults in Deduktiven Datenbanken. Ph.D. thesis, University of Hannover, Germany.
Apt, K.R., Blair, H.A., & Walker, A. (1988). Towards a Theory of Declarative Knowledge. In J. Minker (Ed.),Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann: Los Altos, CA.
Friedland, P. & Kedes, L.H. (1985). Discovering the Secrets of DNA,Communications of the ACM, 28(11), 1164–1186.
Halpern, J.Y. & Rabin, M.O. (1983). A Logic to Reason about Likelihood,Proc. Annual ACM Symp. on the Theory of Computing, pp. 310–319.
Kearns, M.J. (1990).The Computational Complexity of Machine Learning, MIT Press.
Kearns, M.J. & Schapire, R.E. (1990). Efficient Distribution-Free Learning of Probabilistic Concepts,Proc. 31st IEEE Symp. on Foundations of Computer Science, pp. 382–391.
Kolaitis, P.G. (1991). The Experessive Power of Stratified Logic Programs,Information and Computation, 90(1), 50–66.
Li, M. (1990). Towards a DNA Sequencing Theory,Proc. 31st Symp. on Foundations of Computer Science, pp. 125–134.
Muggleton, S. (1990). Inductive Logic Programming,New Generation Computing, 8, 195–318.
Natarajan, B.K. (1991).Machine Learning. A Theoretical Approach, Morgan Kaufmann: San Mateo, CA.
Parzen, E. (1960).Modern Probability Theory and its Applications, Wiley: New York.
Pitt, L. & Valiant, L.G. (1988). Computational Limitations on Learning from Examples,Journal of the ACM, 35(4) 965–984.
Rich, E. (1983). Default Reasoning as Likelihood Reasoning,Proc. National Conf. on Artif. Intell (AAAI), pp. 348–351.
Schäuble, P. & Wüthrich, B. (1993). On the Expressive Power of Query Languages,ACM Transactions on Information Systems. (Forthcoming).
Valiant, L.G. (1984). A Theory of the Learnable,Communications of the ACM, 27(11), 1134–1142.
Valiant, L.G. (1985). Learning Disjunctions of Conjunctions,Proc. Int. Joint Conf. on Artif. Intell (IJCAI), pp. 560–566.
Wüthrich, B. (1991). Large Deductive Databases with Constraints, Ph.D. thesis, Swiss Federal Institute of Technology (ETH) Zurich, Switzerland.
Wüthrich, B. (1992). Probablistic Knowledge Bases, submitted.
Wüthrich, B. (1993). Learning Probabilistic Rules, Tech. Report, No. 93-3, European Computer Industry Research Center (ECRC).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wüthrich, B. On the learning of rule uncertainties and their integration into probabilistic knowledge bases. J Intell Inf Syst 2, 245–264 (1993). https://doi.org/10.1007/BF00962070
Issue Date:
DOI: https://doi.org/10.1007/BF00962070