AI Magazine
Rule-based reasoning as Boolean transformations
IEEE Transactions on Systems, Man and Cybernetics
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Fuzzy Petri nets for rule-based decisionmaking
IEEE Transactions on Systems, Man and Cybernetics
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
Issues in the verification of knowledge in rule-based systems
International Journal of Man-Machine Studies
A Petri-Net based approach for verifying the integrity of production systems
International Journal of Man-Machine Studies
Communications of the ACM
Verification of knowledge base redundancy and subsumption using graph transformations
International Journal of Expert Systems - Special issue on verification and validation (Part 2)
Knowledge Representation Using Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
Uncertainty Management in Expert Systems Using Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
IEEE Transactions on Knowledge and Data Engineering
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
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
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
Essential and redundant rules in Horn knowledge bases
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
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
A reasoning algorithm for high-level fuzzy Petri nets
IEEE Transactions on Fuzzy Systems
Fuzzy Metagraph and Its Combination with the Indexing Approach in Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Complex Knowledge System Modeling Based on Hierarchical Fuzzy Petri Net
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
A JESS-enabled context elicitation system for providing context-aware Web services
Expert Systems with Applications: An International Journal
A fuzzy reasoning design for fault detection and diagnosis of a computer-controlled system
Engineering Applications of Artificial Intelligence
Design and reduction of UML-PN models of power plant's fault management system
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 2
Improving fuzzy knowledge integration with particle swarmoptimization
Expert Systems with Applications: An International Journal
Using Description Logics for the Provision of Context-Driven Content Adaptation Services
International Journal of Systems and Service-Oriented Engineering
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - FUZZYSS'2011: 2nd International Fuzzy Systems Symposium
Hi-index | 0.00 |
In this paper, we propose a Petri nets formalism for the verification of rule-based systems. Typical structural errors in a rule-based system are redundancy, inconsistency, incompleteness, and circularity. Since our verification is based on Petri nets and their incidence matrix, we need to transform rules into a Petri nets first, then derive an incidence matrix from the net. In order to let fuzzy rule-based systems detect above the structural errors, we are presenting a Petri-nets-based mechanism. This mechanism consists of three phases: rule normalization, rules transformation, and rule verification. Rules will be first normalized into Horn clauses, then transform the normalized rules into a high-level Petri net, and finally we verify these normalized rules. In addition, we are presenting our approach to simulate the truth conditions which still hold after a transition firing and negation in Petri nets for rule base modeling. In this paper, we refer to fuzzy rules as the rules with certainty factors, the degree of truth is computed in an algebraic form based on state equation which can be implemented in matrix computation in Petri nets. Therefore, the fuzzy reasoning problems can be transformed as the liner equation problems that can be solved in parallel. We have implemented a Petri nets tool to realize the mechanism presented fuzzy rules in this paper.