AI Magazine
International Journal of Man-Machine Studies
Issues in the verification of knowledge in rule-based systems
International Journal of Man-Machine Studies
Consistency, soundness and completeness of a diagnosis system
Validation, verification and test of knowledge-based systems
Judging knowledge-base quality
Validation, verification and test of knowledge-based systems
Verifying knowledge bases by anomaly detection: an experience report
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Incremental verification of rule-based expert systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
A new approach to detecting missing knowledge in expert system rule bases
International Journal of Man-Machine Studies
Heuristic reasoning and relative incompleteness
International Journal of Approximate Reasoning
Verification of multi-level rule-based expert systems: theory and practice
International Journal of Expert Systems - Special issue on verification and validation
Completeness verification of rule-based control systems
Systems Analysis Modelling Simulation - Special issue on system theory, modelling and simulation
Evaluation of verification tools for knowledge-based systems
International Journal of Human-Computer Studies
Structure-based validation of rule-based systems
Data & Knowledge Engineering
Inverse verification of problem-solving methods
International Journal of Human-Computer Studies
Partiality, Truth and Persistence
Partiality, Truth and Persistence
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
Declarative Functionality Descriptions of Interactive Reasoning Modules
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
Applied Intelligence
An Engineering Approach to Cooperating Agents for Distributed Information Systems
Journal of Intelligent Information Systems
A semantic validation of conceptual graphs
Knowledge-Based Systems
Patterns in world dynamics indicating agency
Transactions on computational collective intelligence III
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Hi-index | 0.00 |
The usual approaches to verification of knowledge in the literature have a rather practical nature, and are sometimes ad hoc and depending on the syntactical structure of a particular knowledge representation language in the definitions of the properties that are tested. In this paper, a more principled investigation provides a well-defined semantical basis, independent of any particular syntactical representation, of the various properties that can be tested, and their logical relationships. Central in this unifying semantical framework is the notion of domain description and the forcing relation that is used as a standard for the inferences. Properties covered include consistency, three variants of soundness, three variants of completeness, empirically foundedness, and well-informedness.