Computer Science ›› 2015, Vol. 42 ›› Issue (11): 123-129.

### α-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.

 [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!
Viewed
Full text

Abstract

Cited

Shared
Discussed
 [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 .