Planning as satisfiability: parallel plans and algorithms for plan search

Rintanen J; Hejanko K; Niemela I

首页> 外文期刊>Artificial intelligence >Planning as satisfiability: parallel plans and algorithms for plan search

【24h】

Planning as satisfiability: parallel plans and algorithms for plan search

机译：作为可满足性的计划：用于计划搜索的并行计划和算法

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We address two aspects of constructing plans efficiently by means of satisfiability testing: efficient encoding of the problem of existence of plans of a given number t of time points in the propositional logic and strategies for finding plans, given these formulae for different values of t.

机译：我们通过可满足性测试有效地解决了构建计划的两个方面：有效地编码命题逻辑中给定数量的时间点t的计划存在的问题，以及针对t的不同值的给定公式，找到计划的策略。

著录项

来源
《Artificial intelligence》 |2006年第13期|p. 1031-1080|共50页
作者
Rintanen J; Hejanko K; Niemela I;
展开▼
作者单位

Natl ICT Australia, Canberra Res Lab, Canberra, ACT, Australia;

Helsinki Univ Technol, Lab Theoret Comp Sci, FI-02015 Helsinki, Finland;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
planning; satisfiability; complexity; BOUNDED MODEL CHECKING; CONSTRAINT SATISFACTION; HEURISTIC-SEARCH; BEHAVIOR; GRAPH;

机译：规划;可满足性;复杂性;绑定模型检查;约束满足;启发式搜索;行为;图形;

相似文献

外文文献
中文文献
专利

1. A parallel compact cuckoo search algorithm for three-dimensional path planning [J] . Song Pei-Cheng, Pan Jeng-Shyang, Chu Shu-Chuan Applied Soft Computing . 2020,第1期

机译：三维路径规划的平行紧凑型杜鹃搜索算法
2. Transportation planning in freight forwarding companies Tabu search algorithm for the integrated operational transportation planning problem [J] . Marta Anna Krajewska, Herbert Kopfer European Journal of Operational Research . 2009,第2期

机译：货运代理公司的运输计划禁忌搜索算法，用于综合运营运输计划问题
3. Exploiting macro-actions and predicting plan length in planning as satisfiability [J] . Gerevini Alfonso Emilio, Saetti Alessandro, Vallati Mauro AI communications . 2015,第2期

机译：利用宏观行动并在计划中预测计划的长度，以此来满足需求
4. Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement [C] . Hootan Nakhost, Martin Mueller Proceedings of the Twentieth international conference on automated planning and scheduling . 2010

机译：消除动作和计划邻域图搜索：计划改进的两种算法
5. Parallel algorithms for visibility analysis and path planning. [D] . Delle, Donne Vince. 1995

机译：可视性分析和路径规划的并行算法。
6. Knowledge-based radiation therapy (KBRT) treatment planning versus planning by experts: validation of a KBRT algorithm for prostate cancer treatment planning [O] . Obioma Nwankwo, Hana Mekdash, Dwi Seno Kuncoro Sihono, 2015

机译：基于知识的放射治疗（KBRT）治疗计划与专家计划的比较：针对前列腺癌治疗计划的KBRT算法的验证
7. Planning as satisfiability: parallel plans and algorithms for plan search [O] . Rintanen Jussi, Heljanko Keijo, Niemelä Ilkka 2006

机译：作为可满足性的计划：用于计划搜索的并行计划和算法
8. UAV Swarm Mission Planning Development Using Evolutionary Algorithms and Parallel Simulation - Part II [R] . Lamont, G. B. 2008

机译：使用进化算法和并行模拟的无人机群任务规划开发 - 第二部分

Planning as satisfiability: parallel plans and algorithms for plan search

摘要

著录项

相似文献

相关主题

期刊订阅