XiaoMi-AI文件搜索系统
World File Search SystemHendler
通过知识图谱共享数据，实现可持续健康饮食
“语义网”是对当前网络的扩展，其中的信息被赋予了明确的含义，使计算机和人类能够更好地合作。” T. Berners-Lee、J. Hendler、O. Lassila，《语义网》，《科学美国人》，2001 年 5 月
答案集规划：一项调查
自动规划是自主智能系统设计的核心组件之一。该术语指的是寻找一套行动方案（即计划）的任务，该方案将世界的状态从给定状态更改为另一个状态。自动规划器将规划问题作为输入，该输入包括领域描述或行动理论、初始状态描述和目标状态描述，并计算问题的解决方案（如果存在）。多年来，自动规划一直是人工智能的一个活跃研究领域。它已经成为一个成熟的研究领域，拥有自己的年度会议，即从 1991 年开始的国际自动规划和调度会议 (ICAPS) 1 系列，其中包括几个与规划和调度相关的卫星研讨会以及许多轨道的规划竞赛。因此，有关规划的文献非常庞大。Ghallab 等人（2004 年）和（2016 年）的教科书分别包含 500 多个和 600 多个参考文献。 Yang (1997) 撰写的关于规划的专著以抽象和分解为重点，有超过 150 篇参考文献。Hendler 等人 (1990) 对古典规划的调查也引用了超过
关于具有方法前提条件的全序 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)
视觉失认症中形状处理的大规模组织发生改变
那么，一个悬而未决的问题涉及两条通路得出的对象表征之间的关系。一种观点认为，这两条通路得出独立的表征，这种说法可以轻松解释报道的腹侧通路和背侧通路之间的功能分离（即感知与行动）（Goodale、Milner、Jakobson & Carey，1991）。鉴于加工的独立性，一条通路的损伤应该不会影响另一条通路得出的表征。然而，这种独立架构既没有得到功能研究（Freud、Rosenthal、Ganel & Avidan，2015；Garcea、Chen、Vargas、Narayan & Mahon，2018；Mahon、Kumar & Almeida，2013）的支持，也没有得到解剖学研究（Yeatman et al., 2014）的支持，这些研究揭示了两条通路之间存在强大的结构和功能联系。另一种解释是，背侧通路表征（特别是对于没有视觉运动成分的任务）仅仅是腹侧通路计算的结果。这种观点预测腹侧通路的损伤会对背侧通路获得的表征产生不利影响，但反之则不然。最近的研究结果挑战了这种观点，因为背侧通路的形状敏感性可能在时间上先于腹侧通路形状敏感性的出现（Collins et al., 2019）。此外，猴子背侧通路（即尾部顶内沟 (CIP)）的暂时失活会导致腹侧通路的 fMRI 激活降低，并导致 3D 感知的知觉缺陷（Van Dromme、Premereur、Verhoef、Vanduffel & Janssen, 2016）。最后，第三个可能的观点表明两条通路都获得物体表征。这些表征可能相同，也可能不相同，如果是后者，则可能编码有关物体的不同信息，而这些信息可能服务于不同的功能目标 (Freud, Behrmann, & Snow, 2020)。然而，无论哪种情况，这两条通路都是相互作用的，因此，任何一条通路的损伤都会影响另一条通路得到的表征。在之前的论文中，我们还研究了背侧通路和腹侧通路之间的相互状态，并证明，在腹侧通路受损后患有视觉失认症的患者中，背侧通路仍然对物体的 3D 结构表现出敏感性，即使在双侧腹侧病变非常广泛的情况下也是如此 (Freud, Ganel, et al., 2017)。这一发现可以被视为对第一个解释，即独立物体表征的支持。然而，值得注意的是，这项研究只关注一个高级视觉属性，那就是形状（即 3D 结构）。此外，fMRI 分析只关注背侧通路上的两个 ROI，因此，目前尚不清楚背侧通路上的其他区域是否以及在多大程度上会受到腹侧通路损伤的影响。在本研究中，我们试图对右腹侧通路损伤后患有视觉失认症 SM 的患者的两条视觉通路进行全面检查。通过采用参数置乱操作（Collins 等人，2019 年；Freud、Culham 等人，2017 年；Freud、Plaut 和 Behrmann，2019 年；Grill-Spector 等人，1998 年；Lerner、Hendler、Ben-Bashat、Harel 和 Malach，2001 年；