摘要
在模态逻辑中提出了公式的模态真度理论,即D真度与?真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间。结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架。
The concepts of modal truth degree of logic formulae（i.e., A truth degree and 0 truth degree） in modal logic are proposed in this paper.The concept of modal truth degree in a given K_ripke model is initially given,then based on this,the concept of （n） modal truth degree is proposed as well.Finally,the modal similarity degree between any two formulae is introduced, and the modal pseudo-metric between any two formulae is therefore derived.Compared with [9],the results obtained in the present paper embodies the idea of modal connectives A and 0, and it provides a kind of approximate reasoning mechanism in modal logic from another standpoint.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第31期61-63,76,共4页
Computer Engineering and Applications
基金
国家自然科学基金No.90610012~~
作者简介
刘华丽（1968-），女，副教授，主要从事基础数学研究与教学。E-mail： lhl1901@ 163.com
