عنوان

Validation and verification of knowledge based systems :

(Number (ISBN

1441951075

(Number (ISBN

9781441951076

Number

b539383

Title Proper

Validation and verification of knowledge based systems :

General Material Designation

[Book]

Other Title Information

theory, tools and practice

First Statement of Responsibility

edited by Anca Vermesan and Frans Coenen.

Place of Publication, Distribution, etc.

New York ; London

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

2011

Specific Material Designation and Extent of Item

1 volume ; 24 cm

Text of Note

Originally published: 1999.

Text of Note

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.

Computer software -- Validation -- Congresses.

Computer software -- Verification -- Congresses.

Expert systems (Computer science) -- Congresses.

Class number

Book number

edited by Anca Vermesan and Frans Coenen.

Anca Vermesan

Frans Coenen

Electronic name

[Book]

Y