On the verification of an expert system: Practical issues

DOI10.1007/3-540-48035-8_41MaRDI QIDQ3047771zbMATH OpenFDO

Authors Jorge A. Santos, Zita A. Vale, Carlos O. Ramos

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2358/23580414.htm

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• An illustration of verification and validation in the modelling phase of KBS development
• scientific article; zbMATH DE number 5547424
• scientific article; zbMATH DE number 995956
• The role of ontologies in the verification and validation of knowledge-based systems
• Verification and validation of Bayesian knowledge-bases

Cited in

(8)

• Expert elicitation for reliable system design. (With comments and rejoinder)
• Verification and validation of Bayesian knowledge-bases
• The role of ontologies in the verification and validation of knowledge-based systems
• Verification, validation, and integrity issues in expert and database systems: Two perspectives
• scientific article; zbMATH DE number 5547424 (Why is no real title available?)
• scientific article; zbMATH DE number 715358 (Why is no real title available?)
• An interactive learning environment for knowledge engineering
• Validation and verification of intelligent systems - what are they and how are they different?

This page was built for publication: On the verification of an expert system: Practical issues

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