检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张胜礼[1]
出 处:《兴义民族师范学院学报》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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.33