0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice (Paperback, Softcover reprint of the original 1st ed. 1999) Loot Price: R5,786
Discovery Miles 57 860
Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice (Paperback, Softcover reprint of the...

Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice (Paperback, Softcover reprint of the original 1st ed. 1999)

Anca Vermesan, Frans Coenen

 (sign in to rate)
Loot Price R5,786 Discovery Miles 57 860 | Repayment Terms: R542 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI.
Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 - which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: December 2010
First published: 1999
Editors: Anca Vermesan • Frans Coenen
Dimensions: 235 x 155 x 20mm (L x W x T)
Format: Paperback
Pages: 366
Edition: Softcover reprint of the original 1st ed. 1999
ISBN-13: 978-1-4419-5107-6
Categories: Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN: 1-4419-5107-5
Barcode: 9781441951076

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners