人工智能规划][Artificial Intelligence Planning]

人工智能规划 Artificial Intelligence Planning


课程网址:	http://videolectures.net/ssll09_rintanen_aip/
主讲教师:	Jussi Rintanen
开课单位:	澳大利亚信息通信技术研究中心
开课时间:	2009-04-01
课程语种:	英语
中文简介:	本课程介绍了规划中使用的最重要的状态空间遍历方法，包括基于命题满足性测试的技术、启发式状态空间搜索以及基于逻辑的数据结构，如二进制决策图。讨论了这些技术在古典规划和更复杂的规划形式中的主要应用。
课程简介:	The course presents the most important approaches to state space traversal used in planning, including techniques based on propositional satisfiability testing, heuristic state-space search, and logic-based data structures like binary decision diagrams. The main applications of these techniques in classical planning and in more complex forms of planning is discussed.
关键词:	SAT测试技术; 逻辑; 数据结构; 古典规划
课程来源:	视频讲座网
最后编审:	2020-06-06：zyk
阅读次数:	99

境外开放课程导航