Principles of artificial intelligence
Principles of artificial intelligence
Validating and Verifying Knowledge-Based Systems
Validating and Verifying Knowledge-Based Systems
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology
IEEE Transactions on Knowledge and Data Engineering
Quality Measures and Assurance for AI (Artificial Intelligence) Software
Quality Measures and Assurance for AI (Artificial Intelligence) Software
MDS: An Integrated Architecture for Associational and Model-Based Diagnosis
Applied Intelligence
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |
The proposed validation method identifies equivalence classes for fundamental tasks in a rule-based system to help identify incorrect knowledge and rule inconsistencies. The proposed method validates the entire input domain of a pre-existing rule-based system by using symbolic execution to determine the conditions under which tasks may be instantiated.