%0 Journal Article
%T 现代模态逻辑在计算机科学中的应用研究
%A 陈志远？
%A 黄少滨？
%A 韩丽丽？
%J 计算机科学
%D 2013
%X 现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑。克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程序设计语言、知识表示与多代理系统以及模型检测、定理机器证明和非单调逻辑5个方面的应用,阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势,最后指出现代模态逻辑研究中存在的问题,并预测其未来可能的研究与发展方向。
%K 模态逻辑
%K 可能世界
%K 多agent系统
%K 模型检测
%K 量子力学
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20136A0017&flag=1