Applying rule-base anomalies to KADS inference structures

Decision Support Systems

Volumn 21, Issue 4, 1997, Pages 271-280

  Van Harmelen, Frank ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Anomalies; Inference structures; Knowledge based systems; Validation; Verification

Indexed keywords

DECISION SUPPORT SYSTEMS; ERROR ANALYSIS; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS;

ANOMALY DETECTIONS; SYSTEM VERIFICATIONS;

KNOWLEDGE BASED SYSTEMS;

EID: 0031363882     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-9236(97)00045-6     Document Type: Article

References (11)

1. A. Preece, R. Shinghal, Foundation and application of knowledge base verification, Int. J. Intelligent Syst. 9 (1940) 683-701.
2. M. Suwa, A. Scott, E. Shortliffe, An approach to verifying completeness and consistency in a rule-based expert system, AI Magazine 3 (4) (1982) 16-21.
3. 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.
4. 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.
5. C. Chang, J. Combs, R. Stachowitz, A report on the expert systems validation associate (eva), Expert Syst. Appl. 1 (3) (1990) 217-230.
6. 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.
7. D. Fensel, F. van Harmelen, A comparison of languages which operationalise and formalise KADS models of expertise, Knowledge Eng. Rev. 9 (1994) 105-146.
8. M. Aben, Formal methods in knowledge engineering, PhD thesis, University of Amsterdam, Faculty of Psychology, ISBN 90-5470-028-9, February 1995.
9. A.Th. Schreiber, The KADS approach to knowledge engineering, Knowledge Acquisition 4 (1) (1992) 1-4, Editorial special issue.
10. 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.
11. P.G. Larsen, N. Plat, H. Toetenel, A formal semantics of data-flow diagrams, Formal Aspects of Computing 3 (1993) 1-21.