命题与模态逻辑的扩展规则推理与混合推理方法研究

项目名称： 命题与模态逻辑的扩展规则推理与混合推理方法研究

项目编号： No.61300049

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 吕帅

作者单位： 吉林大学

项目金额： 23万元

中文摘要： 相对于现有推理方法，新型推理方法的性能优势与适用性，是其在现实问题处理中得以应用与推广的基础。扩展规则推理方法是2003年提出的一类新型推理方法，得到了国内外同行的认可。本课题将深入研究命题与模态逻辑的扩展规则推理与混合推理方法，主要包括：1）利用启发函数、选择函数和增量求解等提高扩展规则推理方法的推理能力和求解效率；2）分析扩展规则与归结方法对于不同问题域的适应性，构建相应的知识编译策略，结合扩展规则、归结、表推演和知识编译等设计并实现推理能力较强的混合推理方法；3）利用破坏性规则、语义转换、语义语法混合转换和知识编译等设计并实现可靠完全的模态逻辑扩展规则推理方法；4）推断和证明各类方法满足的特性，提出兼顾所需特性的较为理想的折中方案。上述研究将有助于提高扩展规则推理和混合推理方法的健壮性和可用性，更好地挖掘扩展规则推理的性能优势和适用性，为其在相关领域的应用与推广奠定理论基础。

中文关键词： 自动推理；扩展规则；命题逻辑；模态逻辑；知识编译

英文摘要： Compared with the existing reasoning methods, new kinds of reasoning methods will be popular because of their performance advantages and usability when processing practical problems. As a kind of new reasoning methods proposed in 2003, extension rule-based reasoning methods have been acknowledged by domestic and foreign researchers. This project will focus on extension rule-based and hybrid reasoning methods in propositional and modal logics. The research contexts mainly include: 1) to improve reasoning ability and solving efficiency of extension rule-based reasoning methods by means of heuristic functions, selection functions and incremental solving techniques, etc. 2) to analyze adaptability of extension rule-based reasoning methods and resolution methods with regard to different problem benchmark domains; to design knowledge compilation strategies for corresponding knowledge bases; to design and implement extension rule-based hybrid reasoning methods with stronger reasoning abilities combined with resolution rules, tableaux and knowledge compilation techniques, etc. 3) to design and implement sound and complete extension rule-based reasoning methods in modal logics with destructive rules, semantic translation, semantic-syntactic mixed translation and knowledge compilation techniques, etc. 4) to infer and dem

英文关键词： automated reasoning；extension rule；propositional logic；modal logic；knowledge compilation