Computer Science ›› 2015, Vol. 42 ›› Issue (11): 123-129.doi: 10.11896/j.issn.1002-137X.2015.11.026

Previous Articles     Next Articles

α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic

ZHANG Jia-feng, XU Yang and CHEN Qin   

  • Online:2018-11-14 Published:2018-11-14

Abstract: Linguistic-values-based intelligent information processing is one of the most important research directions in artificial intelligence,and resolution-based automated reasoning has been extensively studied because of its easy implement on computer.For improving the efficiency of α-resolution principle in linguistic truth-valued lattice-valued logic,we applied the semantic resolution strategy to α-resolution and investigated the resolution-based automated reasoning methodin lattice-valued logic.Firstly,the equivalence of α-semantic resolution in linguistic truth-valued lattice-valued propositional logic LV(n×2)P(X) and the α-semantic resolution in corresponding resolution level for LnP(X) was given,and the effectiveness of α-semantic resolution method was illustrated through an example.Subsequently,the semantic resolution algorithm for this resolution was investigated,and sound theorem and weak complete theorem of this semantic resolution method were proved.

Key words: Automated reasoning,Semantic resolution,Linguistic truth-valued lattice implication algebra,Lattice-valued logic

[1] Robinson J P.A Machine-oriented Logic Based on the Resolution Principle[J].J.ACM,1965,12(1):23-41
[2] 刘叙华,姜云飞.定理机器证明[M].北京:科学出版社,1987 Liu Xu-hua,Jiang Yun-fei.Mechanical Theorem Proving[M].Beijing:Chinese Science Press,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 Xu Yang.Lattice Implication Algebra[J].Journal of Southwest Jiaotong University,1993,28(1):20-27
[6] Pei Zheng,Ruan Da,Liu Jun,et al.Linguistic Values-based Intelligent Information Processing:Theory,Methods and Applications[M].Groningen:Atlantic Press,2009
[7] Xu Yang,Chen Shu-wei,Ma Jun.Linguistic Truth-valued Lattice Implication Algebra and its Properties[C]∥IMACS Multi Conference on Computational Engineering in System Application.Beijing:Tsinghua University press,2006:1413-1418
[8] Xu Yang,Chen Shu-wei,Liu Jun,et al.Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic[C]∥Melin P,Castillo O,Aguilar L T,et al.,eds.12th International Fuzzy Systems Association World Congress:Theoretical Advances and Applications of Fuzzy Logic and Soft Computing.Berlin Heidelberg,Springer,2007:358-366
[9] 李晓冰.基于语言真值格值逻辑的归结自动推理研究[D].成都:西南交通大学,2008 Li Xiao-bing.The Study of Resolution Automated Reasoning Based on Linguistic Truth-valued Logic[D].Chengdu:Southwest Jiaotong University,2008
[10] 王伟.基于L6P(X)的归结原理的研究[D].成都:西南交通大学,2007 Wang Wei.The Study of Resolution Principle Based on L6P(X)[D].Chengdu:Southwest Jiaotong University,2007
[11] 李晓冰,邱小平,徐扬.格值命题逻辑系统L9P(X)中的自动推理算法[J].计算机工程与应用,2008,44(10):6-9 Li Xiao-bing,Qiu Xiao-ping,Xu Yang.Automated Reasoning Algorithm in Lattice-valued Propositional Logic System L9P(X)[J].Computer Engineering and Applications,2008,44(10):6-9
[12] Xu Wei-tao,Xu Yang,Li Tian-rui.The Structure of Generalized Literals in Linguistic Truth-Valued Propositional Logic Systems[C]∥Vanhoof K,Ruan Da,Li Tian-rui,et al.,eds.2009 International Conference on Intelligent Systems and Knowledge Engineering.Hasselt,Belgium,2009:631-636
[13] 许伟涛.基于格值逻辑的语言真值α-广义线性归结自动推理研究[D].成都:西南交通大学,2011 Xu Wei-tao.The study of linguistic truth-valued α-generalized liner resolution automated reasoning based on lattice-valued logic[D].Chengdu:Southwest Jiaotong University,2011
[14] 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,10:1767-1781
[15] 钟小梅.基于格值逻辑的α-准锁语义归结自动推理研究[D].成都:西南交通大学,2012 Zhong Xiao-mei.The Study of α-Qusi-lock Semantic Resolution Automated Reasoning Based on Lattice-valued Logic[D].Chengdu:Southwest Jiaotong University,2012
[16] He Xing-xing,Xu Yang,Liu Jun.α-Generalized Lock Resolution Method in Linguistic Truth-valued Lattice-valued Logic[J].International Journal of Computational Intelligence Systems,2012,5(6):1120-1134
[17] 许伟涛,徐扬.语言真值格值命题逻辑系统中广义文字的归结判定[J].计算机科学,2013,40(2):208-211 Xu Wei-tao,Xu Yang.Resolution Determination of Generalized Literals in Linguistic Truth-valued Lattice-valued Propositional Logic System[J].Computer Science,2013,40(2):208-211
[18] 徐扬,秦克云.格值命题逻辑(Ⅰ)[J].西南交通大学学报,1993,28(1):123-128 Xu Yang,Qin Ke-yun.Lattice-valued Propositional Logic (I)[J].Journal of Southwest Jiaotong University,1993,28(1):123-128
[19] 秦克云,徐扬.格值命题逻辑(Ⅱ)[J].西南交通大学学报,1994,29(2):22-27 Qin Ke-yun,Xu Yang.Lattice-valued Propositional Logic (II)[J].Journal of Southwest Jiaotong University,1994,29(2):22-27
[20] 张家锋,徐扬,何星星.格值语义归结推理方法[J].计算机科学,2011,38(9):201-204 Zhang Jia-feng,Xu Yang,He Xing-xing.Lattice-valued Semantic Resolution Reasoning[J].Computer Science,2011,38(9):201-204

No related articles found!
Full text



[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .