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

Validation and Verification of Knowledge Based Systems Theory, Tools and Practice / edited by Anca Vermesan, Frans Coenen.

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Vermesan, Anca (Editor), Coenen, Frans (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 1999.
Edition:1st ed. 1999.
Series:Springer eBook Collection.
Subjects:
Data structures (Computer science).
Artificial intelligence.
Computer science.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items