自动规划概述 经典规划 (Classical Planning) 规划问题 状态空间规划 (State-Space Planning) 规划空间规划 (Plan-Space Planning) 新经典规划 (Neoclassical Planning) 规划图技术 (Planning-Graph Techniques) Planning as {SAT, CSP, ILP, …} 经典规划的扩展 分层任务网规划 不确定规划 非确定规划 概率规划

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

人工智能技术基础 人工智能技术在云遥感反演中的应用 人工智能技术在天气预报中的应用

【AI人工智能】人工智能基础问题：机器能思维吗？

吉林大学：《人工智能》课程电子教案（PPT课件）第二章 人工智能的数学基础

1. 脑科学的启示 2. 人工智能基础 3. 脑机接口技术 4. 智能控制与机器人 5. 小结

1. 脑科学的启示 2. 人工智能基础 3. 脑机接口技术 4. 智能控制与机器人 5. 小结

第一节 人工智能 第二节 模式识别 第三节 专家系统

泛逻辑学理论：机制主义人工智能理论的逻辑基础（西北工业大学：何华灿）

人工智能伦理体系：基础架构与关键问题（中国科学技术大学：陈小平）