This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these procedures have been adapted from conventional software, while others have required that new techniques or tools be created because of the uniqueness of rule-based expert systems. Verification and Validation of Rule-Based Expert Systems is a valuable reference for electrical engineers, software engineers, artificial intelligence experts, and computer scientists involved with object-oriented development, expert systems, and programming languages.
By:
Suzanne Smith, Abraham Kandel (University of South Florida, Tampa, Florida, US) Imprint: CRC Press Inc Country of Publication: United States Dimensions:
Height: 234mm,
Width: 156mm,
Spine: 235mm
Weight: 498g ISBN:9780849389023 ISBN 10: 084938902X Pages: 224 Publication Date:16 August 1993 Audience:
College/higher education
,
Professional and scholarly
,
Professional & Vocational
,
A / AS level
,
Further / Higher Education
Format:Hardback Publisher's Status: Active