Computer Science ›› 2014, Vol. 41 ›› Issue (9): 274-278.doi: 10.11896/j.issn.1002-137X.2014.09.052
Previous Articles Next Articles
ZHANG Jia-feng and XU Yang
| [1] Robinson J P．A machine-oriented logic based on the resolution principle [J]．Journal of the ACM,1965,12(1):23-41 [2] 刘叙华,姜云飞．定理机器证明[M]．北京:科学出版社,1987 [3] Xu Yang,Ruan Da,Kerre Etienne E,et al．α-Resolution principle based on lattice-valued propositional logic LP(X) [J]．Information Sciences,2000,130:195-222 [4] Xu Yang,Ruan Da,Kerre Etienne E,et al．α-Resolution principle based on first-order lattice-valued logic LF(X) [J]．Information Sciences,2001,132:221-239 [5] 徐扬．格蕴涵代数[J]．西南交通大学学报,1993,28(1):20-27 [6] 周平,姜明,孙西芃．格值一阶逻辑系统LF(X)中带广义量词的α-归结原理[J]．模糊系统与数学,2008,22(5):10-15 [7] 夏世芬,秦应兵,徐扬．格值命题逻辑系统中基于滤子的MP归结演绎[J]．模糊系统与数学,2009,23(1):1-5 [8] 李晓冰,邱小平,徐扬．格值命题逻辑系统L2n+1P(X)中基于半正则广义文字的自动推理算法[J]．模糊系统与数学,2009,23(4):21-26 [9] Xu Yang,Liu Jun,Song Zhen-ming,et al．On Semantics ofL-valued first-order logic Lvft[J],Int．J．General Systems,2000,29(1):53-79 [10] 徐扬,秦克云,宋振明．一阶格值逻辑系统FM的语义[J]．科学通报,1997,42(10):1337-1340 [11] 王伟．格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法研究[D]．成都:西南交通大学,2002 [12] 许伟涛,徐扬．语言真值格值命题逻辑系统中广义文字的归结判定[J]．计算机科学,2013,40(2):208-211 [13] He Xing-xing,Liu Jun,Xu Yang,et al．α-Lock resolution method for a lattice-valued first-order logic [J]．Engineering Applications of Artificial Intelligence,2011,24(7):1274-1280 [14] He Xing-xing,Xu Yang,Liu Jun,et al．On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic [J]．Soft Computing,2012,16(4):699-709 [15] He Xing-xing,Xu Yang,Li Ying-fang,et al．α-Satisfiability and α-lock resolution for a lattice-valued logic LP(X) [C]∥Lecture Notes in Artificial Intelligence(LANI)．2010:6077:320-327 [16] He Xing-xing,Xu Yang,Li Ying-fang,et al．On α-satisfiabilityand its α-lock resolution in a finite lattice-valued propositional logic [J]．Logic Journal of IGPL,2012,20(3):579-588 [17] Zhong Xiao-mei,Liu Jun,Chen Shu-wei,et al．α-Quasi-lock se-mantic resolution method for linguistic truth-valued lattice-va-lued propositional logic LV(n×2)P(X) [C]∥Wang Yinglin,Li Tianrui．Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2011)．Hongkong:Springer,2011:159-169 [18] Zhong Xiao-mei,Xu Yang,Liu Jun,et al．General form of α-resolution based on linguistic truth-valued lattice-valued logic [J].Soft Computing,2012,0:1767-1781 [19] Xu Wei-tao,Xu Yang．α-Generalized linear resolution methodbased on lattice-valued propositional logic LP(X) [C]∥Ding Yong-sheng,Li Yong-min,Fan Zhun,et al．2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD2011)． Shanghai:Institute of Electrical and ElectronicsEngineers,2011:1469-1473 [20] Xu Wei-tao,Xu Yang．α-Ordered linear resolution method forlattice-valued logic based on lattice implication algebra [J]． Internation Journal of Applied Management Science,2012,4(4):460-479 [21] Zhang Jia-feng,Xu Yang．α-Semantic resolution method in lat-tice-valued logic [C]∥Ding Yong-sheng,Li Yong-min,Fan Zhun,et al．2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD2011)．Shanghai:Institute of Electrical and Electronics Engineers,2011:1152-1157 [22] 张家锋,徐扬,何星星．格值命题逻辑系统LP(X)的语义归结方法[J]．辽宁工程技术大学学报,2011,30(4):611-614 [23] 张家锋,徐扬,何星星．格值语义归结推理方法[J]．计算机科学,2011,38(9):201-204 |
| No related articles found! |
|
||
Home