Verification of non-monotonic knowledge bases

Decision Support Systems

Volumn 21, Issue 4, 1997, Pages 253-261

  Zlatareva, Neli P ^a  

^a CENTRAL CONNECTICUT STATE UNIVERSITY   (United States)

Author keywords

Anomaly detection; Default reasoning; Expert systems; Knowledge based systems; Non monotonic theories; Performance evaluation; Quality assurance; Testing; Truth maintenance systems; Validation; Verification

Indexed keywords

COMPUTATIONAL LINGUISTICS; DECISION SUPPORT SYSTEMS; ERROR ANALYSIS; QUALITY ASSURANCE;

ANOMALY DETECTION; DEFAULT REASONING; DISTRIBUTED VERIFICATION METHODS; NON MONOTONIC THEORY; TRUTH MAINTENANCE SYSTEMS;

KNOWLEDGE BASED SYSTEMS;

EID: 0031382304     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-9236(97)00044-4     Document Type: Article

References (19)

1. G. Antoniou, Verification and correctness issues for non-monotonic knowledge bases, in: Proc. European Symposium on the Validation and Verification of Knowledge-Based Systems (Eurovav-95), 1995, pp. 141-153.
2. C.L. Chang, R.A. Stachowitz, J.B. Combs, Validation of nonmonotonic knowledge-based systems, in: A. Dollas, W.T. Tsai, N.G. Bourbakis (Eds.), Proc. 2nd International Conference on Tools for Artificial Intelligence (TAI-90), 1990, pp. 776-782.
3. J. de Kleer, An assumption-based TMS, Artificial Intelligence (Netherlands) 28 (2) (1986) 127-162.
4. J. Doyle, A truth maintenance system, Artificial Intelligence (Netherlands) 12 (1979) 231-272.
5. D. Etherington, Reasoning with incomplete information. Research Notes in Artificial Intelligence, Pitman Publ., 1988.
6. R. Fikes, T. Kehler, The role of frame-based representation in reasoning, Communications of the ACM 28 (9) (1985) 904-920.
7. R.E. Filman, Reasoning with worlds and truth maintenance in a knowledge-based programming environment, Communications of the ACM (US) 31 (4) (1988) 382-401.
8. A. Ginsberg, Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, in: Proc. 7th National Conference on Artificial Intelligence (AAAI 88), Vol. 2, 1988, pp. 585-589.
9. J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence (Netherlands) 28 (1986) 89-116.
10. T.M. Mitchell, R.M. Keller, S.T. Kedar-Cabelli, Explanation-based generalisation: a unifying view, Machine Learning (Netherlands) 1 (1986) 47-80.
11. S. Rajamoney, G. DeJong, The classification, detection and handling of imperfect theory problems, in: Proc. AAAI 1988, 1988, pp. 205-207.
12. R. Reiter, A logic for default reasoning, Artificial Intelligence (Netherlands) 13 (1980) 81-132.
13. R. Reiter, G. Criscuolo, On interacting defaults, in: Proc. International Joint Conferences on Artificial Intelligence (IJCAI'81), 1981, pp. 270-275.
14. M.-C. Rousset, On the consistency of knowledge bases: the COVADIS system. Computational Intelligence (Canada), 4 (2) 1988, pp. 166-170. Also in: ECAI 88, Proc. European Conference on AI, Munich, August 1-5, 1988, pp. 79-84.
15. M.-C. Rousset, On the consistency of knowledge bases: the COVADIS system. Computational Intelligence (Canada), 4 (2) 1988, pp. 166-170. Also in: ECAI 88, Proc. European Conference on AI, Munich, August 1-5, 1988, pp. 79-84.
16. D. Touretzky, The Mathematics of Inheritance. Research Notes in Artificial Intelligence, Pitman Publ., 1986.
17. N. Zlatareva, Distributed verification: a new formal approach for verifying knowledge-based systems, in: J. Liebowitz (Ed.), Expert Systems World Congress Proceedings, Vol. 2, 1991, Pergamon Press, New York, pp. 1021-1029.
18. N. Zlatareva, CTMS: a general framework for plausible reasoning, Int. J. Expert Syst.: Res. Appl. 5 (4) (1992) 229-247.
19. N. Zlatareva, A. Preece, An effective logical framework for knowledge-based systems verification, Int. J. Expert Syst.: Res. Appl. 7 (3) (1994) 239-260.