Methods and algorithms for verification of knowledge bases in integrated expert systems

DOI10.1134/S1064230707040090MaRDI QIDQ733569zbMATH OpenFDO

Authors D. Kharzeev

Publication date 16 October 2009

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S1064230707040090

zbMATH Keywords

anomalies in the knowledge field

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 5547424
• Verification of rule knowledge bases using decision units
• Verification, validation, and integrity issues in expert and database systems: Two perspectives
• scientific article; zbMATH DE number 995956
• A synthesis of fuzzy rule-based system verification

Cites work

• An approach to automated eliciting, representation, and processing of knowledge with not-factors
• Automated design of knowledge bases for integrated expert systems
• Combining Horn rules and description logics in CARIN
• scientific article; zbMATH DE number 4074533 (Why is no real title available?)
• scientific article; zbMATH DE number 960168 (Why is no real title available?)
• Knowledge verification in rule-based intelligent systems
• Task-oriented methodology for computer-aided construction of integrated expert systems for static problem domains

Cited in

(16)

• Problem-oriented knowledge bases and their application in the program verification system SPEKTR
• The use of mathematical programming to verify rule-based knowledge
• The correctness of a knowledge representation model for decision-support expert systems
• Verification of rule knowledge bases using decision units
• Verification of multiple agent knowledge-based systems
• Verification, validation, and integrity issues in expert and database systems: Two perspectives
• scientific article; zbMATH DE number 995956 (Why is no real title available?)
• scientific article; zbMATH DE number 5547424 (Why is no real title available?)
• scientific article; zbMATH DE number 4092819 (Why is no real title available?)
• scientific article; zbMATH DE number 67434 (Why is no real title available?)
• scientific article; zbMATH DE number 1322821 (Why is no real title available?)
• Verification of Uncertain Knowledge-Based Systems: An Empirical Verification Approach
• scientific article; zbMATH DE number 2080549 (Why is no real title available?)
• Validation method for intelligent systems
• scientific article; zbMATH DE number 2120044 (Why is no real title available?)
• A synthesis of fuzzy rule-based system verification

Describes a project that uses

Uses Software

• CommonKADS

This page was built for publication: Methods and algorithms for verification of knowledge bases in integrated expert systems

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