a- Generalized Semantic Resolution Method in Linguistic Truth- valued Propositional Logic L V ( n ε 2) P(

被引：1
|
作者：
Zhang, Jiafeng [1 ,2 ]
Xu, Yang [1 ]
He, Xingxing [1 ]
机构：
[1] Southwest Jiaotong Univ, Intelligent Control Dev Ctr, Chengdu 610031, Sichuan Provinc, Peoples R China
[2] Bijie Univ, Ctr Log Language & Cognit, Bijie 551700, Guizhou Provinc, Peoples R China
来源：
INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS | 2014年 / 7卷 / 01期
基金：
美国国家科学基金会;
关键词：
Automated reasoning; Resolution principle; Semantic resolution method; Lattice-valued logic; Linguistic truth-valued lattice implication algebras; FUZZY-LOGIC;
D O I：
10.1080/18756891.2013.857895
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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 (L(n)x L-2)P(X) is equivalently transformed into that for lattice-valued propositional logic LnP(X)(i {1,2...,n}). A similar conclusion is obtained between the alpha-generalized semantic resolution for linguistic truth-valued lattice-valued propositional logic LV(nx2)P(X) and that for lattice-valued propositional logic LV(n)P(X)(i {1,2,...,n}). Secondly, the generalized semantic resolution for lattice-valued propositional logic LnP(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
页数：12
相关论文
共 26 条
  • [21] α-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
  • [22] α-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
  • [23] General Form of a-Ordered Linear Resolution Method for Lattice-Valued Logic System with Linguistic Truth-Values
    Xu, Weitao
    Xu, Yang
    2016 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY), 2016,
  • [24] 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
  • [25] α - RESOLUTION FIELDS OF GENERALIZED LITERALS OF LATTICE-VALUED LOGIC Ln x2 P(X)
    Zhang, Jiafeng
    Xu, Yang
    Liu, Yi
    Qin, Xiaoyan
    COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 99 - +
  • [26] α-Input and α-Unit Resolution Methods for Generalized Horn Clause Set in L(V(n×2))F(X)
    何星星
    徐扬
    李莹芳
    刘军
    Journal of Donghua University(English Edition), 2012, 29 (01) : 66 - 70
123