1. Introduction to the Publication
This manual provides an overview and essential details regarding the publication "Validation, Verification and Test of Knowledge-based Systems". This book addresses the critical and complex aspects of Validation, Verification, and Testing (VVT) for software products, with a specific focus on Knowledge-Based Systems (KBS). KBS present unique challenges due to their reliance on probabilities, uncertainties, and approximations.
The collection of papers within this publication explores current research and implementation issues, details various tools, techniques, and criteria for validation and verification, discusses specific projects, and includes a survey of developers in the field.
2. Authors and Editors
- Editor: Marc Ayel
- Editor: Jean-Pierre Laurent
The editors have compiled a comprehensive resource for professionals and researchers interested in the rigorous evaluation of knowledge-based systems.
3. Publication Details
This section outlines the key specifications and identifiers for the book.
- Publisher: Wiley
- Publication Date: November 27, 1991
- Edition: 1st
- Language: English
- Print Length: 240 pages
- ISBN-10: 0471930180
- ISBN-13: 978-0471930181
- Item Weight: 15.5 ounces
- Dimensions: 6.61 x 0.59 x 9.65 inches
4. Book Cover Image

This image serves as a placeholder, indicating that a specific product image for the book cover is not currently available. It typically displays text like 'No image available'.
5. Publisher Contact Information
For inquiries regarding this publication, including content, availability, or other related matters, please contact the publisher directly.
- Publisher: Wiley
- Specific contact details (e.g., website, customer service) can typically be found on the publisher's official website or within the book itself.





