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 条
  • [21] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Weitao Xu
    Wenqiang Zhang
    Dexian Zhang
    Yang Xu
    Xiaodong Pan
    International Journal of Computational Intelligence Systems, 2015, 8 : 75 - 84
  • [22] A unified algorithm for finding -IESFs in linguistic truth-valued lattice-valued propositional logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    SOFT COMPUTING, 2014, 18 (11) : 2135 - 2147
  • [23] AN AXIOMATIZABLE LATTICE-ORDERED LINGUISTIC TRUTH-VALUED LOGIC
    Liu, Jun
    Xu, Yang
    Ruan, Da
    COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 72 - +
  • [24] Soft-resolution method of linguistic hedges lattice-valued first-order logic
    Zou, L
    Das, PK
    Xu, Y
    Meng, D
    PROCEEDINGS OF THE 8TH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1-3, 2005, : 136 - 139
  • [25] Linguistic Truth-value Lattice-valued Logic System with Important Coefficient and Its Application to Evaluation System
    Meng, Dan
    Jia, Huading
    Zhang, Zaiqiang
    Xu, Yang
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (06): : 1 - 6
  • [26] α-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic LV(nx2)P(X)
    Zhong, Xiaomei
    Liu, Jun
    Chen, Shuwei
    Xu, Yang
    FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011), 2011, 122 : 159 - +
  • [27] α-Lock resolution method for a lattice-valued first-order logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Ruan, Da
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2011, 24 (07) : 1274 - 1280
  • [28] Resolution method of linguistic truth-valued propositional logic
    Zou, L
    Liu, X
    Xu, Y
    PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON NEURAL NETWORKS AND BRAIN, VOLS 1-3, 2005, : 1996 - 1999
  • [29] Reasoning rules of linguistic truth values lattice-valued first order logic with generalized quantifiers based on L-LIA
    Lai, Jiajun
    Xu, Yang
    Pan, Xiaodong
    Chang, Zhiyan
    Xu, Kaijun
    Li, Xiaobing
    COMPUTATIONAL INTELLIGENCE IN DECISION AND CONTROL, 2008, 1 : 205 - 210
  • [30] Non-Clausal Multi-ary α-ordered Linear Generalized Resolution Method for Lattice-Valued First-order Logic
    Jia, Hairui
    Liu, Yi
    Xu, Yang
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 21 - 25
12345