Artificial Intelligence
Temporal logic of programs
SACCO-SYCOJET: two different ways of verifying knowledge-based systems
Validation, verification and test of knowledge-based systems
Incremental verification of rule-based expert systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Subsumption anomalies in hybrid knowledge bases
International Journal of Expert Systems - Special issue on verification and validation (Part 2)
GKR: a generic model of knowledge representation
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Verification of knowledge bases based on containment checking
Artificial Intelligence
Classifying and detecting anomalies in hybrid knowledge-based systems
Decision Support Systems - Eighth workshop on the validation and verification of knowledge-based systems
About the incremental validation of first-order stratified knowledge-based decision-support systems
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Intelligent information systems and applications
Using Directed Hypergraphs to Verify Rule-Based Expert Systems
IEEE Transactions on Knowledge and Data Engineering
Knowledge Verification with an Enhanced High-Level Petri-Net Model
IEEE Expert: Intelligent Systems and Their Applications
A New Approach to Verify Rule-Based Systems Using Petri Nets
COMPSAC '99 23rd International Computer Software and Applications Conference
EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
Formal consistency verification of deliberative agents with respect to communication protocols
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
| Hi-index | 0.00 |
This paper concerns a method to verify the consistency of a hybrid knowledge base system. We assume the knowledge base of the verified system supports the representation of production rules and frame taxonomies. Moreover, the knowledge base can also be used to represent non-monotonic and uncertain reasoning. For the purpose of the verification, an ATMS like theory is created by simulating the deductive process needed to deduce an inconsistency. Next, the ATMS like theory is processed to compute a specification of the initial fact base that allows for the execution of a deductive tree that leads to the inconsistency.