Validation and verification of knowledge-based systems: report on EUROVAV99

  • Authors:

  • Frans Coenen;Trevor Bench-Capon;Robin Boswell;Juliette Dibie-Barthélemy;Barry Eaglestone;Rik Gerrits;Eric Grégoire;Antoni Lige¸za;Luis Laita;Mieczyslaw Owoc;Florence Sellini;Silvie Spreeuwenberg;Jan Vanthienen;Anca Vermesan;Nirmalie Wiratunga

  • Affiliations:

  • Department of Computer Science, University of Liverpool, UK;Department of Computer Science, University of Liverpool, UK;School of Computer & Mathematical Science, The Robert Gordon University, Aberdeen, UK;Department of OMIP, INA-PG, Universite Paris IX--Dauphine, France;Department of Information Studies, University of Sheffield, UK;LibRt B.V., Postbus 90359, 1006 BJ Amsterdam, Netherlands;CRIL, University of Artois, France;Institute of Automatics, AGH, Krakow, Poland;Department of AI, Universidad Politecnica de Madrid, Spain;Wroclaw University of Economics, Wroclaw, Poland;PSA Peugeot Citroen, La Garenne Colombes, France;LibRt B.V., Postbus 90359, 1006 BJ Amsterdam, Netherlands;Department of Applied Economic Science, Katholieke Universiteit Leuven, Belgium;Det Norska Veritas, Oslo, Norway;School of Computer & Mathematical Science, The Robert Gordon University, Aberdeen, UK

  • Venue:
  • The Knowledge Engineering Review
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

Knowledge-Based (KB) technology is being applied to complex problem solving and safety and business 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 KBSs has emerged as a distinct field only in the last decade, and is intended to address issues associated with quality and safety aspects of KBSs, and to provide such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBSs has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJCAI and ECAI.