自动推理中反证法的研究

• 作者: 李传中 郭四稳
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 规则 几何信息 搜索法 谓词 反证法
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 基金项目
• 页码范围: 41-43
• 页数: 3页
• 分类号: TP3
• 字数: 3619字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2007.08.016

摘要

计算机自动解几何问题,已经有不少研究成果.前推搜索法能够产生可读证明,因此也是应用较多的一种方法.在目前诸多算法中,一般是采用直接证明的方法.在手工证明几何问题的方法中,间接证明也是一种重要的方法,其中反证法是较为有效的方法之一.在计算机自动推理研究中,如何运用反证法,是自动推理中的一个难题,关于这方面的研究成果也少有报道.给出一个算法:根据命题的结论将命题分类,针对不同类型,设计不同的解决方案.有效地实现了反证法在自动推理中的运用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭四稳	广州大学计算机教育软件研究所	35	136	5.0	10.0
2	李传中	广州大学计算机教育软件研究所	15	79	4.0	8.0