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

68T30: Knowledge representation

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

Uses Software

• CommonKADS