模态逻辑中公式的模态真度

摘要：

在模态逻辑中提出了公式的模态真度理论,即△真度与◇真度.先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间.结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架.

关键词：模态逻辑、(n)模态真度、(n)模态相似度、(n)模态伪距离、(n)模态度量空间

所属期刊栏目：46

分类号：O153.3(代数、数论、组合理论)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 90610012

在线出版日期：2011-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：61-63,76