Premium
Logical inference of clauses based on Petri net models
Author(s) -
Lin Chuang,
Chanson Samuel T.
Publication year - 1998
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/(sici)1098-111x(199809)13:9<821::aid-int3>3.0.co;2-k
Subject(s) - petri net , inference , computer science , artificial intelligence , programming language , theoretical computer science
This paper extends the logical inference of Horn clauses in Petri net models to cover a large class of non‐Horn clauses. Based on four‐valued logic and the conflict transition concept, we show how the Petri net model for this class of non‐Horn clauses can be constructed. The clause inference is solved by the T ‐invariant method or the fixpoint of markings. Both forward and backward inference can be used in our model. It is further shown that these techniques are efficient for the common classes of monotonic reasoning. © 1998 John Wiley & Sons, Inc.