Validation and verification of knowledge-based systems: Report on EUROVAV99

Knowledge Engineering Review

Volumn 15, Issue 2, 2000, Pages 187-196

  Coenen, Frans ^a   Bench Capon, Trevor ^a   Boswell, Robin ^b   Dibie Barthélemy, Juliette ^c   Eaglestone, Barry ^d   Gerrits, Rik ^e   Grégoire, Eric ^f   Ligȩza, Antoni ^g   Laita, Luis ^h   Owoc, Mieczyslaw ⁱ   Sellini, Florence ^j   Spreeuwenberg, Silvie ^e   Vanthienen, Jan ^k   Vermesan, Anca ^l   Wiratunga, Nirmalie ^b  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b ROBERT GORDON UNIVERSITY   (United Kingdom)

^c UNIVERSITÉ PARIS DAUPHINE   (France)

^d UNIVERSITY OF SHEFFIELD   (United Kingdom)

^e LibRt BV   (Netherlands)

^f UNIVERSITÉ D'ARTOIS   (France)

^g AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

^h UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

ⁱ WROCLAW UNIVERSITY OF ECONOMICS   (Poland)

^j CENTRO RICERCHE FIAT   (Italy)

^k UNIVERSITY OF LEUVEN   (Belgium)

^l DNV GL   (Norway)

more..

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REFINEMENT;

COMPUTER SYSTEMS PROGRAMMING; DATABASE SYSTEMS; KNOWLEDGE ENGINEERING; PROBLEM SOLVING; RESPONSE TIME (COMPUTER SYSTEMS);

KNOWLEDGE BASED SYSTEMS;

EID: 0034205588     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888900002010     Document Type: Article

References (42)

1. Bench-Capon, TJM, Castelli, D, Coenen, FP, Devendeville-Brisoux, L, Eaglestone, B, Fiddian, N, Gray, A, Ligȩza, A and Vermesan, A, 1999. "Validation, verification and integrity issues in expert and database systems" Expert Update 2(1) 31-35.
2. Bench-Capon, T and Jones, D, 1999. "PRONTO: Ontology-based evaluation of knowledge-based systems" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluvver Academic, Utrecht, Netherlands.
3. Boswell, R and Craw, S, 1999. "Organising knowledge refinement operators" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
4. Bouali, F, Loiseau, S and Rousset, M-C, 1997a. "Verification and revision of rules bases" In: Hunt, J and Miles, R, editors Research and Development in Expert Systems XIV, Proceedings of ES97, SGES Publications, pp. 253-276.
5. Bouali, F, Loiseau, S and Rousset, M-C, 1997b. "Revision of rule-bases" Proceedings EUROVAV 97 Katholieke Universiteit Leuven, Belgium, pp 193-203.
6. Coenen, FP and Bench-Capon, TJM, 1993. Maintenance of Knowledge Based Systems: Theory, Tools and Techniques. Academic Press, London.
7. Coenen, F, Eaglestone, B and Ridley, M, 1999. "Validation, verification and integrity in knowledge and data base systems: future directions" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
8. Cook, SA, 1971. "Complexity of theorem-proving procedures" Proceedings of the 3rd Annual ACM Symposium on Theory of Computing pp 151-158.
9. Craw, S, 1998. "Krust works: Developing a generic refinement toolkit" Expert Update 1(2) 35-47.
10. Craw, S and Boswell, R, 1999. "Representing problem-solving for knowledge refinement" Proceedings of the Sixteenth National Conference on Artificial Intelligence in press.
11. Dibie-Barthélemy, J, Haemmerlé, O and Loiseau, S, 1999. "Constraint for validation of conceptual graphs" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
12. Dondossola, G, 1999. "Formal methods for the engineering and certification of safety-critical knowledge based systems" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
13. Dupin de Saint-Cyr, F and Loiseau, S, 1999. "Validation and refinement versus revision" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
14. Fensel, D, 1995. "Formal specification languages in knowledge and software engineering" The Knowledge Engineering Review 9(4).
15. Fensel, D, Motta, E, Decker, S and Zdrahal, Z, 1997. "Using ontologies for defining tasks, problem-solving methods and their mappings" In: Plaza, E and Benjamins, R, editors Knowledge Acquisition, Modeling and Management, Proceedings of the 10th European Workshop (EKAW '97), Sant Feliu de Guixols, Spain. Springer-Verlag, pp 113-128.
16. Garey, MR and Johnson, DS, 1979. Computers and Intractability - A Guide to the Theory ofNP-Completeness. W. H. Freeman and Co., San Francisco.
17. Grégoire, E, 1999, "Progressive instantiation for the logical validation of nonmonotonic KBs" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
18. Gruber, T, 1993. "Toward principles for the design of ontologies used for knowledge sharing" Technical report KSL-93-4, Knowledge Systems Laboratory, Stanford University, Stanford, USA.
19. Guarino, N and Giaretta, P, 1995. "Ontologies and knowledge bases: towards a terminological clarification" In: Mars, NJI, editor Towards Very Large Knowledge Bases. IOS Press.
20. van Harmelen, F and ten Teije, A, 1997. "Validation and verification of conceptual models of diagnosis" Proceedings EUROV AV97, Katholieke Universiteit Leuven, Belgium.
21. van Heijst, G, 1995. The role of ontologies in knowledge engineering, Doctoral Thesis, University of Amsterdam, Amsterdam, Netherlands.
22. Laita, L, Rianes-Lozano, E, Maojo, V and de Ledesma, L, 1999. "Computer algebra based verification and knowledge extraction in RBS: Application to medical fitness criteria" In: Vermesan A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
23. Ligȩza, A, 1999. "Intelligent Data and knowledge analysis and verification: Towards a taxonomy of some specific problems" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
24. Masood, N and Eaglestone, B, 1999. "Ontology-based verification and validation of federated database systems" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
25. Newell, A, 1982. "The knowledge level" Artificial Intelligence 18 87-127.
26. Owoc, M, Ochmańska, M and Gladysz, T, 1999. "On principals of knowledge validation" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
27. Riberio, F, 1999. "Certification and validation of a multistrategy knowledge based system" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
28. Santos, J, Ramos, C, Vale, Z and Marques, A, 1999. "Validation and verification of knowledge-based systems for power system control centres" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
29. Schroeder, M, 1999. "Verification of business processes for a correspondence handling center using CCS" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
30. Sellini, F and Yvars, PA, 1999. "A priori verification of product models in mechanical design" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
31. Sowa, JF, 1984. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley.
32. Spreeuwenberg, S and Gerrits, R, 1999. "A knowledge base tool to validate and verify an Aion KB" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
33. Steinberg, R, Fjellheim, R and Olsen, S, 1999. "Design patterns for safety-critical knowledge based systems, knowledge revision and refinement" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
34. van der Aalst, WMP, 1998. "The application of Petri nets to workflow management" Journal of Circuits, Systems and Computers.
35. Vanthienen, J and Moreno-Garcia, A, 1999. "Illustrating knowledge base restructuring and verification in a real world application" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
36. Vermesan, A, 1997. "Quality assessment of knowledge-based software: Certification considerations" Proceedings of Third IEEE International Software Engineering Standards Symposium (ISESS '97) Walnut Creek, CA.
37. Vermesan, A and Coenen, F, 1999. Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
38. Vermesan, A and Hogberg, F, 1999. "Applicability of conventional software verification and validation to knowledge based components: A qualitative assessment" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
39. Vermesan, A, Sjøvaag, J, Martinsen, P and Bell, K, 1999. "Verification and validation in support for software certification methods" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
40. Voas, J, 1999. "User participation-based software certification" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.
41. Wodtke, D and Weikum, G, 1997. "A formal foundation for distributed workflow execution based on state charts" Proceedings of the International Conference on Database Theory.
42. Wiratunga, N and Craw, S, 1999. "Incorporating backtracking search with knowledge refinement" In: Vermesan, A and Coenen, F, editors Validation and Verification of Knowledge-Based Systems: Theory, Tools and Practice. Kluwer Academic, Utrecht, Netherlands.