α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)

被引：0
|
作者：
Jiafeng Zhang
Yang Xu
Xingxing He
机构：
[1] Southwest Jiaotong University,Intelligent Control Development Center
[2] Bijie University,Center of Logic, Language and Cognition
来源：
International Journal of Computational Intelligence Systems | 2014年 / 7卷
关键词：
Automated reasoning; Resolution principle; Semantic resolution method; Lattice-valued logic; Linguistic truth-valued lattice implication algebras;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic. Concretely, α-generalized semantic resolution for lattice-valued propositional logic (ℒn × ℒ2)P(X) is equivalently transformed into that for lattice-valued propositional logic ℒnP(X)(i ∈ (1,2,⋯,n)). A similar conclusion is obtained between the α-generalized semantic resolution for linguistic truth-valued lattice-valued propositional logic ℒV(n×2)P(X) and that for lattice-valued propositional logic ℒV(n)P(X)(i ∈ (1,2,⋯,n)). Secondly, the generalized semantic resolution for lattice-valued propositional logic ℒnP(X) based on a chain-type truth-valued field is investigated and its soundness and weak completeness are given. The Presented work provides some foundations for resolution-based automated reasoning in linguistic truth-valued lattice-valued logic based on lattice implication algebra.
引用
收藏
页码：160 / 171
页数：11
相关论文
共 44 条
  • [1] 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
  • [2] 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
  • [3] α-generalized Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic System
    Xu, Weitao
    2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE), 2017,
  • [4] Weak completeness of resolution in a linguistic truth-valued propositional logic
    Xu, Yang
    Chen, Shuwei
    Liu, Jun
    Ruan, Da
    THEORETICAL ADVANCES AND APPLICATIONS OF FUZZY LOGIC AND SOFT COMPUTING, 2007, 42 : 358 - +
  • [5] α-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 - +
  • [6] 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 - +
  • [7] THE STRUCTURE OF GENERALIZED LITERALS IN LINGUISTIC TRUTH-VALUED PROPOSITIONAL LOGIC SYSTEMS
    Xu, Weitao
    Xu, Yang
    Li, Tianrui
    INTELLIGENT DECISION MAKING SYSTEMS, VOL. 2, 2010, : 631 - 636
  • [8] 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 - +
  • [9] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2012, 5 (06): : 1120 - 1134
  • [10] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    Xingxing He
    Yang Xu
    Jun Liu
    Shuwei Chen
    International Journal of Computational Intelligence Systems, 2012, 5 : 1120 - 1134
12345