✦ LIBER ✦
Logical inference of clauses based on Petri net models
✍ Scribed by Chuang Lin; Samuel T. Chanson
- Publisher
- John Wiley and Sons
- Year
- 1998
- Tongue
- English
- Weight
- 178 KB
- Volume
- 13
- Category
- Article
- ISSN
- 0884-8173
No coin nor oath required. For personal study only.
✦ Synopsis
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.