| 000 | 00839camuuu200253 a 4500 | |
| 001 | 000000917694 | |
| 005 | 19990115134232.0 | |
| 008 | 930407s1993 flua b 001 0 eng | |
| 010 | ▼a 93001553 | |
| 020 | ▼a 084938902X : ▼c $94.95 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 244002 | |
| 049 | 0 | ▼l 151011514 |
| 050 | 0 0 | ▼a QA76.76.E95 ▼b S66 1993 |
| 082 | 0 0 | ▼a 006.3/3 ▼2 20 |
| 090 | ▼a 006.33 ▼b S659v | |
| 100 | 1 | ▼a Smith, Suzanne, ▼d 1953- |
| 245 | 1 0 | ▼a Verification and validation of rule-based expert systems / ▼c Suzanne Smith, Abraham Kandel. |
| 260 | ▼a Boca Raton, Fla. : ▼b CRC Press, ▼c c1993. | |
| 300 | ▼a 203 p. : ▼b ill. ; ▼c 25 cm. | |
| 504 | ▼a Includes bibliography (p. 193-198) and index. | |
| 650 | 0 | ▼a Expert systems (Computer science). |
| 650 | 0 | ▼a Computer software ▼x Verification. |
| 650 | 0 | ▼a Computer software ▼x Validation. |
| 700 | 1 | ▼a Kandel, Abraham. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 006.33 S659v | 등록번호 151011514 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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.
This book presents an innovative approach to verifying and validating rule-based expert systems
정보제공 :
목차
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.
정보제공 :