عنوان

Validation and verification of knowledge based systems :

شابک

1441951075

شابک

9781441951076

شماره

b539383

عنوان اصلي

Validation and verification of knowledge based systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

theory, tools and practice

نام نخستين پديدآور

edited by Anca Vermesan and Frans Coenen.

محل نشرو پخش و غیره

New York ; London

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

2011

نام خاص و کميت اثر

1 volume ; 24 cm

متن يادداشت

Originally published: 1999.

متن يادداشت

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.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Anca Vermesan and Frans Coenen.

مستند نام اشخاص تاييد نشده

Anca Vermesan

مستند نام اشخاص تاييد نشده

Frans Coenen

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y