A comprehensive framework for knowledge-base verification and validation-Reference-Cited by-同舟云学术

A comprehensive framework for knowledge-base verification and validation

Published:1994 Issue:9 Volume:9 Page:809-837
ISSN:0884-8173
Container-title:International Journal of Intelligent Systems
language:en
Short-container-title:Int. J. Intell. Syst.

Author:

French Scott W.,Hamilton David

Publisher

Wiley

Subject

Artificial Intelligence,Human-Computer Interaction,Theoretical Computer Science,Software

Reference18 articles.

1. , and , An Introduction to Formal Specification and Verification Using EHDM, SRI International Computer Science Laboratory Technical Report, 1991.

2. Quality Measures and Assurance for AI Software, NASA Langley Research Center Technical Report NASA CR-4187, 1989.

3. A task-based methodology for specifying expert systems

4. Task-structure analysis for knowledge modeling

5. University of Houston-Clear Lake (UHCL)/RICIS Committee, Expert System Verification and Validation Survey, RICIS Contract No. 069, Delivery No. 4—Final Report, 1990.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Toward More Effective Transportation Applications of Computational Intelligence Paradigms;Transportation Research Record: Journal of the Transportation Research Board;2003-01

2. A high-level Petri nets-based approach to verifying task structures;IEEE Transactions on Knowledge and Data Engineering;2002

3. Formal description and verification of Hybrid Rule/Frame-based Expert Systems;Expert Systems with Applications;1997-10

4. Critical Review of Expert System Validation in Transportation;Transportation Research Record: Journal of the Transportation Research Board;1997-01