期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
模态逻辑中公式的模态真度
1
作者 刘华丽 《计算机工程与应用》 CSCD 北大核心 2010年第31期61-63,76,共4页
在模态逻辑中提出了公式的模态真度理论,即D真度与?真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了... 在模态逻辑中提出了公式的模态真度理论,即D真度与?真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间。结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架。 展开更多
关键词 模态逻辑 (n)模态真度 (n)模态相似度 (n)模态距离 (n)模态度量空间
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部