-
题名模态逻辑中公式的模态真度
- 1
-
-
作者
刘华丽
-
机构
西安石油大学理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第31期61-63,76,共4页
-
基金
国家自然科学基金No.90610012~~
-
文摘
在模态逻辑中提出了公式的模态真度理论,即D真度与?真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间。结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架。
-
关键词
模态逻辑
(n)模态真度
(n)模态相似度
(n)模态伪距离
(n)模态度量空间
-
Keywords
modal logic
(n) modal truth degree
(n) modal similarity degree
(n)modal pseudo-metric
(n)-modal pseudo-metric logic space
-
分类号
O153.3
[理学—基础数学]
-
-
题名模态逻辑中的(n)真度理论与和谐定理
被引量:11
- 2
-
-
作者
王国俊
段巧林
-
机构
上海市高可信计算重点实验室
陕西师范大学数学研究所
-
出处
《中国科学(F辑:信息科学)》
CSCD
2009年第2期234-245,共12页
-
基金
国家自然科学基金(批准号:10331010,10771129)
陕西师范大学211工程建设基金资助项目
-
文摘
首次在模态逻辑中通过有限模型建立了模态公式的(n)真度理论,得到了当模态词不出现时(n)真度与经典二值命题逻辑中的真度保持一致的和谐定理.研究了时态逻辑中命题的(n)真度随n变化的性态.提出了模态公式间的(n)相似度理论,并由此在全体公式之集中建立了(n)伪距离.得出了(n)模态逻辑度量空间,该空间以经典逻辑度量空间为子空间,从而可将经典命题逻辑中的近似推理理论推广到模态逻辑之中.
-
关键词
模态逻辑
(n)真度
和谐定理
时态逻辑
(n)模态相似度
(n)模态逻辑度量空间
近似推理
-
分类号
O141
[理学—基础数学]
-