%0 Journal Article
%T Formal Deduction System for Solving Einstein's Riddle
求解爱因斯坦谜题的一种形式系统及推理方法
%A ZHU Wei-jun
%A ZHOU Qing-lei
%A
朱维军
%A 周清雷
%J 计算机科学
%D 2012
%I
%X 针对求解爱因斯坦谜题的现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ公理集和Γ推理规则集给出了谜题的形式化描述;然后,通过有穷次交替选择使用Γ公理和Γ规则推导出一系列Γ定理,从而得到谜题的解。与现有方法相比,新方法给出了分析、推理的过程,并且不存在状态空间爆炸问题。
%K Einstein's riddle
%K Formwl system
%K Formal deduction
爱因斯坦谜题
%K 形式系统
%K 形式推理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=75AFC294F2AFDCB1742278F7938807EA&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=9CF7A0430CBB2DFD&sid=5B5B75F4854B8331&eid=28F9D9CF04F424FF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0