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

DOI10.1134/S1064230707040090zbMath1176.68209MaRDI QIDQ733569

D. Kharzeev

Publication date: 16 October 2009

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

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)

Uses Software

• CommonKADS

Cites Work

• Unnamed Item
• Unnamed Item
• Combining Horn rules and description logics in CARIN
• Task-oriented methodology for computer-aided construction of integrated expert systems for static problem domains
• Knowledge verification in rule-based intelligent systems
• Automated design of knowledge bases for integrated expert systems
• An approach to automated eliciting, representation, and processing of knowledge with not-factors

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