模态逻辑的自动推理研究

本课题组开始执行课题以来，按照课题的研究计划和研究内容，对模态逻辑的知识表示方法、模态推理方法和溯因诊断推理，进行了深入细致地研究。长期开展课题组学术讨论班，并与国外建立学术交流。取得了一批重要的研究成果。发表学术论文25篇，其中计算机学报8篇，软件学报4篇。模式识别与人工智能1篇，吉大学报5篇，计算机科学2篇等。1997年，联合获得国家教委科技进步二等奖。具体在以下几方面取得成果：1.模态逻辑的归结推理方法与推理策略；2.次协调的模态逻辑及其推理方法；3.模态TABLEAU推理方法与模态知识表示；4.经典逻辑基于归结方法的定理机器证明；5.溯因诊断推理方法、约束问题求解和模态逻辑程序设计。