| タイトル | Validation Of Critical Knowledge-Based Systems |
| 著者（英） | Duke, Eugene L. |
| 著者所属（英） | NASA Ames Research Center |
| 発行日 | 1992-03-01 |
| 言語 | eng |
| 内容記述 | Report discusses approach to verification and validation of knowledge-based systems. Also known as "expert systems". Concerned mainly with development of methodologies for verification of knowledge-based systems critical to flight-research systems; e.g., fault-tolerant control systems for advanced aircraft. Subject matter also has relevance to knowledge-based systems controlling medical life-support equipment or commuter railroad systems. |
| NASA分類 | MATHEMATICS AND INFORMATION SCIENCES |
| レポートNO | 92B10192
ARC-12427 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/332327 |
