摘要
中介逻辑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.
出处
《兴义民族师范学院学报》
2011年第1期101-105,109,共6页
Journal of Minzu Normal University of Xingyi
关键词
中介命题逻辑
三值模型
无穷值模型
medium proposition logic
three-valued model
infinite-valued model
