A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
Information system verification and validation during requirement analysis using Petri nets
Journal of Management Information Systems
Well-structured knowledge bases
AI Expert
A Petri-Net based approach for verifying the integrity of production systems
International Journal of Man-Machine Studies
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
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
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Checking the consistency of a hybrid knowledge base system
Knowledge-Based Systems
| Hi-index | 0.00 |
To detect improper knowledge effectively requires a sophisticated model representing the underlying system precisely. The authors propose the Enhanced High-Level Petri net for modeling rule-based systems. Rule inference is modeled exactly and some important aspects in rule-based systems, such as conservation of facts, refraction, and closed-world assumption, are considered. Knowledge verification is explored in this model through the reachability problem by a multiple coloring scheme of tokens. The properties of the reachability problems and related transition sequence problems are described. A comparison of the authors' model with other Petri net models is presented.