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

第4O卷 第6A期 计 算 机 科 学 Vo1．40No．6A 2013年 6月 Computer Science June2013 现代模态逻辑在计算机科学中的应用研究 陈志远 黄少滨 韩丽丽。 (哈尔滨工程大学计算机科学与技术学院 哈尔滨 150001) (中航工业集团空气动力研究院 哈尔滨150O01) 摘 要 现代模态逻辑是在经典数理逻辑基础上发展起来的，主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻 辑、时态逻辑与动态逻辑。克里普克语义模型的建立，使得模态逻辑成为现代逻辑的重要分支之一，并成功应用到数 学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要 内容，重点综述 了现代模 态逻辑在计算机科学的程序设计语言、知识表示与多代理系统以及模型检测、定理机器证明和非单调逻辑5个方面的 应用，阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势，最后指出现代模态逻辑研究中存在 的问题，并预测其未来可能的研究与发展方向。 关键词 模态逻辑，可能世界 ，多Agent系统，模型检测，量子力学 中图法分类号 TP311．5 文献标识码 A ResearchonApplicationsofM odernModalLogicinComputerScience CHEN Zhi-yuan1 HUANG Shao-biff HAN Li-li (ColiegeofComputerScienceandTechnology，HarbinEngineeringUniversity，Harbin150001，China) (Aerodynamicsresearchinstitute，AviationIndustryCorporationofChina，Harbin150001，China) Abstract Modem modal1ogicissetupOnthebasisofclassicalmathematical1ogic，andmainlyincludesnarrow moda1 logic，deonticlogic，epistemiclogic，belieflogic，temporallogicanddynamiclogic．W iththeemergenceoftheKripkese- mantlemodel，moda1logichasbecomeoneofhtemostimportantbranchesoflogics，and hasbeensuccessfullyappliedtO manyfieldssuchasmathema tics，economics，socia1science，computerscienceandquantum mechanics．Thispaperintro— ducedthemaincontentsofmodem modallogic，andmainlyoverviewedthefollowingthreeapplicationaspectsofmodem modallogicwhich includeprogramminglnaguage，knowledgerepresentation，multi-agentsystem ，modelchecking，me— chanicaltheorem provingand nomonotoniclogic．AtthesalTletime，thispaperpresentedtheresearchtargets，there— searchadvancesandthedevelopmenttrendofmodem modallogic．Atlast，thepaperpointedouttheproblemsinre— searchonmodem modallogica