Verification of Uncertain Knowledge-Based Systems: An Empirical Verification Approach

DOI10.1287/MNSC.42.12.1663MaRDI QIDQ4361486zbMATH OpenOpenAlexFDO

Authors Daniel E. O'Leary

Publication date 18 May 1998

Published in Management Science (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/155dee4c1007ea304ae56e95294b41b19ee482d7

zbMATH Keywords

existence of anomaliesexpert systemsknowledge-based systemsverificationweight symmetries

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Management decision making, including multiple objectives (90B50)

Recommendations

• A synthesis of fuzzy rule-based system verification
• Methods and algorithms for verification of knowledge bases in integrated expert systems
• Verification and validation of Bayesian knowledge-bases
• scientific article; zbMATH DE number 995956

Cited in

(5)

• Verification and validation of Bayesian knowledge-bases
• Verification of multiple agent knowledge-based systems
• scientific article; zbMATH DE number 995956 (Why is no real title available?)
• scientific article; zbMATH DE number 5150405 (Why is no real title available?)
• A synthesis of fuzzy rule-based system verification

This page was built for publication: Verification of Uncertain Knowledge-Based Systems: An Empirical Verification Approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4361486)