期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X) 被引量：4

α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)
下载PDF
导出
摘要 This paper is focused on automated reasoning based on classical propositional logic and lattice valued propositional logic LP(X) . A new method of automated reasoning is given, and the soundness and completeness theorems of this method are proved. This paper is focused on automated reasoning based on classical propositional logic and lattice valued propositional logic LP(X) . A new method of automated reasoning is given, and the soundness and completeness theorems of this method are proved.
作者 王伟 徐扬 王学芳
机构地区 Department of Applied Mathematics Department of Applied Mathematics
出处 《Journal of Southwest Jiaotong University(English Edition)》 2002年第1期98-111,共14页 西南交通大学学报（英文版）
基金 theNationalNaturalScienceFoundationofChina (No .60 0 740 1 4)
关键词 resolution pair unsatisfiablity matrix representation α resolution pair α unsatisfiablity resolution pair, unsatisfiablity, matrix representation, α resolution pair, α unsatisfiablity
分类号 TP181 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

同被引文献17

  • 1Qin Keyun,Xu Yang( Dept. of Appl. Mathematics, Southwest Jiaotong University)Chengdu 610031,China.Lattice-Valued Proposition Logic(Ⅱ)[J].Journal of Modern Transportation,1994,11(1):22-27. 被引量：13
  • 2王伟,姜保庆,徐扬.格值命题逻辑系统LP(X)中广义文字的α-归结域[J].西南交通大学学报,2005,40(4):544-547. 被引量：1
  • 3邱小平.关于办公信息系统智能化的研究[D].成都:西南交通大学,2004.
  • 4Xu Y, Qin K Y. Lattice-valued propositional logic ( Ⅰ )[J]. Journal of Southwest Jiaotong University, 1993,1 (2): 123-128.
  • 5Xu Y, et al. α-resolution principle based on lattice-valued logic LP(X) [J]. Information Science,2000,1(30):195- 223.
  • 6Wang W, Jiang B Q, Xu Y. a-automated reasoning method based on LP(X) [A]. FLINS 2004 6th International Conference on Applied Computational Intelligence[C]. Bankenberghe : World Scientific Press, 2004,105- 110.
  • 7Meng D, Wang X F, Xu Y, Qin K Y. Resolution based on six lattice-valued proposition logic LnP(X) [A]. IEEE International Conference on Systems,Man & Cybernetics[C]. 2003:2489-2494.
  • 8Qiu X P, Li H M, Du Y J, Xu Y. Adding forecast support to workflow management system by elassical logie formula computing[A]. Proceedings of the second international conference on machine learning and cybernetics (ICMLC' 2003)[C]. Xi' an, 2003, Volumn 4 : 2061- 2066.
  • 9Li H M, Qiu X P, Xu Y. An automated reasoning method based on path searching[A]. Proceedings of the sixth international conference for young computer scientist (ICYCS' 2001)[C]. 2001:318-321.
  • 10Xu Y, Da R, Kerre E E. α-resolution principle on lattice-valued propositional logic LP(X) [J]. Information Sciences,2000;130: 1-29.

引证文献4

二级引证文献10

Journal of Southwest Jiaotong University(English Edition)
2002年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部