图 书 馆
人工智能规划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 |
| 阅读次数: | 64 |