H逻辑智能体II人工智能AI.pptVIP

命题逻辑及其推理APropostional logic Propositional inference(一种最简单的逻辑，可以表示知识，并进行推理)  RN: Chap. 7.4-7.7 基于知识智能体 怪兽世界 逻辑总论－－模型和蕴涵 命题逻辑 等价，合法性，可满足性 模型检验（推理方法之一） 推理规则（推理方法之二） 归结（推理方法之三） 命题逻辑：语法 命题逻辑是最简单的逻辑 – 描述基本的思想 命题符号 P1, P2 等是语句 If S is a sentence, ?S is a sentence (否定 negation) If S1 and S2 are sentences, S1 ? S2 is a sentence (合取 conjunction) If S1 and S2 are sentences, S1 ? S2 is a sentence (析取 disjunction) If S1 and S2 are sentences, S1 ? S2 is a sentence (蕴涵 implication) If S1 and S2 are sentences, S1 ? S2 is a sentence (当且仅当 biconditional) 命题逻辑：语义 每一个模型对