兴义民族师范学院学报
興義民族師範學院學報
흥의민족사범학원학보
JOURNAL OF SOUTHWEST GUIZHOU TEACHERS'COLLEGE OF NATIONALITIES
2011年
1期
101-105,109
,共6页
中介命题逻辑%三值模型%无穷值模型
中介命題邏輯%三值模型%無窮值模型
중개명제라집%삼치모형%무궁치모형
medium proposition logic%three-valued model%infinite-valued model
中介逻辑ML（Medium Logic）,自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种真值域为[0,1]无穷值语义模型,张给出了一种真值域为[0,λ]∪（λ,1]（λ∈（0.5,1））的新无穷值语义模型,并分别证明了中介命题逻辑在无穷值模型下具有可靠性与完备性。在此基础上,进一步研究得到了中介命题逻辑的一种改进的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在该模型下也具有可靠性与完备性。该模型不仅较好的表达了＂当Afuz时~A真＂的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该模型进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的、可靠的。
中介邏輯ML（Medium Logic）,自建立瞭它的三值語義模型後,ML就被許多學者認定為三值邏輯。對于中介邏輯覈心理論的中介命題邏輯繫統,潘給齣瞭一種真值域為[0,1]無窮值語義模型,張給齣瞭一種真值域為[0,λ]∪（λ,1]（λ∈（0.5,1））的新無窮值語義模型,併分彆證明瞭中介命題邏輯在無窮值模型下具有可靠性與完備性。在此基礎上,進一步研究得到瞭中介命題邏輯的一種改進的無窮值語義模型,研究瞭它的性質,併證明瞭中介命題邏輯在該模型下也具有可靠性與完備性。該模型不僅較好的錶達瞭＂噹Afuz時~A真＂的情形,而且其λ值的確定,可根據一定的實例知識計算齣來,具有客觀性。該模型進一步錶明用中介邏輯作為模糊知識的錶示與推理的工具是可行的、可靠的。
중개라집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.
