| 使用Petri网T－不变量求解子句的逻辑推论 |
| |
| 引用本文： | 林闯,王鼎兴.使用Petri网T－不变量求解子句的逻辑推论[J].计算机学报,1996(10). |
| |
| 作者姓名： | 林闯 王鼎兴 |
| |
| 作者单位： | 国家信息中心研究所，清华大学计算机科学与技术系 |
| |
| 基金项目： | 国家自然科学基金,中科院管理、决策与信息系统（MIDS）开放实验室的资助 |
| |
| 摘 要： | 本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用．
|
| 关 键 词： | 逻辑推论，子句，四值逻辑，Petri网，T－不变量 |
LOGICAL INFERENCE CLAUSES IN PETRI NET MODELS USING T-INVARIANTS |
| |
| Lin Chuang.LOGICAL INFERENCE CLAUSES IN PETRI NET MODELS USING T-INVARIANTS[J].Chinese Journal of Computers,1996(10). |
| |
| Authors: | Lin Chuang |
| |
| Abstract: | This paper studies Petri net models for the clause logic rules and applies the Petri net analysis method to the logical inference. Introducing the four-valued logic and the conflict transition concept, the Petri net model of non-Horn clauses can be construe!ed and the inference problem of clauses can be solved using the Tinvariant method. Further more, the Petri net models can be used for the forward inference and the backward inference. |
| |
| Keywords: | Logical inference clauses four-valued logic Petri nets T-invariants |
| 本文献已被 CNKI 等数据库收录！ |
