计算机科学 ›› 2012, Vol. 39 ›› Issue (9): 244-246.
• 人工智能 • 上一篇 下一篇
朱维军，周清雷
出版日期:
发布日期:
Online:
Published:
摘要： 针对求解爱因斯坦谜题的现有人工智能方法的不足，构建了一个基于一阶逻辑的形式系统Γ。首先，通过定义Γ公理集和Γ推理规则集给出了谜题的形式化描述;然后，通过有穷次交替选择使用Γ公理和Γ规则推导出一系列Γ定理，从而得到谜题的解。与现有方法相比，新方法给出了分析、推理的过程，并且不存在状态空间爆炸问题。
关键词: 爱因斯坦谜题，形式系统，形式推理
Abstract: The time complexity of the SAT-based approach for solving Einstein's riddle is very high. Aiming to this problem, we constructed a formal system called Γ. At first, we described the riddle with a set of axioms and a set of rules in Γ. And then, we used the axioms and rules in Γ to prove some theorems in Γ. So, a solution to the riddle was obtwined. Compared with the existing approach, the new method gives a deduction-based procedure to solve the riddle. And the state explosion problem is avoided.
Key words: Einstein's riddle,Formwl system,Formal deduction
朱维军，周清雷. 求解爱因斯坦谜题的一种形式系统及推理方法[J]. 计算机科学, 2012, 39(9): 244-246. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/I9/244
Cited
首页