Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level

Daniel Fiser
{"title":"Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level","authors":"Daniel Fiser","doi":"10.1609/icaps.v33i1.27186","DOIUrl":null,"url":null,"abstract":"A lifted mutex group is a schematic first-order description of sets of facts such that each set contains facts out of which at most one can hold in any reachable state. It was previously shown that lifted mutex groups can be used for pruning of operators during grounding of PDDL tasks, i.e., it is possible to prune unreachable and dead-end operators even before the grounded representation is known. Here, we show that applying such a pruning technique does not require a modification of the grounding procedure. Instead, it is possible to compile the conditions under which we can use lifted mutex groups to prune operators directly into the preconditions of lifted actions on the PDDL level. In fact, we show that such compilation captures the pruning power of lifted mutex groups perfectly.","PeriodicalId":239898,"journal":{"name":"International Conference on Automated Planning and Scheduling","volume":"87 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Automated Planning and Scheduling","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1609/icaps.v33i1.27186","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

A lifted mutex group is a schematic first-order description of sets of facts such that each set contains facts out of which at most one can hold in any reachable state. It was previously shown that lifted mutex groups can be used for pruning of operators during grounding of PDDL tasks, i.e., it is possible to prune unreachable and dead-end operators even before the grounded representation is known. Here, we show that applying such a pruning technique does not require a modification of the grounding procedure. Instead, it is possible to compile the conditions under which we can use lifted mutex groups to prune operators directly into the preconditions of lifted actions on the PDDL level. In fact, we show that such compilation captures the pruning power of lifted mutex groups perfectly.
通过提升层上的编译使用提升互斥锁组进行操作符剪枝
被提升的互斥锁群是事实集合的一阶描述,这样每个集合包含的事实最多可以保持在任何可达状态。先前的研究表明,在PDDL任务接地期间,提升的互斥锁组可用于对操作符进行修剪,即,即使在接地表示已知之前,也可以对不可达和死端操作符进行修剪。在这里,我们表明,应用这种修剪技术不需要修改接地程序。相反,可以编译一些条件,在这些条件下,我们可以使用提升的互斥锁组,在PDDL级别上将操作符直接简化为提升操作的前提条件。事实上,我们证明了这样的编译可以完美地捕捉到解除互斥锁组的剪枝能力。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信