Methods and algorithms for verification of knowledge bases in integrated expert systems
From MaRDI portal
Publication:733569
DOI10.1134/S1064230707040090zbMATH Open1176.68209MaRDI QIDQ733569FDOQ733569
Authors: D. Kharzeev 
Publication date: 16 October 2009
Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)
Recommendations
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Cites Work
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
Cited In (12)
- Verification of rule knowledge bases using decision units
- Title not available (Why is that?)
- Verification of multiple agent knowledge-based systems
- Verification, validation, and integrity issues in expert and database systems: Two perspectives
- A synthesis of fuzzy rule-based system verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- The correctness of a knowledge representation model for decision-support expert systems
- Title not available (Why is that?)
- Validation method for intelligent systems
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
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)
