First-Order Logic and Inference in FOL 吉建民 USTC jianminOustc.edu.cn 2022年4月11日 4口◆4⊙t1三1=，￥9QC
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . First-Order Logic and Inference in FOL 吉建民 USTC jianmin@ustc.edu.cn 2022 年 4 月 11 日
Used Materials Disclaimer:本课件采用了S.Russell and P.Norvig's Artificial Intelligence-A modern approach slides,徐林莉老师课件和其他网 络课程课件，也采用了GitHub中开源代码，以及部分网络博客 内容 口卡4三4色进分QC
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Used Materials Disclaimer: 本课件采用了 S. Russell and P. Norvig’s Artificial Intelligence –A modern approach slides, 徐林莉老师课件和其他网 络课程课件，也采用了 GitHub 中开源代码，以及部分网络博客 内容
Last chapter Logical agents apply inference to a knowledge base to derive new information and make decisions Basic concepts of logic: ~syntax(语法)：formal structure of sentences =semantics (语义：truth of sentences wrt.models entailment (蕴涵)：necessary truth of one sentence given another inference (推理)：deriving sentences from other sentences soundness (可靠性)：derivations produce only entailed sentences completeness (完备性)：derivations can produce all entailed sentences Forward,backward chaining are linear-time,complete for Horn clauses Resolution is complete for propositional logic Propositional logic lacks expressive power 口◆461三1，是90C
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Last chapter ▶ Logical agents apply inference to a knowledge base to derive new information and make decisions ▶ Basic concepts of logic: ▶ syntaxffffffff(语法): formal structure of sentences ▶ semanticsffffffff(语义): truth of sentences wrt. models ▶ entailmentffffffff(蕴涵): necessary truth of one sentence given another ▶ inferenceffffffff(推理): deriving sentences from other sentences ▶ soundnessffffffffff(可靠性): derivations produce only entailed sentences ▶ completenessffffffffff(完备性): derivations can produce all entailed sentences ▶ Forward, backward chaining are linear-time, complete for Horn clauses ▶ Resolution is complete for propositional logic ▶ Propositional logic lacks expressive power
Table of Contents First-Order Logic Why FOL? Syntax and semantics of FOL Using FOL Knowledge engineering in FOL Inference in FOL Reducing first-order inference to propositional inference Unification(合一 Generalized Modus Ponens(一般化分离规则) Forward and backward chaining Resolution 口卡回t·三4色，是分Q0
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Table of Contents First-Order Logic Why FOL? Syntax and semantics of FOL Using FOL Knowledge engineering in FOL Inference in FOL Reducing first-order inference to propositional inference Unification (合一) Generalized Modus Ponens（一般化分离规则） Forward and backward chaining Resolution
Pros of propositional logic Propositional logic is declarative(陈述性的)： ·知识和推理分开，而且推理完全不依赖于领域 ·对比：程序设计语言一过程性语言 ·缺乏从其他事实派生出事实的通用机制 ·对数据结构的更新通过一个领域特定的过程来完成 Propositional logic allows partial disjunctive negated information unlike most data structures and databases Propositional logic is compositional: meaning of B1.1 A P1.2 is derived from meaning of B1.1 and of P1,2 语句的含义是它的各部分含义的一个函数 Meaning in propositional logic is context-independent unlike natural language,where meaning depends on context 口◆4日1三1，是90C
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pros of propositional logic ▶ Propositional logic is declarative (陈述性的); ▶ 知识和推理分开，而且推理完全不依赖于领域 ▶ 对比：程序设计语言——过程性语言 ▶ 缺乏从其他事实派生出事实的通用机制 ▶ 对数据结构的更新通过一个领域特定的过程来完成 ▶ Propositional logic allows partial / disjunctive / negated information ▶ unlike most data structures and databases ▶ Propositional logic is compositional: ▶ meaning of B1,1 ∧ P1,2 is derived from meaning of B1,1 and of P1,2 语句的含义是它的各部分含义的一个函数 ▶ Meaning in propositional logic is context-independent ▶ unlike natural language, where meaning depends on context