Issues in the verification of knowledge in rule-based systems
References (65)
- et al.
A decision-table-based processor for checking completeness and consistency in rule-based expert systems
International Journal of Man-Machine Studies
(1987) An assumption-based TMS
Artificial Intelligence
(1986)A truth maintenance system
Artificial Intelligence
(1979)Formalizing non-monotnonic reasoning systems
Artificial Intelligence
(1987)Bayesian and non-Bayesian evidential updating
Artificial Intelligence
(1987)On commerical expert system projects
Future Generation Computer Systems
(1986)- et al.
Non-monotonic logic I
Artificial Intelligence
(1980) - et al.
Using empirical analysis to refine expert system knowledge bases
Artificial Intelligence
(1984) - et al.
A model of inexact reasoning in medicine
Mathematical Biosciences
(1975) - et al.
Evaluating the performance of a computer-based consultant
Computer Programs in Biomedicine
(1979)
Validation, verification and testing of computer software
ACM Computing Surveys
(1982)
Market trends in artificial intelligence
Why expert systems fail
Journal of the Operational Research Society
(1985)
Reasoning and induction in an ordinal world
ETS—A System for the Transfer of Human Expertise
Towards a methodology for the design of knowledge based systems
Innovation Diffusion: A New Perspective
(1981)
New research in expert systems
The problem of evaluation
On evaluating AI systems for medical diagnosis
AI Magazine
(1983)
Selecting a shell
AI Expert
(1987)
Identifying Research Areas in the Computer Industry to 1995
(1984)
Knowledge-based systems: The View in 1986
An Overview of Production Systems
Integrity enforcement in deductive databases
Subjective Bayesian inference methods for rule-based inference systems
AUDITOR: A microcomputer-based expert system to support auditors in the field
Expert Systems
(1985)
MOLE: A knowledge acquisition tool that uses its head
Evaluation of expert systems: issues and case studies
Verification and validation of expert systems
AI Expert
(1988)
The nature and evaluation of commercial expert system building tools
Computer
(1987)
Cited by (0)
Copyright © 1989 Academic Press Limited. Published by Elsevier Ltd. All rights reserved.