[自动推理导论]邱玉辉张为群编

【自动推理导论】邱玉辉张为群编.pdf自动推理导论 邱玉辉张为群编著 1992序言 自动推理是八十年代逐步发展形成的一们新兴学科,它是自 动定理证明的发展,是人工智能的一个重要研究方向。它对专家系 统、智能机器人、机器学习和程序正确性证明等许多领域,产生了 人的很多智能活动都是和推理能力相联系的。按照传统逻辑 的观点,推理是从已知事实推出新事实的过程。在这种推理下,新 事实仅是那些所提供的确定的事实逻辑地推出的结论。然而,现实 世界中事物之间的关系往往是不确定的,由于观察的限制,使得证 据本身呈现出不精确性,从而使推理过程表现出不确定性。因此,人类思维涉及非传统的逻辑推理,即常识推理。目录 1什么是自动推理 1形式理论 第二章命题演算 命题和联结词 命题演算语言 命题演算的语义 命题理论 演绎系统 谓词演算 3一阶谓词演算语言 3的语义 3一阶理论 演绎系统 Herbrand定理 子句集.子句集的Herbrand域 语义树 4Herbrand定理 5命题逻辑的归结原理 替换与合 5一阶逻辑的归结原理 5归结原理的完备性 第一章引言 2 2 2.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。