Modeling production rules by Means of Predicate Transition networks

https://doi.org/10.1016/0020-0255(85)90039-8Get rights and content

Abstract

A formal tool, the PREDICATE TRANSITION networks, is proposed for representing rules in production systems. These networks have been introduced by Genrich and Lautenbach as a kind of high-level Petri nets. The peculiarity of such a formal tool lies in its well-formalized semantics, which can be described by means of an algebraic formalism and can be analyzed using the S-invariant method in order to prove properties of the network. A brief review of PREDICATE TRANSITION networks is followed by a description of their use in AI applications. In particular the characteristics which make them suitable for representing knowledge and control strategies in expert systems are analyzed.

References (45)

  • R. Balzer et al.

    hearsay III—a domain-independent framework for expert systems

  • J. Fain et al.
  • C.L. Forgy
  • R. Greiner et al.

    A representation language language

  • H.P. Nii et al.

    age (attempt to generalize)—a knowledge-based program for building knowledge-based programs

  • W. Van Melle et al.

    emycin—a domain independent system that aids in constructing knowledge-based consultation programs

    Infotech State of the Art Report

    (1981)
  • S.M. Weiss et al.

    expert—a system for developing consultation models

  • L.P. Wesley et al.

    The use of an evidential-based model for representing knowledge and reasoning about images in the vision system

  • R.S. Michalski et al.

    Machine Learning

    (1983)
  • N.J. Nilsson

    Principles of Artificial Intelligence

    (1980)
  • R. Kowalski

    Predicate logic as a programming language

    Inform. Process.

    (1974)
  • Cited by (58)

    • Knowledge intensive Petri net framework for concurrent intelligent design of automatic assembly systems

      2001, Robotics and Computer-Integrated Manufacturing
      Citation 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.

    • Flexible process sequencing using Petri net theory

      1995, Computers and Industrial Engineering
    View all citing articles on Scopus
    View full text