求解爱因斯坦谜题的一种形式系统及推理方法

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