实现规划方案的有效途径An Effective Approach to Realizing Planning Programs |
|
课程网址: | http://videolectures.net/icaps2011_gerevini_planning/ |
主讲教师: | Alfonso E. Gerevini |
开课单位: | 布雷西亚大学 |
开课时间: | 2011-07-21 |
课程语种: | 英语 |
中文简介: | 规划程序是松散的,高级的,代理行为的代理人行为的声明性表示,以及实现目标的路径。这些程序是通过过渡系统指定的,过渡系统可以包括在某些点进行的循环和决定。我们研究了一种新的有效方法,用于解决实现计划程序的问题,即非正式地,用于查找和组合保证计划程序可执行性的计划的收集。我们关注确定性领域并提出解决利用计划技术处理目标的问题的年龄算法约束和偏好。初步实验分析表明,我们的方法在基于形式化和合成技术的基础上优于现有方法。 |
课程简介: | Planning programs are loose, high-level, declarative representations of the behavior of agents acting in a domain and following a path of goals to achieve. Such programs are specified through transition systems that can include cycles and decisions to make at certain points. We investigate a new effective approach for solving the problem of realizing a planning program, i.e., informally, for finding and combining a collection of plans that guarantee the planning program executability. We focus on deterministic domains and propose a general algorithm that solves the problem exploiting a planning technique handling goal constraints and preferences. A preliminary experimental analysis indicates that our approach dramatically outperforms the existing method based on formal verification and synthesis techniques. |
关 键 词: | 代理行为; 过渡系统; 确定性领域 |
课程来源: | 视频讲座网 |
最后编审: | 2019-04-16:lxf |
阅读次数: | 51 |