Skip to main content
SpringerLink
Log in

Validation and Verification of Knowledge Based Systems

Theory, Tools and Practice

  • Book
  • © 1999

Overview

Editors:
  1. Anca Vermesan

    1. Det Norske Veritas, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frans Coenen

    1. University of Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 chapters)

  1. Front Matter

    Pages i-10
    Download chapter PDF

  2. Theory and Techniques

    1. KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements

      • Jesús Cardeñosa, David Escorial
      Pages 11-24

    2. On Principles of Knowledge Validation

      • Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz
      Pages 25-35

    3. Progressive Instantiation for the Logical Validation of Nonmonotonic KBs

      • Éric Grégoire
      Pages 37-52

    4. Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria

      • Luis M. Laita, Víctor Maojo, Luis de Ledesma, Eugenio Roanes-Lozano
      Pages 53-65

    5. A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base

      • Silvie Spreeuwenberg, Rik Gerrits
      Pages 67-78

    6. Constraints for Validation of Conceptual Graphs

      • Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau
      Pages 79-91

  3. Ontologies

    1. PRONTO — Ontology-based Evaluation of Knowledge Based Systems

      • Trevor J. M. Bench-Capon, Dean M. Jones
      Pages 93-112

  4. Safety critical KBS

    1. Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems

      • Giovanna Dondossola
      Pages 113-130

    2. Design pattern for safety-critical knowledge-based systems

      • Rune Steinberg, Roar Fjellheim, StÃ¥le A. Olsen
      Pages 131-147

  5. Knowledge Revision and Refinement

    1. Organising Knowledge Refinement Operators

      • Robin Boswell, Susan Craw
      Pages 149-161

    2. Validation and refinement versus revision

      • F. Dupin de Saint-Cyr, S. Loiseau
      Pages 163-176

    3. Illustrating Knowledge Base Restructuring and Verification in a Real World Application

      • Jan Vanthienen, Ana María Moreno García
      Pages 177-191

    4. Incorporating Backtracking in Knowledge Refinement

      • Nirmalie Wiratunga, Susan Craw
      Pages 193-205

  6. Applications

    1. Verification and validation of a multistrategy knowledge-based system

      • Francisco Loforte Ribeiro
      Pages 207-220

    2. Validation and Verification of Knowledge-Based Systems for Power System Control Centres

      • Jorge Santos, Carlos Ramos, Zita Vale, Albino Marques
      Pages 221-235

    3. A priori Verification of Product Models in Mechanical Design

      • Florence Sellini, Pierre-Alain Yvars
      Pages 237-251

    4. Verification of Business Processes for a Correspondence Handling Center using CCS

      • Michael Schroeder
      Pages 253-266

  7. Certification

    1. User Participation-Based Software Certification

      • Jeffrey Voas
      Pages 267-276

    2. Verification and Validation in Support for Software Certification Methods

      • Anca Vermesan, Per Martinsen, Jarle Sjøvaag, Keith Bell
      Pages 277-295
Back to top

Keywords

About this book

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

Editors and Affiliations

  • Det Norske Veritas, Norway

    Anca Vermesan

  • University of Liverpool, UK

    Frans Coenen

Bibliographic Information

  • Book Title: Validation and Verification of Knowledge Based Systems

  • Book Subtitle: Theory, Tools and Practice

  • Editors: Anca Vermesan, Frans Coenen

  • DOI: https://doi.org/10.1007/978-1-4757-6916-6

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 1999

  • Hardcover ISBN: 978-0-7923-8645-2Published: 30 September 1999

  • Softcover ISBN: 978-1-4419-5107-6Published: 03 December 2010

  • eBook ISBN: 978-1-4757-6916-6Published: 17 April 2013

  • Edition Number: 1

  • Number of Pages: XIV, 366

  • Topics: Data Structures and Information Theory, Artificial Intelligence, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation