人工智劈能第二章.ppt

;Knowledge;知识的特性;Classification of Knowledge ;Knowledge Representation;状态空间法;问题状态描述;问题状态描述;问题状态描述;问题状态描述;问题状态描述;问题状态描述;§2.1 Conceptualization;Objects;Function;Relation;Generality of Relation;Conceptualization;Conceptualization;§2.2 Predicate Calculus;Proposition;Predicates;谓词演算中的符号;Definition of Predicates;Comparison of Predicates & Propositions;Connecters;Quantifiers;Term;Sentences;Scope;Bound and Free variables;↑ / ∩ + - ∪ = < > ≤ ≥ ∈ ? ? ? ? ? ? ? ? ? ? ? ? ;Predicate Calculus Representation;Example 1;Example 2;Example 3;Example 4;§2.3 Semantics;Declarative Semantics;Definition of Interpretation;Example in the textbook;Example of Interpretation;Example of Interpretation;Example of Interpretation;Variable Assignment;Term joint assignment;Satisfaction;Satisfaction of an atomic sentence;Satisfaction of Logical Sentences;Satisfaction of quantified sentences;Model;Satisfaction of a set of sentences;Elementarily equivalent;Steps of knowledge representation;§2.5 Circuits Examples;Select a vocabulary ;Connection Representation ;State representation;General behavior;Expansion of conception;§2.8 Natural Language Example;Negation and quantity;§2.9 Specialized Languages;Binary Table;蕴含式的真值表;罗素与教皇;罗素与教皇;作业;????