反证法在计算机自动推理系统中的研究与实现

首页>文献>反证法在计算机自动推理系统中的研究与实现

DOI: 10.3969/j.issn.1671-6906.2009.02.004

反证法在计算机自动推理系统中的研究与实现

李涛

张波

摘要：把数学证明中的反证法与机器证明中前推搜索法相结合,使计算机在自动推理方面能够更加完善.给出一个算法,根据命题的结论将命题分类,针对不同类型,设计不同的解决方案,实现了反证法在自动推理中的运用.

关键词：自动推理自动解题反证法搜索法谓词

分类号：TP181(自动化基础理论)

论文发表日期：2009-01-01

英文信息展开

中原工学院学报

中原工学院学报

ISSN：1671-6906

年,卷(期)：2009,20(2)

所属栏目：系列研究