On the verification of an expert system: Practical issues

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2358, Issue , 2002, Pages 414-424

  Santos, Jorge ^a   Vale, Zita ^a   Ramos, Carlos ^a  

^a INSTITUTO SUPERIOR DE ENGENHARIA DO PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; EXPERT SYSTEMS;

CRITICAL DOMAIN; DYNAMIC ENVIRONMENTS; INCIDENT ANALYSIS; POWER RESTORATION; PRACTICAL ISSUES; SOFTWARE REQUIREMENTS SPECIFICATIONS; TEMPORAL KNOWLEDGE; VERIFICATION-AND-VALIDATION;

VERIFICATION;

EID: 23044533017     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48035-8_41     Document Type: Conference Paper

References (15)

1. O. Garcia and Y. Chien - "Knowledge-Based Systems: Fundamentals and Tools", IEEE Computer Society Press, 1991
2. T. Menzies-"Knowledge Maintenance: The State of the Art, The Knowledge", Engineering Review, 1998
3. T. Hoppe and P. Meseguer. "On the terminology of VVT", Proc. European Workshop on the Verification and Validation of Knowledge-Based Systems, Logica Cambridge, 3-13, Cambridge, 1991
4. B. Boehm, "Verifying and validating software requirements and design specifications", IEEE Software, 1(1), 1984
5. A. Preece and R. Shinghal "Foundation and Application of Knowledge Base Verification", Intelligence Systems, 9:683-701, 1994
6. Z. Vale, A. Moura, M. Fernandes and A. Marques, "SPARSE - An Expert System for Alarm Processing and Operator Assistance in Substations Control Centers", ACM (Association for Computing Machinery) Press, Applied Computing Review, 2(2):18-26, December 1994
7. J. Santos, L. Faria, C. Ramos, Z. Vale and A. Marques - "VERITAS-A Verification Tool for Real-time Applications in Power System Control Centers". Proc. 12th International Florida AI Research Society (FLAIRS’99). Eds. AAAI Press, 511-515. Orlando, 1999
8. A. Ginsberg ". A new approach to checking knowledge bases for inconsistency and redundancy", Proc. 3rd Annual Expert Systems in Government Conference, IEEE Computer Society, Washington D. C", pp. 102-111, October, 1987
9. A. Preece. "Towards a methodology for evaluating expert systems", Expert Systems (UK), 7(4), 215-223, November 1990
10. M. Rousset. "On the consistency of knowledge bases: the COVADIS system", Proceedings of European Conference on Artificial Intelligence, pp. 79-84, Munchen, 1988
11. L. Vila ". A Survey on Temporal Reasoning in Artificial Intelligence", AI Communications, 7:4-28, March 1994
12. "Spatial and Temporal Reasoning", Eds Oliviero Stock, Kluwer Academic Publishers, 1997
13. M. Ramaswary and S. Sarkar ". Global Verification of Knowledge Based Systems via Local Verification of Partitions", Proc. 4th European Symposium on the Validation and Verification of Knowledge Based Systems (Eurovav. 97), 145-154. Leuven, Belgium, 1997
14. J. Kleer ". An assumption-based TMS", Artificial Intelligence (Holland), 28(2), 127-162, 1986
15. A. Preece, R. Shinghal, and A. Batarekh "Verifying expert systems: a logical framework and a practical tool. Expert Systems with Applications, 5(2):421-436, 1992