Special issue on verification and validation

As for any software, users of knowledge-based systems (KBS) need to know that they can rely on the system to do its job properly. Assuring the reliability of knowledge-based systems has become an important issue in the development of the knowledge engineering discipline. The processes employed directly to assure the reliability of software are called verification and validation (V & V). Roughly speaking, validation is the process of determining if a KBS meets its users' requirements; verification is the process of determining,if a KBS has been constructed to comply with certain formally-specified properties, such as consistency and irredundancy. Implicitly, validation includes verification. Verification and validation techniques for KBS have been discussed and debated in workshops at many of the predominant artificial intelligence conferences in recent years. The purpose of this special issue is to provide ''snapshots'' of the current state of the V & V area for KBS, by collecting together representative works from three of the most recent workshops: at IJCAI-93 in Chambery, France (Chairman: Marc Ayel, Universite de Savoie, France); at AAAI-94 in Seattle, USA (Chairman: Robert Plant, co-editor of this issue); at ECAI-94 in Amsterdam, The Netherlands (Chairman: Alun Preece, co-editor of this issue). These workshops succeeded in highlighting many of the significant issues and trends within their area of concern. These issues and trends are reflected in the articles selected for this issue, the authors of which have expanded and updated their original workshop papers. The purpose of this introduction is to highlight some of the issues and trends in KBS V & V, to put this collection in its context. (C) 1996 Academic Press Limited