Applying rule-base anomalies to KADS inference structures

Preece, 1940, Foundation and application of knowledge base verification, Int. J. Intelligent Syst., 9, 683, 10.1002/int.4550090804 Suwa, 1982, An approach to verifying completeness and consistency in a rule-based expert system, AI Magazine, 3, 16 T.A. Nguyen, W.A. Perkins, T.J. Laffey, Checking an expert systems knowledge base for consistency and completeness, IJCAI-85, 1985, pp. 375–378. A. Ginsberg, Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, Proceedings of the 7th National Conference on Artificial Intelligence AAAI'88, 1988, pp. 585–589. Chang, 1990, A report on the expert systems validation associate (eva), Expert Syst. Appl., 1, 217, 10.1016/0957-4174(90)90003-D B.J. Wielinga, A.Th. Schreiber, J.A. Breuker, Modelling expertise, In: A.Th. Schreiber, B.J. Wielinga, J.A. Breuker (Eds.), KADS: A Principled Approach to Knowledge-based System Development, Academic Press, London, 1993, pp. 21–46. Fensel, 1994, A comparison of languages which operationalise and formalise KADS models of expertise, Knowledge Eng. Rev., 9, 105, 10.1017/S0269888900006767 M. Aben, Formal methods in knowledge engineering, PhD thesis, University of Amsterdam, Faculty of Psychology, ISBN 90-5470-028-9, February 1995. Schreiber, 1992, The KADS approach to knowledge engineering, Knowledge Acquisition, 4, 1, 10.1016/1042-8143(92)90012-P F. van Harmelen, J.R. Balder, (ML)2: a formal language for KADS models of expertise, Knowledge Acquisition, 4 (1) 1992. Special issue: the KADS approach to knowledge engineering, reprinted in KADS: a principled approach to knowledge-based system development, In: A.Th. Schreiber, et al. (Eds.), 1993. Larsen, 1993, A formal semantics of data-flow diagrams, Formal Aspects of Computing, 3, 1