상세정보

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

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

정보제공 :

CONTENTS
Foreword = 1
Theory and Techniques
  KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements / Jes u' s Carde n ~ osa ; David Escorial = 11
  On Principles of Knowledge Validation / Mieczyslaw L.Owoc ; Malgorzata Ochmanska ; Tomasz Gladysz = 25
  Progressive Instantiation for the Logical Validation of Nonmonotonic KBs / E' ric Gr e' goire = 37
  Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria / Luis M. Laita ; Eugenio Rianes-Lozano ; Victor Maojo ; Luis de Ledesma = 53
  A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base / Silvie Spreewenberg ; Rik Gerrits = 67
  Constraints for Validation of Conceptual Graphs / Juliette Dibie-Barth e' lemy ; Ollivier Haemmerle e' ; St e' phane Loiseau = 79
Ontologies
  PRONTO - Ontology-based Evaluation of Knowledge Based Systems / Trevor J. M. Bench-Capon ; Dean M. Jones = 93
Safety critical KBS
  Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems / Giovanna Dondossola = 113
  Design pattern for safety-critical knowledge-based systems / Rune Steinberg ; Roar Fjellheim ; St \mathopa\limits? le A. Olsen = 131
Knowledge Revision and Refinement
  Organising Knowledge Refinement Operators / Robin Boswell ; Susan Craw = 149
  Validation and refinement versus revision / F. Dupin de Saint-Cyr ; S. Loiseau = 163
  Illustrating Knowledge Base Restructuring and Verification in a Real World Application / Jan Vanthienen ; Ana Mar i' a Moreno Garcia = 177
  Incorporating backtracking search with knowledge refinement / Nirmalie Wiratunga ; Susan Craw = 193
Applications
  Verification and validation of a multistrategy knowledge-based system / Francisco Loforte Ribeiro = 207
  Validation and Verification of Knowledge-Based Systems for Power System Control Centres / Jorge Santos ; Carlos Ramos ; Zita Vale ; Albino Marques = 221
  A priori Verification of Product Models in Mechanical Design / Florence Sellini ; Pierre-Alain Yvars = 237
  Verification of Business Processes for a Correspondence Handling Center Using CCS / Michael Schroeder = 253
Certification
  User Participation-based Software Certification / Jeffrey Voas = 267
  Verification and Validation in Support for Software Certification Methods / Anca Vermesan ; Jarle SjØvaag ; Per Martinsen ; Keith Bell = 277
The wider picture
  Validation, Verification and Integrity in Knowledge and Data Base Systems : Future Directions / Frans Coenen ; Barry Eaglestone ; Mick Ridley = 297
  Intelligent Data and Knowledge Analysis and Verification ; Towards a Taxonomy of Specific Problems / Antoni Ligeza = 313
  Ontology-based Verification and Validation of Federated Database Systems / Nayyer Masood ; Barry Eaglestone = 327
  Applicability of Conventional Software Verification and validation to Knowledge Based Components : A Qualitative Assessment / Anca Vermesan ; Frode HØgberg = 343