计算机科学 ›› 2015, Vol. 42 ›› Issue (4): 249-252.doi: 10.11896/j.issn.1002-137X.2015.04.051
刘 熠,徐 扬,贾海瑞
LIU Yi, XU Yang and JIA Hai-rui
摘要: 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。
[1] Anatoli D,Robert N,Andrei V.Stratified Resolution[J].Journal of Symbolic Computation,2003,36:79-99 [2] 吴茂康,缪淮扣.自动定理证明中的一个通用证明法[J].上海大学学报:自然科学版,1997,3(3):283-288 [3] 刘叙华.基于归结方法的自动推理[M].北京:科学出版社,1994 [4] 刘叙华.广义模糊逻辑和锁语义归结原理[J].计算机学报,1980(2):97-111 [5] 蔡致暖,黄乾,黄庆彦,等.基于支持集策略的归结推理方法的实现及其优化[J].现代计算机,2005(5):92-94 [6] Xu Y,Qin K Y.Lattice-Valued Propositional Logic (I) [J].Southwest Jiaotong University,1993,1(2):123-128 [7] Xu Y,Ruan D,et al.α-Resolution principle based on first-order lattice-valued logic LF(X)[J].Information Sciences,2001,132(1-4):221-239 [8] Xu Y,Qin K Y,Liu J,et al.L-Valued Proposition Logic Lvpl[J].Information Sciences,1999,4:205-235 [9] Xu Y,Liu J,Song Z M,et al.On Semantics of L-valued First Order Logic Lvfl[J].Internat.J.Gen.Systems,2000,29(1):53-79 [10] Xu Y,Ruan D,Kerre E E,et al.α-Resolution Principle Based on Lattice-Valued Propositional Logic LP(X) [J].Information Scie-nces,2000,130:195-223 [11] Xu Y,Song Z M,Qin K Y,et al.Syntax of L-valued First-order Logic Lvfl[J].Internat.J.Multiple-Valued Logic,2001,7:213-257 [12] Xu Y,Ruan D,Kerre E E,et al.α-Resolution Principle Based on Lattice-valued First-order Logic LF(X) [J].Information Scie-nces,2001,2:221-239 [13] Xu Y,Ruan D,Qin K Q,et al.Lattice-valued Logic--An Alternative Approach to Treat Fuzziness and Incomparability[M].Springer-Verlag,2003 [14] Xu Y,Xu W T,Zhong X M,et al.α-Generalized Resolution Principle Based on Lattice-valued Propositional Logic LP(X)[C]∥Proceedings of the 9th International Conference on Foundations and Applications of Computational Intelligence.Chengdu(Emei),China,2010:66-71 [15] Xu Y,Liu J,Zhong X M,et al.Multi-ary α-Resolution Principle for a Lattice-valued Logic[J].IEEE Transactions on Fuzzy Systems,2013,21(5):88-912 [16] Xu Y,Liu J,Ruan D,et al.α-Resolution Determination in Lattice-valued First-order Logic LF(X) [J].Information Sciences,2011,181:1836-1862 [17] Liu Y,Jia H R,Xu Y.Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X) [J].International Journal of Computational Intelligence Systems,2013,6(5):943-953 [18] 刘熠,徐扬,秦亚.区间值(α,β)-模糊格蕴涵子代数[J].计算机科学,2011,8(4):263-266 [19] 张家锋,徐扬,何星星.格值语义归结推理方法[J].计算机科学,2011,8(9):201-204 |
No related articles found! |
|