Artificial Intelligence
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Handbook of theoretical computer science (vol. B)
Artificial intelligence (3rd ed.)
Artificial intelligence (3rd ed.)
An effective logical framework for knowledge-based systems verification
International Journal of Expert Systems
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
CYC: a large-scale investment in knowledge infrastructure
Communications of the ACM
A methodology to incorporate formal methods in hybrid KBS verification
International Journal of Human-Computer Studies - Special issue: verification and validation
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Verification of knowledge bases based on containment checking
Artificial Intelligence
A heuristic in rules based systems for searching of inconsistencies
Information Sciences—Informatics and Computer Science: An International Journal
OKBC: a programmatic foundation for knowledge base interoperability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Verification of accuracy of rules in a rule based system
Data & Knowledge Engineering
Inverse verification of problem-solving methods
International Journal of Human-Computer Studies
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Expert Systems
Uncertainty Management in Expert Systems Using Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Rule-Based System Validation through Automatic Identification of Equivalence Classes
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
Rule Base Verification Using Petri Nets
COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
A New Approach to Verify Rule-Based Systems Using Petri Nets
COMPSAC '99 23rd International Computer Software and Applications Conference
Validation of Knowledge-Based Systems by Means of Stochastic Search
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
The Role of Ontologies in the Verification and Validation of Knowledge Based Systems
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Validation of Knowledge-Based Systems by Means of Stochastic Search
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
VERITAS An Application for Knowledge Verification
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A token-flow paradigm for verification of rule-based expert systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Correctness in hierarchical knowledge-based requirements
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
On automatic knowledge validation for Bayesian knowledge bases
Data & Knowledge Engineering
Hi-index | 0.00 |
This paper presents the design and implementation of KJ3 (Knowledge Judgment, version 3) which is an assisting tool for formal validation of knowledge-based systems (KBSs). The KJ3 project is motivated by two main obstacles to knowledge validation, the lack of a uniform representation and a comprehensive validation procedure. KJ3 combines Petri Nets and theorem proving techniques to solve these difficulties. In KJ3, the Enhanced High-Level Petri Net (EHLPN) is employed as a meta representation scheme to describe different KBS formalisms in a uniform format. With EHLPN, there is only one type of problems, the reachability problems, to be solved for all validation tasks. The kernel of KJ3 is a hyper-linking-based theorem prover which serves as the inference engine fox checking the correctness of the transformed reachability problems. Because of the versatility of EHLPN and the soundness and completeness of the hyperlinking proof procedure, KJ3 is a reliable and robust platform for formal validation. Users can apply KJ3 to validate different types of KBSs without concerning the inference process involved in the validation procedure. Other main features of KJ3 include a friendly user interface for describing and transforming KBSs and defining the validation tasks, a mechanism for explaining the validation results, and facilities for analysing the behaviour of KBSs and defining new types of KBSs and validation tasks.