𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Workshop on knowledge-based systems and models of logical reasoning


Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
244 KB
Volume
27
Category
Article
ISSN
0165-0114

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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