Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice

✍ Scribed by Jesús Cardeñosa, David Escorial (auth.), Anca Vermesan, Frans Coenen (eds.)

• Publisher: Springer US
• Year: 1999
• Tongue: English
• Leaves: 362
• Edition: 1
• Category: Library

✦ Synopsis

Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI.
Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 - which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).

✦ Table of Contents

Front Matter....Pages i-10
KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements....Pages 11-24
On Principles of Knowledge Validation....Pages 25-35
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs....Pages 37-52
Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria....Pages 53-65
A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base....Pages 67-78
Constraints for Validation of Conceptual Graphs....Pages 79-91
PRONTO — Ontology-based Evaluation of Knowledge Based Systems....Pages 93-112
Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems....Pages 113-130
Design pattern for safety-critical knowledge-based systems....Pages 131-147
Organising Knowledge Refinement Operators....Pages 149-161
Validation and refinement versus revision....Pages 163-176
Illustrating Knowledge Base Restructuring and Verification in a Real World Application....Pages 177-191
Incorporating Backtracking in Knowledge Refinement....Pages 193-205
Verification and validation of a multistrategy knowledge-based system....Pages 207-220
Validation and Verification of Knowledge-Based Systems for Power System Control Centres....Pages 221-235
A priori Verification of Product Models in Mechanical Design....Pages 237-251
Verification of Business Processes for a Correspondence Handling Center using CCS....Pages 253-266
User Participation-Based Software Certification....Pages 267-276
Verification and Validation in Support for Software Certification Methods....Pages 277-295
Validation, Verification and Integrity in Knowledge and Data Base Systems: Future Directions....Pages 297-311
Intelligent Data and Knowledge Analysis and Verification; Towards a Taxonomy of Specific Problems....Pages 313-325
Ontology-based Verification and Validation of Federated Database Systems....Pages 327-341
Applicability of Conventional Software Verification and Validation to Knowledge-Based Components....Pages 343-364

✦ Subjects

Data Structures, Cryptology and Information Theory; Artificial Intelligence (incl. Robotics); Computer Science, general