A framework for knowledge-based systems verification
暂无分享,去创建一个
[1] Christopher J. R. Green,et al. Verification and validation of expert systems , 1991 .
[2] Hung-Chin Jang,et al. A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis , 1992, IEEE Trans. Software Eng..
[3] S. Bologna,et al. Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need , 1990, [1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence.
[4] Tin A. Nguyen,et al. Knowledge base verification , 1987 .