Validation and Verification of Knowledge Based Systems Theory, Tools and Practice
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 developme...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
New York, NY
Springer US
1999, 1999
|
Edition: | 1st ed. 1999 |
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements
- On Principles of Knowledge Validation
- Progressive Instantiation for the Logical Validation of Nonmonotonic KBs
- Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria
- A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base
- Constraints for Validation of Conceptual Graphs
- PRONTO - Ontology-based Evaluation of Knowledge Based Systems
- Formal Methods for the engineering and certification of safetycritical Knowledge Based Systems
- Design pattern for safety-critical knowledge-based systems
- Organising Knowledge Refinement Operators
- Validation and refinement versus revision
- Illustrating Knowledge Base Restructuring and Verification in a Real World Application
- Incorporating backtracking search with knowledge refinement
- Verification and validation of a multistrategy knowledge-based system
- Validation and Verification of Knowledge-Based Systems for Power System Control Centres
- A priori Verification of Product Models in Mechanical Design
- Verification of Business Processes for a Correspondence Handling Center Using CCS
- User Participation-based Software Certification
- Verification and Validation in Support for Software Certification Methods
- Validation, Verification and Integrity in Knowledge and Data Base Systems: Future Directions
- Intelligent Data and Knowledge Analysis and Verification; Towards a Taxonomy of Specific Problems
- Ontology-based Verification and Validation of Federated Database Systems
- Applicability of Conventional Software Verification and validation to Knowledge Based Components: A Qualitative Assessment