Methods and algorithms for verification of knowledge bases in integrated expert systems |
| |
| Authors: | G. V. Rybina V. V. Smirnov |
| |
| Affiliation: | (1) Moscow Institute of Engineering Physics, Kashirskoe sh. 31, Moscow, 115409, Russia |
| |
| Abstract: | In this paper, a brief analysis is presented and methods of verification of expert systems and conventional programs are compared. The specific features of the verification of knowledge bases of integrated expert systems are shown, methods and algorithms of detecting static and dynamic anomalies in the knowledge field are described. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
