【自动推理导论】邱玉辉张为群编.pdf

自动推理导论邱玉辉张为群编著 1992

序言自动推理是八十年代逐步发展形成的一们新兴学科,它是自动定理证明的发展,是人工智能的一个重要研究方向。它对专家系统、智能机器人、机器学习和程序正确性证明等许多领域,产生了人的很多智能活动都是和推理能力相联系的。按照传统逻辑的观点,推理是从已知事实推出新事实的过程。在这种推理下,新事实仅是那些所提供的确定的事实逻辑地推出的结论。然而,现实世界中事物之间的关系往往是不确定的,由于观察的限制,使得证据本身呈现出不精确性,从而使推理过程表现出不确定性。因此,人类思维涉及非传统的逻辑推理,即常识推理。

目录 1什么是自动推理 1形式理论第二章命题演算命题和联结词命题演算语言命题演算的语义命题理论演绎系统谓词演算 3一阶谓词演算语言 3的语义 3一阶理论演绎系统 Herbrand定理子句集.子句集的Herbrand域语义树 4Herbrand定理 5命题逻辑的归结原理替换与合 5一阶逻辑的归结原理 5归结原理的完备性第一章引言 2 2 2.