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 条
  • [31] α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
    Xiaomei Zhong
    Yang Xu
    Jun Liu
    Shuwei Chen
    International Journal of Computational Intelligence Systems, 2014, 7 : 418 - 431
  • [32] α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
    Zhong, Xiaomei
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2014, 7 (03) : 418 - 431
  • [33] Double-layer Modificatory Linguistic Truth-value Lattice-valued Evaluation Method
    Meng, Dan
    Huang, Xu
    Zhang, Zaiqiang
    Xu, Yang
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (9A): : 167 - 174
  • [34] The α-resolution field of indecomposable extremely simple form of lattice-valued propositional logic LP(X)
    Wang, W
    Xu, Y
    Qin, KY
    Jiang, BQ
    COMPUTATIONAL INTELLIGENT SYSTEMS FOR APPLIED RESEARCH, 2002, : 75 - 80
  • [35] α-LOCK SEMANTIC RESOLUTION METHOD BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X)
    Zhong, Xiaomei
    Xu, Yang
    Chen, Shangyun
    He, Xingxing
    UNCERTAINTY MODELLING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2016, 10 : 471 - 476
  • [36] α-generalized resolution principle based on the lattice-valued first-order logic system
    Xu, W. (hnxmxwt@163.com), 1600, Science Press (41):
  • [37] α-Generalized resolution method based on linguistic truth-valued first-order logic system
    Xu, Weitao
    Xu, Yang
    DATA SCIENCE AND KNOWLEDGE ENGINEERING FOR SENSING DECISION SUPPORT, 2018, 11 : 758 - 765
  • [38] Linguistic truth-valued lattice value propositional logic system lP(X)
    Lai, Jiajun
    Xu, Kaijun
    Xu, Yang
    Zeng, Zhaoyou
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [39] A kind of resolution method of linguistic truth-valued propositional logic based on LIA
    Zou, Li
    Li, Jinglong
    Xu, Kaijun
    Xu, Yang
    FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 1, PROCEEDINGS, 2007, : 32 - +
  • [40] α-Lock Semantic Resolution Method Based on Lattice-Valued First-Order Logic LF(X)
    Zhong, Xiaomei
    Xu, Yang
    Chen, Shuwei
    He, Xingxing
    2016 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY), 2016,
12345