General Form of a-Ordered Linear Resolution Method for Lattice-Valued Logic System with Linguistic Truth-Values

被引：0
|
作者：
Xu, Weitao [1 ]
Xu, Yang [2 ]
机构：
[1] Henan Univ Technol, Coll Informat Sci & Engn, Zhengzhou 450001, Peoples R China
[2] Southwest Jiaotong Univ, Dept Maths, Chengdu 610031, Peoples R China
来源：
2016 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY) | 2016年
基金：
中国国家自然科学基金;
关键词：
automated reasoning; linguistic truth-valued lattice-valued logic system; ordered linear resolution; generalized literal; generalized clause;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In the present paper, general form of alpha-ordered linear resolution method IS established m lattice-valued logic system with linguistic truth-values. Firstly, general form of alpha-ordered linear resolution method is investigated in linguistics truth-valued lattice-valued propositional logic system based on linguistics truth-valued lattice implication algebra. It can obtain a resolvent under a linguistic truth-valued level for a set of generalized clauses. Both soundness and weak completeness theorems are established. Then, general form of alpha-ordered linear resolution method IS established in linguistics truth-valued lattice-valued first-order logic system. The soundness theorem is also given. Finally, By using lift lemma, the weak completeness theorem is also obtained. This method provides a new resolution approach for automated reasoning based on lattice-valued logic system.
引用
收藏
页数：7
相关论文
共 50 条
  • [41] A Resolution Method for Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic
    Xiao, Lin
    Meng, Jia
    Ding, Shifei
    Zou, Li
    2016 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2016, : 904 - +
  • [42] Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Propositional Logic
    Zou, Li
    Sun, Fang
    Xu, Yang
    2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2, 2008, : 141 - +
  • [43] α-SEMI-LOCK SEMANTIC RESOLUTION METHOD BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X)
    Zhong, Xiaomei
    Xu, Yang
    He, Xingxing
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 340 - 345
  • [44] Reasoning under Uncertainty Based on Linguistic Truth-Valued Lattice Values First-Order Logic (II)
    Deng, Wenhong
    Lai, Jiajun
    Xu, Yang
    He, Xingxing
    Zhang, Jiafeng
    ICCIT: 2009 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2009, : 1666 - 1669
  • [45] α-Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X)
    Zhong, Xiaomei
    Xu, Yang
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2014, 22 (4-6) : 581 - 598
  • [46] APPROXIMATE REASONING METHOD IN LINGUISTIC TRUTH-VALUED FIRST-ORDER LOGIC SYSTEM
    Cui, Xiaosong
    Liu, Di
    Wen, Xin
    Zou, Li
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 92 - 97
  • [47] Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic
    刘新
    殷明娥
    孙芳
    邹丽
    Journal of Donghua University(English Edition), 2010, 27 (02) : 135 - 138
  • [48] α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
    Jiafeng Zhang
    Yang Xu
    Xingxing He
    International Journal of Computational Intelligence Systems, 2014, 7 : 160 - 171
  • [49] Soft-resolution method of six-element linguistic truth-valued intuitionistic fuzzy propositional logic
    Liu, Xin
    Yin, Ming-E
    Sun, Fang
    Zou, Li
    Journal of Donghua University (English Edition), 2010, 27 (02) : 135 - 138
  • [50] a- Generalized Semantic Resolution Method in Linguistic Truth- valued Propositional Logic L V ( n ε 2) P(
    Zhang, Jiafeng
    Xu, Yang
    He, Xingxing
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2014, 7 (01) : 160 - 171
12345