Verification and validation of rule-based expert systems

著者

• Smith, Suzanne
• Kandel, Abraham

書誌事項

Verification and validation of rule-based expert systems

Suzanne Smith, Abraham Kandel

CRC Press, c1993

注記

Includes bibliographical references (p. 193-198) and index

内容説明・目次

内容説明

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.

目次

Introduction. The Production of Quality Software. Conventional Software Development. The Production of Quality Expert Systems. Expert System Development. Issues and Recommendations in Expert System Verification and Validation. Validation Prototype-SAVES. Conclusions. Appendices. References.

「Nielsen BookData」 より

• NII書誌ID(NCID): BA21923767
• ISBN:
  • 084938902X
• LCCN: 93001553
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boca Raton, Fla.
• ページ数/冊数: 203 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.76.E95
  • DC20 : 006.3/3
• 件名:
  • LCSH : Expert systems (Computer science)
  • LCSH : Computer software -- Verification
  • LCSH : Computer software -- Validation