Modeling production rules by means of predicate transition networks
Information Sciences: an International Journal
Communications of the ACM
Artificial Intelligence
AI Magazine
Computer tools for construction, modification and analysis of Petri nets
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
PSI: a petri net based simulator for flexible manufacturing systems
Advances in Petri Nets 1984
International Journal of Man-Machine Studies
Rule-based reasoning as Boolean transformations
IEEE Transactions on Systems, Man and Cybernetics
AI Expert
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
Some consequences of the decidability of the reachability problem for Petri nets
Advances in Petri Nets 1988
Issues in the verification of knowledge in rule-based systems
International Journal of Man-Machine Studies
Information system verification and validation during requirement analysis using Petri nets
Journal of Management Information Systems
A Petri-Net based approach for verifying the integrity of production systems
International Journal of Man-Machine Studies
ACM Computing Surveys (CSUR)
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
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Petri Nets in Software Engineering
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Protocol analysis using numerical Petri nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Petri nets are good for protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Developing virtual environments for industrial training
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Interactive virtual environments and distance education
Using Directed Hypergraphs to Verify Rule-Based Expert Systems
IEEE Transactions on Knowledge and Data Engineering
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
Knowledge Verification with an Enhanced High-Level Petri-Net Model
IEEE Expert: Intelligent Systems and Their Applications
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
An Agent-Based Approach to Developing Intelligent Virtual Reality-Based Training Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Inference based on notifications: a holonic metamodel applied to control issues
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
Fuzzy petri net for UAV decision making
CTS'05 Proceedings of the 2005 international conference on Collaborative technologies and systems
Towards timed fuzzy Petri net algorithms for chemical abnormality monitoring
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
It is suggested that as rule-based system (RBS) technology gains wider acceptance, the need to create and maintain large knowledge bases will assume greater importance. Demonstrating a rule base to be free from error remains one of the obstacles to the adoption of this technology. An approach to RBS verification in which the system is modeled as a Petri net on which error detection is performed is presented. A set of propositions is formulated to locate errors of redundancy, conflict, circularity, and gaps in domain knowledge. Rigorous proofs of these propositions are provided. Difficulties in implementing a Petri net-based verifier and the potential restrictions of the applicability of this approach are discussed.