Verification of rule knowledge bases using decision units

MaRDI QIDQ2729698zbMATH OpenFDO

Authors Roman Siminski, Alicja Wakulicz-Deja

Publication date 6 November 2001

zbMATH Keywords

expert systemsknowledge basesvalidationverification

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

• scientific article; zbMATH DE number 2120044
• scientific article; zbMATH DE number 5547424
• Methods and algorithms for verification of knowledge bases in integrated expert systems
• Rough Sets and Current Trends in Computing
• An illustration of verification and validation in the modelling phase of KBS development

Cited in

(5)

• scientific article; zbMATH DE number 5150405 (Why is no real title available?)
• scientific article; zbMATH DE number 2120044 (Why is no real title available?)
• Rough Sets and Current Trends in Computing
• scientific article; zbMATH DE number 2222707 (Why is no real title available?)
• Methods and algorithms for verification of knowledge bases in integrated expert systems

This page was built for publication: Verification of rule knowledge bases using decision units

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