Modeling production rules by Means of Predicate Transition networks
References (45)
xplain—a system for creating and explaining expert consulting programs
Artificial Intelligence
(1983)The epistemology of a rule-based expert system—a framework for explanation
Artificial Intelligence
(1983)- et al.
Reasoning and natural explanation
Internat. J. Man-Machine Stud.
(1983) - et al.
An expert system for mapping acoustic cues into phonetic features
Inform. Sci.
(1984) A computational approach to fuzzy quantifiers in natural languages
Comput. Math. Appl.
(1983)Quantified propositions in a linguistic logic
Internat. J. Man-Machine Stud.
(1983)- et al.
Automatic learning of fuzzy naming relations over finite languages
Inform. Sci.
(1980) New research in expert systems
- et al.
Designing the next generation
IEEE Spectrum
(1983)
hearsay III—a domain-independent framework for expert systems
A representation language language
age (attempt to generalize)—a knowledge-based program for building knowledge-based programs
emycin—a domain independent system that aids in constructing knowledge-based consultation programs
Infotech State of the Art Report
(1981)
expert—a system for developing consultation models
The use of an evidential-based model for representing knowledge and reasoning about images in the vision system
Machine Learning
(1983)
Principles of Artificial Intelligence
(1980)
Predicate logic as a programming language
Inform. Process.
(1974)
Cited by (58)
Systematic modeling and implementation of a resource planning system for virtual enterprise by Predicate/Transition net
2008, Expert Systems with ApplicationsVerification framework and algorithms for integrating information distribution systems
2006, Information and Software TechnologyDeveloping virtual environments for industrial training
2002, Information SciencesKnowledge intensive Petri net framework for concurrent intelligent design of automatic assembly systems
2001, Robotics and Computer-Integrated ManufacturingCitation Excerpt :The definitions and instantiation of these extended forms of knowledge Petri nets are derived using the object-oriented concepts and techniques. It is known that the dynamic behaviors of FMS/FAS can be modeled by a Petri net [35,37,43–53]. During the assembly system development process, the description of FMS is completed by specifying the connections between resources, and merging behavioral rules between interconnected resources, synchronizing transitions from the Petri net viewpoint.
Validation and verification of decision making rules
1997, AutomaticaFlexible process sequencing using Petri net theory
1995, Computers and Industrial Engineering
Copyright © 1985 Published by Elsevier Inc.