| Document Type
|
:
|
BL
|
| Record Number
|
:
|
719690
|
| Doc. No
|
:
|
b539383
|
| Main Entry
|
:
|
edited by Anca Vermesan and Frans Coenen.
|
| Title & Author
|
:
|
Validation and verification of knowledge based systems : : theory, tools and practice\ edited by Anca Vermesan and Frans Coenen.
|
| Publication Statement
|
:
|
New York ; London: Springer, 2011
|
| Page. NO
|
:
|
1 volume ; 24 cm
|
| ISBN
|
:
|
1441951075
|
|
|
:
|
: 9781441951076
|
| Notes
|
:
|
Originally published: 1999.
|
| 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.
|
| Subject
|
:
|
Computer software -- Validation -- Congresses.
|
| Subject
|
:
|
Computer software -- Verification -- Congresses.
|
| Subject
|
:
|
Expert systems (Computer science) -- Congresses.
|
| LC Classification
|
:
|
QA76.76.V47E358 2011
|
| Added Entry
|
:
|
Anca Vermesan
|
|
|
:
|
Frans Coenen
|