爱因斯坦谜题相关论文
针对求解爱因斯坦谜题的现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ公理集和Γ推理规则集给出......
本文模拟人工智能的思路,用回溯法编程求解爱因斯坦谜题,使总排列数下降了7个数量级,极大提高了解题速度。程序编写了线索输入函数......