Logical Foundations of Artificial IntelligenceChapter 2:1 School of CIT,Beijing JiaoTong UniversityChapter 2.Declarative KnowledgeKnowledge and Knowledge Representation2.1 Conceptualization2.2 Predicate Calculus2.3 Semantics2.42.8 Examples2.9 Specialized LanguagesLogical Foundations of Artificial IntelligenceChapter 2:2 School of CIT,Beijing JiaoTong UniversityKnowledge是人们在改造客观世界的实践中积累起来的认识和是人们在改造客观世界的实践中积累起来的认识和经验经验Feigenbaum认为知识是经过削减、塑造、解释和认为知识是经过削减、塑造、解释和转换的信息。简单地说,知识是经过加工的信息。转换的信息。简单地说,知识是经过