基于格值逻辑的α-n(t)元归结动态自动推理研究

项目名称： 基于格值逻辑的α-n(t)元归结动态自动推理研究

项目编号： No.61175055

项目类型： 面上项目

立项/批准年度： 2012

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

项目作者： 徐扬

作者单位： 西南交通大学

项目金额： 59万元

中文摘要： 针对带有不可比较性信息的自动推理，依据基于格蕴涵代数的格值逻辑系统，借鉴基于经典二值逻辑的0-2元归结自动推理的学术思想，在基于格蕴涵代数的格值逻辑的α-2元归结自动推理研究基础上，分别建立基于格值命题逻辑LP(X)和格值一阶逻辑LF(X)、格值分层、群组归结、动态演绎、效率提高、从本质上发展归结自动推理的α-n(t)元归结动态自动推理具有可靠性与完备性的理论、方法、算法和程序。

中文关键词： 不可比较性信息；格蕴涵代数；格值逻辑；归结自动推理；α-n(t)元归结动态自动推理

英文摘要：

英文关键词： Incomparable information；Lattice implication algebra；Lattice-valued logic；Resolution automated reasoning；α-n(t)-ary resolution dynamic automated reasoning