期刊文献+
共找到2篇文章
< 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
模态逻辑中的(n)真度理论与和谐定理 被引量:11
2
作者 王国俊 段巧林 《中国科学(F辑:信息科学)》 CSCD 2009年第2期234-245,共12页
首次在模态逻辑中通过有限模型建立了模态公式的(n)真度理论,得到了当模态词不出现时(n)真度与经典二值命题逻辑中的真度保持一致的和谐定理.研究了时态逻辑中命题的(n)真度随n变化的性态.提出了模态公式间的(n)相似度理论,并由此在全... 首次在模态逻辑中通过有限模型建立了模态公式的(n)真度理论,得到了当模态词不出现时(n)真度与经典二值命题逻辑中的真度保持一致的和谐定理.研究了时态逻辑中命题的(n)真度随n变化的性态.提出了模态公式间的(n)相似度理论,并由此在全体公式之集中建立了(n)伪距离.得出了(n)模态逻辑度量空间,该空间以经典逻辑度量空间为子空间,从而可将经典命题逻辑中的近似推理理论推广到模态逻辑之中. 展开更多
关键词 模态逻辑 (n)真 和谐定理 时态逻辑 (n)模态相似 (n)模态逻辑量空间 近似推理
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部