%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