现代模态逻辑在计算机科学中的应用研究

• 作者: 陈志远 韩丽丽 黄少滨
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模态逻辑 可能世界 多Agent系统 模型检测 量子力学
• 年，卷（期）: 2013,（z1）
• 所属期刊栏目: 智能算法与优化
• 页码范围: 70-76
• 页数: 7页
• 分类号: TP311.5
• 字数: 9983字
• 语种: 中文

摘要

现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑.克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域.介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程序设计语言、知识表示与多代理系统以及模型检测、定理机器证明和非单调逻辑5个方面的应用,阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势,最后指出现代模态逻辑研究中存在的问题,并预测其未来可能的研究与发展方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄少滨	哈尔滨工程大学计算机科学与技术学院	55	319	10.0	15.0
2	陈志远	哈尔滨工程大学计算机科学与技术学院	12	46	5.0	6.0
3	韩丽丽		1	6	1.0	1.0