论文部分内容阅读
针对求解爱因斯坦谜题的现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ公理集和Γ推理规则集给出了谜题的形式化描述;然后,通过有穷次交替选择使用Γ公理和Γ规则推导出一系列Γ定理,从而得到谜题的解。与现有方法相比,新方法给出了分析、推理的过程,并且不存在状态空间爆炸问题。