Abstract
This article presents the system WHY, which learns and updates a diagnostic knowledge base using domain knowledge and a set of examples. The a priori knowledge consists of a causal model of the domain that states the relationships among basic phenomena, and a body of phenomenological theory that describes the links between abstract concepts and their possible manifestations in the world. The phenomenological knowledge is used deductively, the causal model is used abductively, and the examples are used inductively. The problems of imperfection and intractability of the theory are handled by allowing the system to make assumptions during its reasoning. In this way, robust knowledge can be learned with limited complexity and a small number of examples. The system works in a first-order logic environment and has been applied in a real domain.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Baroglio, C., Botta, M. & Saitta, L. (1992). WHY: A system that learns using causal models and examples. In R. Michalski & G. Tecuci (Eds.), Machine learning: A multistrategy approach. Morgan Kaufmann.
Bergadano, F., Giordana, A. & Saitta, L. (1988). Automated concept acquisition in noisy environment.IEEE Transactions PAMI, PAMI-10, 555–575.
Bergadano, F. & Giordana, A. (1988). A knowledge intensive approach to concept induction.Proceedings of the Machine Learning Conference (pp. 305–317). Ann Arbor, MI.
Bergadano, F., Giordana, A. & Ponsero, S. (1989). Deduction in top-down inductive learning.Proceedings of the Machine Learning Conference (pp. 23–25). Ithaca, NY.
Bergadano, F., Giordana, A. & Saitta, L. (1990). Automated versus manual knowledge acquisition: a comparison in a real domain.Proceedings of the First Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop (pp. 301–314). Tokyo, Japan.
Botta, M. & Saitta, L. (1988). Improving knowledge base system performances by experience.Proceedings of the EWSL-88 (pp. 15–23). Glasgow, UK.
Botta, M., Giordana, A. & Saitta, L. (1990). Knowledge base refinement using a causal model. In Z. Ras & M. Zemankova (Eds.),Intelligent systems: State of the art and future trends, Ellis-Horwood, Chichester, U.K.
Cestnik, B. & Bratko, I. (1988). Learning redundant rules in noisy domains.Proceedings of the ECAI-88 (pp. 348–350). Munich, Germany.
Chandrasekaran, B. & Mittal, S. (1983). Deep versus compiled knowledge approaches to diagnostic problem-solving.International Journal of Man-Machine Studies, 19, 425–436.
Clark, K. (1978). Negation as failure. In H. Gallaire & J. Minker (Eds.),Logic and data bases. Plenum Press, New York, NY.
Console, L., Torasso, P. & Theseider Dupré, D. (1990). A completion semantics for object-level abduction.Proceedings of the AAAI Symposium on Automated Abduction (pp. 72–75). Stanford, CA.
Cox, P.T. & Pictrzykowski, T. (1987). General diagnosis by abductive inference.Proceedings of the IEEE Symposium on Logic Programming (pp. 183–189).
Danyluk, A. (1991). Gemini: An integration of analytical and empirical learning.Proceedings of the First International Workshop on Multistrategy Learning (pp. 191–206). Harpers Ferry, WV.
Davis, R. (1984). Diagnostic reasoning based on structure and behavior.Artificial Intelligence, 24, 347–410.
DeJong, G. & Mooney, R. (1986). Explanation based learning: An alternative view.Machine Learning, 1, 47–80.
DeJong, G. (1990). Plausible inference vs. abduction.Proceedings of the AAAI Symposium on Automated Abduction (pp. 48–51). Stanford, CA.
de Kleer, J. & Seely Brown, J. (1986). Theories of causal ordering.Artificial Intelligence, 29, 33–61.
De Raedt, L. & Bruynooghe, M. (1991). CLINT: a multistrategy interactive concept learner and theory revision system.Proceedings of the First International Workshop on Multistrategy Learning (pp. 175–190). Harpers Ferry, WV.
Genesereth, M. (1984). The use of design descriptions in automated diagnosis.Artificial Intelligence, 24, 411–436.
Giordana, A., Saitta, L., Bergadano, F., Brancadori, F. & DeMarchi, D. (1993). ENIGMA: A system that learns diagnostic knowledge.IEEE Trans. on Knowledge and Data Engineering, 5 (1).
Hirsh, H. (1988). Reasoning about operationality for explanation-based learning.Proceedings of the Machine Learning Conference (pp. 214–220). Ann Arbor, MI.
Kahn, G. (1984). On when diagnostic systems want to do without causal knowledge.Advances in Artificial Intelligence, (pp. 21–30).
Keller, R. (1988). Defining operationality for EBL.Artificial Intelligence, 35, 227–242.
Kodratoff, Y. (1991). Induction and the organization of knowledge.Proceedings of the First International Workshop on Multistrategy Learning (pp. 34–48). Harpers Ferry, WV. (See also this issue.)
Lebowitz, M. (1986). Integrated learning: Controlling explanation.Cognitive Science, 10, 219–240.
Matwin, S. & Plante, B. (1991). A deductive-inductive method for theory revision.Proceedings of the International Workshop on Multistrategy Learning (pp. 160–174). Harpers Ferry, WV. (See also this issue.)
Michalski, R. (1983). A theory and methodology of inductive learning.Artificial Intelligence, 20, 111–161.
Michalski, R. (1991). Inferential learning theory as a basis for multistrategy task-adaptive learning.Proceedings of the First International Workshop on Multistrategy Learning (pp. 3–18). Harpers Ferry, WV.
Michalski, R.S. & Chilausky, R.L. (1991). Learning by being told and learning from examples: an experimental comparison of the two methods of knowledge acquisition in the context of developing an expert system for soybean disease diagnosis.International Journal of Policy Analysis and Information Systems, 4, 125–126.
Mitchell, T. (1982). Generalization as search.Artificial Intelligence, 18, 203–226.
Mitchell, T., Keller, R. & Kedar-Cabelli, S. (1986). Explanation based generalization.Machine Learning, 1, 47–80.
Mooney, R.J. & Ourston, D. (1991). A multistrategy approach to theory refinement.Proceedings of the First International Workshop on Multistrategy Learning (pp. 115–131). Harpers Ferry, WV.
Morris, S. & O'Rorke, P. (1990). An approach to theory revision using abduction.Proceedings of the AAAI Symposium on Automated Abduction (pp. 33–37). Standford, CA.
Pazzani, M.J. (1988). Integrating explanation-based and empirical learning methods in OCCAM.Proceedings of the European Working Session on Learning (pp. 147–165). Glasgow, UK.
Poole, D. (1988. Representing knowledge for logic-based diagnosis.Proceedings of the International Conference on Fifth Generation Computer Systems (pp. 1282–1290). Tokyo, Japan.
Quinlan, R. (1986). Induction of decision trees.Machine Learning, 1, 81–106.
Reiter, R. (1984). A theory of diagnosis from first principles.Artificial Intelligence, 32, 57–95.
Robinson, J.A. & Siebert, E.E. (1982). LOGLISP: An alternative to Prolog.Machine Intelligence, 10, 399–419.
Saitta, L., Botta, M., Ravotto, S. & Sperotto, S.B. (1991). Improving learning by using deep models.Proceedings of the First International Workshop on Multistrategy Learning (pp. 131–143). Harpers Ferry, WV.
Segre, A.M. (1987). On the operationality/generality trade-off in explanation-based learning.Proceedings of the IJCAI-87 (pp. 242–248). Milan, Italy.
Tecuci, G. (1991). Learning as understanding the external world.Proceedings of the First International Workshop on Multistrategy Learning (pp. 49–64). Harpers Ferry, WV.
Torasso, P. & Console, L. (1989).Diagnostic problem solving. Van Nostrand Reinhold, New York, NY.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Saitta, L., Botta, M. & Neri, F. Multistrategy learning and theory revision. Mach Learn 11, 153–172 (1993). https://doi.org/10.1007/BF00993075
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00993075