Logical inference of clauses based on Pe
✍
Chuang Lin; Samuel T. Chanson
📂
Article
📅
1998
🏛
John Wiley and Sons
🌐
English
⚖ 178 KB
👁 1 views
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 solv