Model-based verification of knowledge-based systems: A case study

IEE Proceedings: Software

Volumn 147, Issue 5, 2000, Pages 163-167

  Marcos, M ^a   Del Pobil, A P ^a   Moisan, S ^a  

^a UNIVERSITAT JAUME I   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE ENGINEERING; PROBLEM SOLVING; SOFTWARE ENGINEERING;

CLASSICAL PLANNING SYSTEMS;

KNOWLEDGE BASED SYSTEMS;

EID: 0034290327     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20000896     Document Type: Article

References (16)

1. MESEGUER, P PREECE, A.D. Verification and validation of knowledge-based systems with formal specifications', Knowl. Eng. Rev., 1995, 10, (4), pp. 331-343
2. PREECE, A.D SHINGHAL, R. Verifying knowledge bases by anomaly detection: An experience report'. In Proc. Tenth European Conference on Artificial intelligence ECAI-92, August 1992, Vienna, Austria, John Wiley & Sons, pp. 835-839
3. PREECE, A.D SHINGHAL, R. Foundation and application of knowledge base verification', /;;J. J. Intel!. Syst., I994, 9, pp. 683-701
4. VAN HARMELEN, F ADEN, M. Applying rule-base anomalies to KADS inference structures'. In Proc. Workshop on Verification anil validation of knowledge-based systems. Fourteenth International Joint Conference on Artificial intelligence IJCAI-95, August 1995, Montreal, Canada, pp. 35-41
5. MARCOS, M., MOISAN, S DEL POBIL, A.P. A model-based approach to the verification of program supervision systems'. In Proc. European Symposium on the Verification and validation of knowledge based systems EUROVAV-97, June 1997, Leuven, Belgium, Katholicke Universiteit Leuven, pp. 231-241
6. SCHREIBER, G., WIELINGA, B., DE HOOG, R., AKKERMANS, H VAN DE VELDE, W CommonKADS: A comprehensive methodology for KBS development', IEEE Expert, 1994, 9, (6), pp. 28-37
7. VALENTE, A. Knowledge-level analysis of planning systems', SIGART Bull., 1994, 6, (1), pp. 33 I
8. RÜSSEL, S NORVIG, P. Artificial intelligence. A modem approach' (Prentice Hall, 1995)
9. NUNES, D.E., BARROS, L., VALENTE, A BENJAMINS, R. Modeling planning tasks'. In Proc. Third International Conference on Artificial intelligence planning systems AIPS-96, May 1996, Edinburgh, Scotland
10. MARCOS, M., MOISAN, S DEL POBIL, A.P. Knowledge modeling of program supervision task'. In Proc. Eleventh International Conference on Industrial and engineering applications of artificial intelligence and expert systems IEA-98-AIE number 1415 in Lecture Notes in Artificial intelligence, June 1998, Benicàssim, Spain, SpringerVerlac, pp. 124-133
11. MARIOS, M., MOISAN, S DEL POBIL, A.P. Knowledge modeling of program supervision task and its application to knowledge base verification', Appl. Intel!., 1999, 10, (2/3), pp. 185-196
12. DAVID, J.M., KRIVINE, J.P SIMMONS, R. Second generation expert systems chapter Second generation expert systems: A step forward in knowledge engineering' (Springer-Verlag, I993) pp. 3-23
13. USCHOLD, M. Knowledge level modelling: Concepts and terminology', Kiion-1. Eng. Rev.. 1998, 13, (1), pp. 5-~29
14. CHIEN, S. Static and completion analysis for planning knowledge base development and verification'. In Proc. Third International Conference on Artificial intelligence planning systems AIPS-96, May 1996, Edinburgh, Scotland
15. DUFTSCHMID, G., MIKSCH, S., SHAHAR, Y JOHNSON, P. Multi-level verification of clinical protocols'. In Proc. Workshop on Validation and verification of knowledge-based systems, Sixth International Conference on Principles of knowledge representation and reasoning KR-98, June 1998, Trento, Italy
16. MARCOS, M. Verification and validation of knowledge-based program supervision systems'. PhD thesis, Universität Jaunie I, Castellan, Spain, 1999