In: Information Processing Letters, Vol. 39, pages 165-171. 1991.
Abstract: A new type of Fuzzy Petri Net (FPN) is proposed for representing knowledge. An algorithm is presented for checking the consistency of a fuzzy knowledge base via a set of reduction rules that preserve the properties of the FPN. A refutation method for theorem proving using FPN reductions is presented. The use of FPN yields an efficient method for automated decision making.
Keywords: fuzzy net (for) knowledge representation (and) reasoning; knowledge base consistency; net reduction.