-
题名现代模态逻辑在计算机科学中的应用研究
被引量：7
- 1
-
-
作者
陈志远
黄少滨
韩丽丽
-
机构
哈尔滨工程大学计算机科学与技术学院
中航工业集团空气动力研究院
-
出处
《计算机科学》
CSCD
北大核心
2013年第06A期70-76,共7页
-
基金
国家自然科学基金(71272216
60903080)
+3 种基金
国家科技支撑计划课题(2009BAH42B02
2012BAH08B02)
中央高校基本科研业务专项资金项目(100603
1212)资助
-
文摘
现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑。克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程序设计语言、知识表示与多代理系统以及模型检测、定理机器证明和非单调逻辑5个方面的应用,阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势,最后指出现代模态逻辑研究中存在的问题,并预测其未来可能的研究与发展方向。
-
关键词
模态逻辑
可能世界
多AGENT系统
模型检测
量子力学
-
Keywords
Modal logic,Possible world, Multi-agent system, Model checking, Quantum mechanics
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
