%0 Journal Article
%T 求解爱因斯坦谜题的一种形式系统及推理方法
%A 朱维军
%A 周清雷？
%J 计算机科学
%D 2012
%X 针对求解爱因斯坦谜题的现有人工智能方法的不足，构建了一个基于一阶逻辑的形式系统γ。首先，通过定义γ公理集和γ推理规则集给出了谜题的形式化描述;然后，通过有穷次交替选择使用γ公理和γ规则推导出一系列γ定理，从而得到谜题的解。与现有方法相比，新方法给出了分析、推理的过程，并且不存在状态空间爆炸问题。
%K 爱因斯坦谜题
%K 形式系统
%K 形式推理
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120955&flag=1