计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
31期
61-63,76
,共4页
模态逻辑%(n)模态真度%(n)模态相似度%(n)模态伪距离%(n)模态度量空间
模態邏輯%(n)模態真度%(n)模態相似度%(n)模態偽距離%(n)模態度量空間
모태라집%(n)모태진도%(n)모태상사도%(n)모태위거리%(n)모태도량공간
在模态逻辑中提出了公式的模态真度理论,即△真度与◇真度.先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间.结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架.
在模態邏輯中提齣瞭公式的模態真度理論,即△真度與◇真度.先給齣在一箇給定Kripke模型之下的模態真度理論,此後利用均勻概率思想,提齣瞭更為閤理的(n)模態真度理論,定義瞭兩公式之間的(n)模態相似度,併由此導齣瞭(n)模態偽距離,得到瞭相應的模態度量空間.結果同文[9]相比更能體現模態詞的思想特點,從而為在模態邏輯中展開近似推理提供一箇可能的框架.
재모태라집중제출료공식적모태진도이론,즉△진도여◇진도.선급출재일개급정Kripke모형지하적모태진도이론,차후이용균균개솔사상,제출료경위합리적(n)모태진도이론,정의료량공식지간적(n)모태상사도,병유차도출료(n)모태위거리,득도료상응적모태도량공간.결과동문[9]상비경능체현모태사적사상특점,종이위재모태라집중전개근사추리제공일개가능적광가.