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
Knowledge Representation Using Fuzzy Petri Nets
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 reasoning algorithm for high-level fuzzy Petri nets
IEEE Transactions on Fuzzy Systems
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
A fuzzy reasoning design for fault detection and diagnosis of a computer-controlled system
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
This paper presents a mechanism for normalizing fuzzy rules of a rule-based system, transforming the rules into a fuzzy Petri net, and answering queries based on the net with imprecise information. In addition, we are presenting an algorithm utilizing the formalism of Petri nets to compute the degree of truth of the resulting answers to the queries. The degree of truth is computed in algebraic form based on the state equation which can be implemented in matrix computation in Petri nets.