A survey of tools for the validation and verification of knowledge-based systems: 1985

A survey of tools for the validation and verification of knowledge-based systems: 1985–1995

Published:1997-12 Issue:4 Volume:21 Page:307-323
ISSN:0167-9236
Container-title:Decision Support Systems
language:en
Short-container-title:Decision Support Systems

Author:

Murrell Stephen,T. Plant Robert

Publisher

Elsevier BV

Subject

Information Systems and Management,Arts and Humanities (miscellaneous),Developmental and Educational Psychology,Information Systems,Management Information Systems

Reference63 articles.

1. Integrated knowledge-based system design and validation for solving problems in uncertain environments;Andert;Int. J. Man–Machine Stud.,1992

2. SREM at the age of eight: The distributed computing design system;Alford;Computer,1985

3. M. Barnes, P. Bishop, B. Bjarland, G. Dahll, D. Esp, J. Lahti, H. Valisuo, P. Humphreys, Software testing and evaluation methods (The STEM Project), OECD Halden Reactor Project Report, No. HWR-210, May 1987.

4. B. Beizer, Software Testing Techniques, 2nd edn., Van Nostrand-Reinhold, New York, 1990.

5. Barry W. Boehm, Software Engineering Economics, Prentice-Hall, Englewood Cliffs, NJ, 1981.

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

1. Smart Train Operation Algorithms Based on Expert Knowledge and Reinforcement Learning;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2022-02

2. A survey on artificial intelligence assurance;Journal of Big Data;2021-04-26

3. On the Automation of Testing a Logic-Based Diagnosis System;2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2018-04

4. Validation of knowledge-based systems: a reassessment of the field;Artificial Intelligence Review;2013-01-31

5. An expert system to achieve fuzzy interpretations of validation data;Expert Systems with Applications;2008-11