XiaoMi-AI文件搜索系统
World File Search SystemICAPS
Jasmine Rimani、Charles Lesire、Stéphanie Lizy-Destrez、Nicole Viola。MBSE 在 HDDL 中建模分层 AI 规划问题的应用。ICAPS 2021，2021 年 8 月，虚拟活动，中国。第 0 页。�hal-03434905�
分层 AI 规划的最新改进为不同专业领域的新应用开辟了道路。一个存在大胆而复杂的规划和调度问题的领域是空间探索系统操作的定义。对于这种特定的应用，分层定义域语言 (HDDL) 可能是最合适的 AI 规划语言。然而，为 HDDL 设计和编写问题和域文件是一项复杂的任务。它们需要熟练的设计师来编写和检查语法的一致性。此外，共享和修改 HDDL 文件可能是一项复杂的任务，并且可能缺乏修改的可追溯性，从而使整个过程容易出错。另一方面，大多数空间系统工程师（空间系统操作概念的架构师）几乎从未在大学课程中学习过 HDDL 和 PDDL 等规划语言。本文提出的工作有助于填补太空操作工程师与 AI 规划潜力之间的空白，以解决应用于太空探索系统的规划和调度问题。HDDL 的典型问题和域文件是从 SysML 的形式化构建的，SysML 是一种用于系统工程的通用架构建模语言。SysML 被有效地用作基于模型的系统工程 (MBSE) 中的建模语言，以研究和设计太空任务的任务架构。所提出的方法应用于模拟空间机器人任务，其中协作无人机和探测车需要探索未知环境。该方法的最终目的是将“人类知识”转移到规划问题中，并展示 MBSE 应用于 AI 规划问题的知识工程 (KE) 的能力。
div>的课程
2021 IEEE/RSJ国际智能机器人与系统国际会议（IROS）2021在AAAI人工智能会议上（AAAI-UC）2018-2021 3X AAAI/ACM人工智能，道德和社会（AAAI-UC）2018-2021 3X AAAI/ACM会议，机器人（AIES）2020年的机器人20120年杂志（ALGORITH）。 2019年国际人工智能国际联合会议（IJCAI）2019年国际自动化规划与计划国际会议（ICAPS）2019年国际自主代理和多种型系统国际联合会议（AAMAS）2018，2018年2018年2018年国际智能搜索（SOCS）互动（SOCS）AAAI ARIFICEN ARIFICEN ARIFICEN ARICIENICEN ARICIAINIFIEN ARICIERICE on ARIFICENICEN ARENICIEN ARENICIERICE on ARIFICERICE on ARIFICENIDE（AAMA）， 2018 ACM Siggraph运动，互动和游戏会议（MIG）2018 IEEE计算智能与游戏会议（CIG）2018 ICAPS计划与机器人技术研讨会（Planrob）期刊编辑
bo liu-电气和计算机工程
传记：Bo Liu是亚利桑那大学电气和计算机工程系的副教授（2024年秋季开始）。他的研究领域涵盖了不确定性，人工辅助机器学习，象征性AI，可信赖性，机器学习中的可解释性及其对BigData的应用。他获得了博士学位。来自2015年马萨诸塞大学阿默斯特大学的自主学习实验室，由博士共同主导。Sridhar Mahade-Van和Andrew Barto。他的博士学位论文帮助奠定了时间差异学习的随机优化基础。 他是2017年腾讯教师研究奖和2018年亚马逊教师研究奖的获得者。 他的论文获得了两个最佳纸张奖（UAI'2015 Facebook最佳学生纸奖和Aamas'2022 Optlearnmas最佳纸张奖）。 他是AAAI和IEEE的高级成员，机器学习（MLJ）的编辑委员会成员，也是几个流量AI会议的常规区域主席/高级PC。 他在各种会议上进行了几个教程或全体会谈，包括AAMAS/ICAPS/UAI。他的博士学位论文帮助奠定了时间差异学习的随机优化基础。他是2017年腾讯教师研究奖和2018年亚马逊教师研究奖的获得者。他的论文获得了两个最佳纸张奖（UAI'2015 Facebook最佳学生纸奖和Aamas'2022 Optlearnmas最佳纸张奖）。他是AAAI和IEEE的高级成员，机器学习（MLJ）的编辑委员会成员，也是几个流量AI会议的常规区域主席/高级PC。他在各种会议上进行了几个教程或全体会谈，包括AAMAS/ICAPS/UAI。
![arXiv:2002.11697v1 [cs.AI] 2020 年 2 月 26 日](/simg/b\b49fe9b98736b5fb45d9aa068dc75695e6f1cad6.png)
arXiv:2002.11697v1 [cs.AI] 2020 年 2 月 26 日
1 引言 随着人工智能技术的成熟，与用户交互的问题已成为人工智能社区面临的主要挑战之一。这些挑战中最重要的是人工智能系统能够向处于循环中的人类解释它们的推理 [26]。这对于人类和人工智能系统共同解决问题的协作交互以及与最终用户建立信任都是必要的。在更广泛的人工智能社区朝这个方向开展的工作中，在本调查中，我们重点关注自动规划社区如何应对这一挑战。为此，最近的进展之一是在该领域的首要会议国际自动规划和调度会议 (ICAPS) 上建立了可解释人工智能规划 (XAIP) 研讨会 1。研讨会议程如下：
第 13 届组合搜索研讨会的经验教训
组合搜索研讨会 (SoCS) 是人工智能 (AI) 研究人员的年度会议，他们对符号状态空间搜索的理论和实践感兴趣。SoCS 2020 现已进入第 13 届，于 5 月 26 日至 28 日完全在线举行。将 SoCS 以虚拟会议的形式举行是应对全球冠状病毒大流行的一项最新决定。对于 SoCS 系列研讨会以及更广泛的 AI 社区来说，这是一个重大转变，该社区重视线下会议作为传播新科学成果的主要方式。由于时间较早，SoCS 2020 被社区中的一些人视为一次实验，领先于其他决定推迟或转向完全在线形式的大型人工智能会议，例如约束编程原则与实践会议、欧洲人工智能会议、国际自动规划和调度会议 (ICAPS)、国际人工智能联合会议以及国际知识表示和推理原理会议。
答案集规划：一项调查
自动规划是自主智能系统设计的核心组件之一。该术语指的是寻找一套行动方案（即计划）的任务，该方案将世界的状态从给定状态更改为另一个状态。自动规划器将规划问题作为输入，该输入包括领域描述或行动理论、初始状态描述和目标状态描述，并计算问题的解决方案（如果存在）。多年来，自动规划一直是人工智能的一个活跃研究领域。它已经成为一个成熟的研究领域，拥有自己的年度会议，即从 1991 年开始的国际自动规划和调度会议 (ICAPS) 1 系列，其中包括几个与规划和调度相关的卫星研讨会以及许多轨道的规划竞赛。因此，有关规划的文献非常庞大。Ghallab 等人（2004 年）和（2016 年）的教科书分别包含 500 多个和 600 多个参考文献。 Yang (1997) 撰写的关于规划的专著以抽象和分解为重点，有超过 150 篇参考文献。Hendler 等人 (1990) 对古典规划的调查也引用了超过
第 13 届组合搜索研讨会的经验教训
组合搜索研讨会 (SoCS) 是人工智能 (AI) 研究人员的年度会议，他们对符号状态空间搜索的理论和实践感兴趣。SoCS 2020 现已进入第 13 届，于 5 月 26 日至 28 日完全在线举行。将 SoCS 以虚拟会议的形式举行是应对全球冠状病毒大流行的一项最新决定。对于 SoCS 系列研讨会以及更广泛的 AI 社区来说，这是一个重大转变，该社区重视线下会议作为传播新科学成果的主要方式。由于时间较早，SoCS 2020 被社区中的一些人视为一次实验，领先于其他决定推迟或转向完全在线形式的大型人工智能会议，例如约束编程原则与实践会议、欧洲人工智能会议、国际自动规划和调度会议 (ICAPS)、国际人工智能联合会议以及国际知识表示和推理原理会议。
会议议程
08:15-08:45 注册 08:45-09:15 开幕式 会议主席致开幕词 SEMI 开幕词 颁发最佳学生论文奖和最佳青年工程师论文奖 09:15-09:50 摩尔定律的演变：一个观点 白鹏博士 中国荣格半导体有限公司首席执行官 09:50-10:25 电子设备中的新材料与新几何形状 John Robertson 教授 英国剑桥大学电子工程名誉教授 10:25–11:00 专用设备市场解决方案的集成模块方法 Michael Chudzik 博士 美国应用材料公司 IMS ICAPS 和封装技术副总裁 11:00–11:35 硅视网膜的 50 年历史 Tobias Delbruck 教授 瑞士神经信息学研究所神经形态工程教授 11:35–12:10 MEMS - 可持续技术共创可持续世界 Giorgio Allegato 博士 意大利意法半导体 MEMS 和传感器事业部 MEMS 技术研发总监 小组讨论 2024 年 3 月 17 日星期日 会议室：三楼黄河厅
亚洲净零投资的状态
4该分析的重点是一组亚洲市场（为了本报告的目的，共同称为“亚洲”），包括文莱，柬埔寨，中国大陆，香港S.A.R，印度，印度尼西亚，日本，老挝，马来西亚，马来西亚，缅甸，缅甸，菲律宾，菲律宾，菲律宾，新加坡，新加坡，新加坡，朝鲜，泰国，泰国，泰国，泰国，泰国，泰国。有关审查过程，报告方法论和法律免责声明的更多信息。请参阅附录5 5的协议和随后对2015年巴黎协定的协议，195年当事方预示了全球过渡到低碳和气候弹性经济的逐步变化。《巴黎协定》的核心目的是通过使本世纪的全球温度升高远低于2摄氏度，以增强全球对气候变化威胁的反应，并努力努力将温度升高进一步限制至1.5°C。6普遍同意，金融机构的过渡计划应包括将气候问题整合到（1）治理，（2）披露，（3）投资策略，（4）公司参与和（5）政策倡导。这五个领域对应于投资者议程的投资者气候行动计划（ICAPS）阶梯和指导的五个支柱。高级标准是从这些领域中的每个领域中获取的，作为投资者行动的代理，就本桌面审查和报告而言。