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

摘要：

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

关键词：爱因斯坦谜题、形式系统、形式推理

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

资助基金：国家高技术研究发展计划8632007AA010408;国家自然科学基金61003079

在线出版日期：2012-11-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：244-246