Issues in the verification of knowledge in rule-based systems
- 31 March 1989
- journal article
- Published by Elsevier in International Journal of Man-Machine Studies
- Vol. 30 (3) , 255-271
- https://doi.org/10.1016/s0020-7373(89)80002-1
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- A decision-table-based processor for checking completeness and consistency in rule-based expert systemsInternational Journal of Man-Machine Studies, 1987
- The Nature and Evaluation of Commercial Expert System Building ToolsComputer, 1987
- Bayesian and non-bayesian evidential updatingArtificial Intelligence, 1987
- Formalizing nonmonotonic reasoning systemsArtificial Intelligence, 1987
- An assumption-based TMSArtificial Intelligence, 1986
- Auditor: a microcomputer-based expert system to support auditors in the fieldExpert Systems, 1985
- Rule-based systemsCommunications of the ACM, 1985
- Why Expert Systems FailJournal of the Operational Research Society, 1985
- Validation, Verification, and Testing of Computer SoftwareACM Computing Surveys, 1982
- A truth maintenance systemArtificial Intelligence, 1979