Multistrategy learning and theory revision
- 220 Downloads
- 3 Citations
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.
Keywords
Multistrategy learning causal models abduction diagnostic expert systemsReferences
- 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.Google Scholar
- Bergadano, F., Giordana, A. & Saitta, L. (1988). Automated concept acquisition in noisy environment.IEEE Transactions PAMI, PAMI-10, 555–575.Google Scholar
- Bergadano, F. & Giordana, A. (1988). A knowledge intensive approach to concept induction.Proceedings of the Machine Learning Conference (pp. 305–317). Ann Arbor, MI.Google Scholar
- Bergadano, F., Giordana, A. & Ponsero, S. (1989). Deduction in top-down inductive learning.Proceedings of the Machine Learning Conference (pp. 23–25). Ithaca, NY.Google Scholar
- 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.Google Scholar
- Botta, M. & Saitta, L. (1988). Improving knowledge base system performances by experience.Proceedings of the EWSL-88 (pp. 15–23). Glasgow, UK.Google Scholar
- 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.Google Scholar
- Cestnik, B. & Bratko, I. (1988). Learning redundant rules in noisy domains.Proceedings of the ECAI-88 (pp. 348–350). Munich, Germany.Google Scholar
- Chandrasekaran, B. & Mittal, S. (1983). Deep versus compiled knowledge approaches to diagnostic problem-solving.International Journal of Man-Machine Studies, 19, 425–436.Google Scholar
- Clark, K. (1978). Negation as failure. In H. Gallaire & J. Minker (Eds.),Logic and data bases. Plenum Press, New York, NY.Google Scholar
- 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.Google Scholar
- Cox, P.T. & Pictrzykowski, T. (1987). General diagnosis by abductive inference.Proceedings of the IEEE Symposium on Logic Programming (pp. 183–189).Google Scholar
- 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.Google Scholar
- Davis, R. (1984). Diagnostic reasoning based on structure and behavior.Artificial Intelligence, 24, 347–410.Google Scholar
- DeJong, G. & Mooney, R. (1986). Explanation based learning: An alternative view.Machine Learning, 1, 47–80.Google Scholar
- DeJong, G. (1990). Plausible inference vs. abduction.Proceedings of the AAAI Symposium on Automated Abduction (pp. 48–51). Stanford, CA.Google Scholar
- de Kleer, J. & Seely Brown, J. (1986). Theories of causal ordering.Artificial Intelligence, 29, 33–61.Google Scholar
- 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.Google Scholar
- Genesereth, M. (1984). The use of design descriptions in automated diagnosis.Artificial Intelligence, 24, 411–436.Google Scholar
- 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).Google Scholar
- Hirsh, H. (1988). Reasoning about operationality for explanation-based learning.Proceedings of the Machine Learning Conference (pp. 214–220). Ann Arbor, MI.Google Scholar
- Kahn, G. (1984). On when diagnostic systems want to do without causal knowledge.Advances in Artificial Intelligence, (pp. 21–30).Google Scholar
- Keller, R. (1988). Defining operationality for EBL.Artificial Intelligence, 35, 227–242.Google Scholar
- 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.)Google Scholar
- Lebowitz, M. (1986). Integrated learning: Controlling explanation.Cognitive Science, 10, 219–240.Google Scholar
- 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.)Google Scholar
- Michalski, R. (1983). A theory and methodology of inductive learning.Artificial Intelligence, 20, 111–161.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- Mitchell, T. (1982). Generalization as search.Artificial Intelligence, 18, 203–226.Google Scholar
- Mitchell, T., Keller, R. & Kedar-Cabelli, S. (1986). Explanation based generalization.Machine Learning, 1, 47–80.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- Poole, D. (1988. Representing knowledge for logic-based diagnosis.Proceedings of the International Conference on Fifth Generation Computer Systems (pp. 1282–1290). Tokyo, Japan.Google Scholar
- Quinlan, R. (1986). Induction of decision trees.Machine Learning, 1, 81–106.Google Scholar
- Reiter, R. (1984). A theory of diagnosis from first principles.Artificial Intelligence, 32, 57–95.Google Scholar
- Robinson, J.A. & Siebert, E.E. (1982). LOGLISP: An alternative to Prolog.Machine Intelligence, 10, 399–419.Google Scholar
- 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.Google Scholar
- Segre, A.M. (1987). On the operationality/generality trade-off in explanation-based learning.Proceedings of the IJCAI-87 (pp. 242–248). Milan, Italy.Google Scholar
- Tecuci, G. (1991). Learning as understanding the external world.Proceedings of the First International Workshop on Multistrategy Learning (pp. 49–64). Harpers Ferry, WV.Google Scholar
- Torasso, P. & Console, L. (1989).Diagnostic problem solving. Van Nostrand Reinhold, New York, NY.Google Scholar