论文部分内容阅读
非经典逻辑的研究一直是人工智能领域中非常受人关注的一个研究方向.目前,基于非经典逻辑的自动定理证明系统由于它加速了人工智能的发展而正愈来愈引起人们的广泛重视.该文在借鉴国内外该领域研究成果的基础上,对以格蕴涵代数为真值域的格值逻辑系统及基于这种格值逻辑系统而建立的一种格值自动推理-格值归结原理与方法作了较细致的研究.主要做了以下三方面的工作:1.关于格蕴涵代数的研究;2.基于格蕴涵代数的格值逻辑系统的研究;3.基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究.