Testing the integrity of non-monotonic knowledge bases containing semi-normal defaults

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2004

Volumn 1, Issue , 2004, Pages 349-354

  Zlatareva, Neli P ^a  

^a CENTRAL CONNECTICUT STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRITY TEST; LOGICAL PROCEDURE; NON-MONOTONIC KNOWLEDGE BASES; SEMI-NORMAL DEFAULTS;

COMPUTER PROGRAMMING; CONSTRAINT THEORY; ERROR ANALYSIS; INFERENCE ENGINES; LOGIC PROGRAMMING; OPTIMIZATION;

KNOWLEDGE BASED SYSTEMS;

EID: 10044267858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Antoniou, G. 1995. Integrity and rule checking in non-monotonic knowledge bases. In Working Notes of IJCAI'95 Verification and Validation of Knowledge-Based Systems Workshop, Montreal, Canada.
2. Coenen, F.P., Bench-Capon, T., Boswell, R., Dibie-Barthelemy, J., Eaglestone, B., Gerrits, R., Gregoire, E., Ligeza, A. Laita, L., Owoc, M., Sellini, F., Spreeuwenberg, S., Vanthienen, J., Vermesan, A. and Wiratunga, N. 2000. Validation and Verification of Knowledge-based systems: report on EUROVAV99. Knowledge Engineering Review, Vol. 5, No 2.
3. Doyle, J. 1979. Truth Maintenance Systems. Artificial Intelligence, Vol. 12, North Holland.
4. Levy, A. and Rousset M.-Ch. 1996. Verification of Knowledge Bases based on Containment Checking. In Proceedings of ECAI'96 Validation, Verification and Refinement of KBS Workshop, Budapest, Hungary.
5. th International Workshop on Non-Monotonic Reasoning, 2000. Breckenridge, Colorado, April 9-11.
6. Shiu, S., J. Liu and Yeung D. 1996 An Approach towards the Verification of Hybrid Rule/Frame-based Expert Systems using Coloured Petri Nets. In Proceedings of ECAI'96 Validation, Verification and Refinement of KBS Workshop, Budapest, Hungary.
7. Wei-Tek T., Vishnuvajjala R., and Zhang D. 1999. Verification and Validation of Knowledge-Based Systems. IEEE Trans. of Knowledge and Data Engineering, Vol. 11, No. 1.
8. Zlatareva, N., and Preece A. 1994. An Effective Logical Framework for Knowledge-Based Systems Verification. International Journal of Expert Systems: Research and Applications, Vol. 7, No 3.
9. Zlatareva, N. 1997. Verification of non-monotonic knowledge bases. Decision Support Systems, Vol. 21, Elsevier Publ.