中介命题逻辑一种改进的无穷值语义模型  

One Improved Infinite-Valued Semantic Model of Medium Proposition Logic

在线阅读下载全文

作  者:张胜礼[1] 

机构地区:[1]兴义民族师范学院,贵州兴义562400

出  处:《兴义民族师范学院学报》2011年第1期101-105,109,共6页Journal of Minzu Normal University of Xingyi

摘  要:中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种真值域为[0,1]无穷值语义模型,张给出了一种真值域为[0,λ]∪(λ,1](λ∈(0.5,1))的新无穷值语义模型,并分别证明了中介命题逻辑在无穷值模型下具有可靠性与完备性。在此基础上,进一步研究得到了中介命题逻辑的一种改进的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在该模型下也具有可靠性与完备性。该模型不仅较好的表达了"当Afuz时~A真"的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该模型进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的、可靠的。Since three-valued model of medium logic(ML) was established,ML has been affirmed one kind of three-valued logic by many scholars.However,for medium proposition logic(MP) considered as the kernel theory of ML,Pan gave out an infinite-valued model of MP whose truth valued range is,and Zhang presented a new infinite-valued model of MP whose truth valued range is∪(λ,1](λ ∈(0.5,1)),on which based,proved the completeness and soundness of MP,respectively.Based on this,this paper sets up an improved infinite-valued semantic model of MP,some properties of the model are investigated,and using this model,the completeness and soundness of MP are proved,also.This new model not only better expresses that situaton which is "~A true when A fuz",but also determines the λ truth in the model by calculating according to some demonstration knowledge,so the λtruth possesses certain objectivity.Moreover,this model further shows that it is possible and reliable to represent fuzzy knowledge and reason using the medium logic.

关 键 词:中介命题逻辑 三值模型 无穷值模型 

分 类 号:TP301.6[自动化与计算机技术—计算机系统结构] O141.4[自动化与计算机技术—计算机科学与技术]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象