A Fuzzy Petri Net for knowledge representation and reasoning
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 the FPN reductions is prese...
Gespeichert in:
Veröffentlicht in: | Information processing letters 1991-08, Vol.39 (3), p.165-171 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | 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 the FPN reductions is presented. The use of FPN yields an efficient method for automated decisionmaking. |
---|---|
ISSN: | 0020-0190 1872-6119 |
DOI: | 10.1016/0020-0190(91)90114-W |