人工智能的课件CH1-Introduction.pptVIP

Course Overview(Cont.) Building knowledge-based agents: 1st Order Logic 09-Logical Agents. [AIMA Ch 7] Syntax. Semantics. Atomic sentences. Complex sentences. Quantifiers. Examples. FOL knowledge base. Situation calculus. 10-First-order logic. [AIMA Ch 7] Describing actions. Planning. Action sequences. Course Overview(Cont.) Representing and Organizing Knowledge 11-Building a knowledge base. [AIMA Ch 8] Knowledge bases. Vocabulary and rules. Ontologies. Organizing knowledge. Kahn Mcleod, 2000 An ontology for the sports domain Course Overview(Cont.) Reasoning Logically 12-Inference in first-order logic. [AIMA Ch 9] Proofs. Unification. Generalized modus ponens. Forward and backward chaining. Example of backward chaining Course Overview(Cont.) Examples of Logical Reasoning Systems 13-Logical reasoning systems. [AIMA Ch 10] Indexing, retrieval and unification. The Prolog language. Theorem provers. Frame systems and semantic networks. Semantic network used in an insight generator (Duke university) Course Overview(Cont.) Systems that can Plan Future Behavior 14/15-Planning. [AIMA Ch 11] Definition and goals. Basic representations for planning. Situation space and plan space. Examples. Course Overview(Cont.) Logical Reasoning in the Presence of Uncertainty 16/17-Uncertainty. [AIMA Ch 13/14] Introduction to Uncertainty and Probabilistic Reasoning Center of largest area Center of gravity Course Overview(Cont.) What challenges remain? 18-Overview and summary. [all of the above] What have we learned. Where do we go from here? HOMEWORK Learn Python programming language by yourselves. Collect related conferences and journals on AI, each student at least gather 4 kind of conferences or journals, and list their scope. Select 3 from 13 exercises of chapter 1. Introduction To Artificial intelligence 智能计算研究中心 1. Introduction ToArtificial intelligence Autumn 2012 Instructor: Wang Xiaolong Harbin Institute of Technology, Shenzhen Graduate School I