XiaoMi-AI文件搜索系统
World File Search Systemcyk
关于具有方法前提条件的全序 HTN 计划验证 - CYK 解析算法的扩展
简介 规划验证问题就是确定给定的规划是否是规划问题的解决方案。由于该问题的研究可能有助于规划研究，因此在过去十年中引起了越来越多的关注。例如，在国际规划竞赛 (IPC) 中，独立的规划验证者对于验证参与规划者是否制定了正确的规划至关重要。最近，有几项研究探索了在人机交互中部署规划验证技术的可能性。例如，Behnke、H¨oller 和 Biundo (2017) 指出了计划验证与混合初始规划 (Myers 等人，2003) 之间的联系，其中规划器应根据用户的变更请求迭代调整其输出计划，计划验证也可以看作是规划域验证的一种方法 (Lin 和 Bercher，2021、2023；Lin、Grastien 和 Bercher，2023)，即决定规划域是否正确建模，其中计划作为测试用例给出，该计划应该是规划问题的解决方案，验证失败表明该域存在一些缺陷。在本文中，我们考虑分层任务网络 (HTN) 规划中的计划验证问题 (Erol、Hendler 和 Nau，1996；Geier 和 Bercher，2011；Bercher、Alford 和 H¨oller，2019)。我们特别关注一类特殊的 HTN 规划问题，即全序 (TO) HTN 规划问题，该问题在 HTN 规划中发挥着重要作用，事实证明 TO 规划问题基准数量远远超过偏序 (PO)
几分钟内 - 欧洲议会
*（p）=总统/p找人/formand/vorsitzender/esimees/πρόεδρος/主席/总统/presjednik/presjednik/primininkas/elnre/prącyk/'主席和/stellvertretender vorsitzender/porsitzer/aseeρόce支εsIDEN/副总统/伴奏/allelnök/副总统/副总统/副总统/副总统/副总统/副总统/副总统/narys/képviselő/成员/领导者/członek/member/jltsen/liczhnost）funcionario/找到Nik/AmbteRadník/uradnik/virkamies/tjänsteman
几分钟内 - 欧洲议会
*（p）=总统/p找人/formand/vorsitzender/esimees/πρόεδρος/主席/总统/presjednik/presjednik/primininkas/elnre/prącyk/'主席和/stellvertretender vorsitzender/porsitzer/aseeρόce支εsIDEN/副总统/伴奏/allelnök/副总统/副总统/副总统/副总统/副总统/副总统/副总统/narys/képviselő/成员/领导者/członek/member/jltsen/liczhnost） Dion/AmbteRadník/uradnik/virkamies/tjänsteman
卫星和太空：利用仲裁解决新领域的争端
• Devas Multimedia Private Ltd 诉 Antrix Corporation Ltd（国际商会案件编号 18051/CYK）。该争议因 Antrix（印度国际空间研究组织的商业部门）撤销一项租赁两颗卫星空间段容量的协议而起，该协议旨在建立结合一颗卫星和一系列地面站的混合卫星-地面通信系统。Devas Multimedia 是一家在德国和毛里求斯有利益的公司，它与 Antrix 达成协议，根据该协议，Antrix 将建造、发射和运营两颗卫星，并将卫星上的 S 波段容量租赁给 Devas，用于通过印度提供宽带无线接入和音频视频服务。印度内阁安全委员会终止了该协议，理由是印度政府将宝贵的 S 波段频谱给了 Devas 而不是印度军方。2015 年，国际商会仲裁院裁定 Antrix 错误地拒绝了该协议，并判决 Devas 赔偿 5.62 亿美元及利息。该争端还引发了针对印度的相关投资条约索赔，以及一系列正在进行的执法行动。2022 年，印度最高法院裁定 Devas-Antrix 卫星合同受到欺诈的污染，此后，包括在最近的 2023 年 3 月的一项裁决中，德里高等法院撤销了 ICC 裁决（请参阅法律更新，德里高等法院维持以欺诈和与印度公共政策相冲突为由撤销 ICC 裁决）。这些裁决对 ICC 奖励的各种正在进行的执法行动的影响仍有待观察。