计算机与智力:推理过程的机械化

• 作者: 杨路
• 来源期刊: 广州大学学报（综合版）
• 学科: 工学
• 关键词: 图灵测试 自动推理 定理机器证明 可读证明 数学机械化
• 年，卷（期）: 2001,（2）
• 所属期刊栏目: 计算机科学
• 页码范围: 7-10,45
• 页数: 5页
• 分类号: TP3
• 语种: 中文

摘要

在概述几何定理机器证明近期成果的基础上,提出了推理过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨路	广州大学计算机教育软件研究所	6	115	4.0	6.0