未找到相关数据
使用Petri网T－不变量求解子句的逻辑推论
被引：15
作者：
林闯
王鼎兴
机构：
[1] 国家信息中心研究所，清华大学计算机科学与技术系
来源：
关键词：
逻辑推论;
子句;
四值逻辑;
Petri网;
T－不变量;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
140502 [人工智能];
摘要：
本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用．
引用
收藏
页数：6
相关论文