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

362 Pages·1999·26.773 MB·English

by  Jesús Cardeñosa, David Escorial (auth.), Anca Vermesan, Frans Coenen (eds.)

VALIDATION AND VERIFICATION
OF KNOWLEDGE BASED SYSTEMS
VALIDATION AND VERIFICATION
OF KNOWLEDGE BASED SYSTEMS
Theory, Tools and Practice
Edited by
Anca Vermesan
Det Norske Veritas,
Nonvay
and
Frans Coenen
University of Liverpool,
U.K.
SPRINGER SCIENCE+BUSINESS MEDIA, LLC
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN 978-1-4419-5107-6 ISBN 978-1-4757-6916-6 (eBook)
DOI 10.1007/978-1-4757-6916-6
Printed on acid-free paper
All Rights Reserved
© 1999 Springer Science+Business Media New York
Originally published by Kluwer Academic Publishers, Boston in 1999
Softcover reprint of the hardcover I st edition 1999
No part of the material protected by this copyright notice may be reproduced or
utilized in any form or by any means, electronic or mechanical,
including photocopying, recording or by any information storage and
retrieval system, without written permission from the copyright owner.
CONTENTS
Foreword 1
Theory and Techniques
Jesus Cardeiiosa and David Escorial
KBS First Prototype V &V Process Plan as a Way to Produce
Reliable Requirements 11
Mieczyslaw L. Owoc, Malgorzata Ochmanska and Tomasz
Gladysz
On Principles of Knowledge Validation 25
Eric Gregoire
Progressive Instantiation for the Logical Validation of
Nonmonotonic KBs 37
Luis M Laita, Eugenio Rianes-Lozano, Victor Maojo and Luis de
Ledesma
Computer Algebra based Verification and Knowledge
Extraction in RBS. Application to Medical Fitness Criteria 53
Silvie Spreeuwenberg and Rik Gerrits
A Knowledge Based Tool to Validate and Verify an Aion
Knowledge Base 67
Juliette Dibie-Barthelemy, Ollivier Haemmerlee and Stephane
Loiseau
Constraints for Validation of Conceptual Graphs 79
vi
Ontologies
Trevor J.M Bench-Capon and Dean M Jones
PRONTO - Ontology-based Evaluation of Knowledge Based
Systems 93
Safety critical KBS
Giovanna Dondossola
Formal Methods for the engineering and certification of safety-
critical Knowledge Based Systems 113
Rune Steinberg, Roar Fjellheim, and Stale A. Olsen
Design pattern for safety-critical knowledge-based systems 131
Knowledge Revision and Refinement
Robin Boswell and Susan Craw
Organising Knowledge Refinement Operators 149
F. Dupin de Saint-Cyr and S. Loiseau
Validation and refinement versus revision 163
Jan Vanthienen and Ana Maria Moreno Garcia
Illustrating Knowledge Base Restructuring and Verification in a
Real World Application 177
Nirmalie Wiratunga and Susan Craw
Incorporating backtracking search with knowledge refinement 193
Applications
Francisco Loforte Ribeiro
Verification and validation of a multistrategy knowledge-based
W
~~m
Jorge Santos, Carlos Ramos, Zita Vale and Albino Marques
Validation and Verification of Knowledge-Based Systems for
Power System Control Centres 221
vii
Florence Sel/ini and Pierre-Alain Yvars
A priori Verification of Product Models in Mechanical Design 237
AfichaelSchroeder
Verification of Business Processes for a Correspondence
Handling Center Using CCS 253
Certification
Jeffrey Voas
User Participation-based Software Certification 267
Anca Vermesan, Jarle Sjovaag, Per Afartinsen and Keith Bell
Verification and Validation in Support for Software
Certification Methods 277
The wider picture
Frans Coenen, Barry Eaglestone and Afick Ridley
Validation, Verification and Integrity in Knowledge and Data
Base Systems: Future Directions 297
Antoni Lig~za
Intelligent Data and Knowledge Analysis and Verification;
Towards a Taxonomy of Specific Problems 313
Nayyer Afasood and Barry Eaglestone
Ontology-based Verification and Validation of Federated
Database Systems 327
Anca Vermesan and Frode Hogberg
Applicability of Conventional Software Verification and
validation to Knowledge Based Components: A Qualitative
Assessment 343
ACKNOWLEDGEMENTS
The editors would like to thank the following organisations for their sponsor
ship:
Det Norske Veritas, Oslo, Norway
The Specialist Group on Expert Systems (SGES) of the British Computer
Society (BCS)
The editors are also deeply indebted to the many practitioners and scientific
researchers who have contributed to this book, and to the following referees
and academic advisors for their support:
Agnar Aamodt, University of Trondheim, Norway
Marc Ayel, LIA-University of Savoie, France
Trevor Bench-Capon, University of Liverpool, UK
Sandro Bologna, ENEA CRE-Casaccia, Italy
Jesus Cardenosa, Univ. Polit. De Madrid, Spain
Susan Craw, The Robert Gordon University, UK
Barry Eaglestone, University of Sheffield, UK
Dieter Fensel, University of Karlsruhe, Germany
Rose Gamble, University of Tulsa, USA
Alun Preece, University of Aberdeen, UK
Marie-Christine Rousset, LRI-University of Paris Sud, France
Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands
Gheorghe Tecuci, George Mason University, USA
Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
Jeffrey Voas, Reliable Software Technologies, USA
Claes Wohlin, Lund Institute of Technology, Sweden
IX
CONTRIBUTORS
1. Keith Bell, Det Norske Veritas, Norway.
Email keith. bell~dnv. com
2. Trevor Bench-Capon, Department of Computer Science, University of
Liverpool, Liverpool, L69 3BX, UK.
Email tbc~csc .li v. ac. uk
3. Robin Boswell, School of Computer and Mathematical Sciences. The
Robert Gordon University Aberdeen, AB25 1HG, UK.
Email rab~scms . rgu. ac. uk
4. Jesus Cardenos(O)osa, Dpto. de Inteligencia Artificial, Facultad de In
formatica, Universidad Politenica de Madrid, Madrid, Spain.
Email carde~f i . upm. es
5. Frans Coenen, Department of Computer Science, University of Liverpool,
Liverpool, L69 3BX, UK.
Email frans~csc .liv . ac. uk
6. Susan Craw, School of Computer and Mathematical Sciences. The Robert
Gordon University Aberdeen, AB25 1HG, UK.
Email s. crawCDscms. rgu. ac. uk
7. Juliette Dibie-Barthelemy, LAMSADE, Universite Paris IX
Dauphine, F-75775 Paris Cedex 16, France.
Email Juliette. Dibie~inapg. inra. fr
8. Giovanna Dondossola, ENEL-SRI, Department of Electronic Systems and
Automation, Cologno Monzese 20093 Milan, Italy.
Email dondossola~pea. enel. it
9. F. Dupin de Saint-Cyr, LERIA, Universite s'Angers, UFR Sciences, F-
49045 Angers, Cedex 01, Frans
Email bannayCDinfo. uni v-angers. fr
Xl
xii
10. Barry Eaglestone, Department oflnformation Studies, University of Sheffield,
UK.
Email B. Eaglestone<Oshef . ac. uk
11. David Escorial, Dpto. de Inteligencia Artificial, Facultad de Informatica,
Universidad Politecnica de Madrid, Madrid, Spain.
Email escor<Ofi. upm. es
12. Roar Fjellheim, Computas AS, 1327 Lysaker, Norway.
Email rf<Ocomputas. no
13. Rik Gerrits, LibRt B.V., Postbus 90359, 1006 BJ Amsterdam, Nether
lands.
Email Rik<OLibRT. com
14. Tomasz Gladysz, Department of artificial Intelligence Systems, Wroclaw
University of Economics, ul. Kormandorska 118/120, 53-345 Wroclaw,
Poland.
Email gladysz<Omanager. ae. wroc. pl
15. Eric Gregoire, CRIL, Universitee d'Artois, Rue de l'Universite SP16, F-
62307 Lens Ciedex, France.
Email gregoire<Ocril. uni v-artois. fr
16. Frode H¢gberg, Det Norske Veritas, Norway.
Email frode. hogberg<Odnv. com
17. Ollivier Haemmerle, INA-PG, Departement OMIP, F-75231 Paris Cedex
05, France.
Email Olli vier. Haemmerle<Oinapg. inra. fr
18. Dean Jones, Department of Computer Science, University of Liverpool,
Liverpool, L69 3BX, UK.
Email dean<Ocsc .liv . ac. uk
19. Antoni Lig~za, Institute of Automatics AGH, 30-059 Krakow, Poland.
Email ali<Oia. agh. edu. pl, ligeza<Ouci. agh. edu. pl
20. Luis Laita, Department of AI, Universidad Politeccnia de Madrid, Boad
tlla delMonte, 28660 Madrid, Spain.
Emaillaita<Ofi. upm. es
21. Luis de Ledesma, Department of AI, Universidad Politeccnia de Madrid,
Boadtlla delMonte, 28660 Madrid, Spain.
Email ledesma@f i. upm. es
22. Stephane Loiseau, LERIA, Universite s' Angers, UFR Sciences, F-49045
Angers, Cedex 01, France.
Email loiseau<Oinfo. univ-angers. fr
xiii
23. Victor Maojo, Department of AI, Universidad Politeccnia de Madrid,
Boadtlla delMonte, 28660 Madrid, Spain.
Email vmaojo@infomed. dia. fi. upm. es
24. Albino Marques, REN- Portuhuese Transmission Network- (EDP Group),
4471 Maia Codex, Portugal.
25. Per Martinsen, Det Norske Veritas, Norway.
Email per. mart insen@dnv. com
26. Nayyer Masood, Dept. of Computer Science, Bahauddin Zakariya Uni
versity, Multan, Pakistan.
Email [email protected]
27. Ana Moreno-Garcia, Dep. Economfa Financiera y Direcci6n de Op. Uni
versity of Seville, Secille, Spain.
Email anafi <0 ibm. net
28. M algorzata Ochmanska, Department of Artificial Intelligence Systems,
Wroclaw University of Economics, ul. Kormandorska 118/120, 53-345
Wroclaw, Poland.
Email ochmansk@manager. ae. wroc. pl
29. Stale Olsen, Computas AS, 1327 Lysaker, Norway.
Email so@computas. no
30. Mieczyslaw Owoc, Department of artificial Intelligence Systems, Wroclaw
University of Economics, ul. Kormandorska 118/120, 53-345 Wroclaw,
Poland.
Email mowoc@manager. ae. wroc. pl
31. Carlos Ramos, Polytechnic Institute of Porto, Dept. of Computer Engi
neering, 4200 Porto, Portugal.
Emrul [email protected]
32. Eugenio Roanes-Lozano, Dept. Algebra, Universidad Complutense de
Madrid, Madrid, Spain.
Email eroanes@eucmos. sim. ucm. es
33. Francisco Ribeiro, Instituto Superior Ttknio. Departamento de Engen
haria Civil, 1096 Lisboa Codex, Lisboa, Portugal.
Email loforte@ci vil. ist. utl. pt
34. Mick Ridley, School of Computing and Mathematics, University of Brad
ford, UK.
Email M. J. Ridley@scm. brad. ac. uk
35. Jorge Santos, Polytechnic Institute of Porto, Dept. of Computer Engi
neering, 4200 Porto, Portugal.
Email j santos@dei. isep. ipp. pt