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

Anca Vermesan (u. a.)

ISBN 10: 1441951075 / ISBN 13: 9781441951076

Published by Humana, 2010

About this Item

Validation and Verification of Knowledge Based Systems | Theory, Tools and Practice | Anca Vermesan (u. a.) | Taschenbuch | xiv | Englisch | 2010 | Humana | EAN 9781441951076 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 107251889

Bibliographic Details

• Title: Validation and Verification of Knowledge Based Systems | Theory, Tools and Practice
• Publisher: Humana
• Publication Date: 2010
• Language: English
• ISBN 10: 1441951075
• ISBN 13: 9781441951076
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 21D millimeters 235 millimeters width by 155 millimeters height by 21 millimeters depth
• Weight: 581 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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