Hybrid Deep Reinforcement Learning and Planning for Safe and Comfortable Automated Driving
Saarland University(萨尔大学);German Research Center for Artificial Intelligence(德国人工智能研究中心)
我们提出了一种新的混合学习方法,HyLEAR,用于解决POMDPs中自动驾驶汽车的无碰撞导航问题。HyLEAR利用插入式学习将混合规划器的知识嵌入深度强化学习器中,以更快地确定安全舒适的驾驶策略。特别地,混合规划器将行人路径预测和风险感知路径规划与基于驾驶行为规则的推理相结合,使得驾驶策略还尽可能地考虑乘坐舒适性和给定的驾驶行为规则集。我们对关键交通场景的CARLA-CTS 1基准的实验性能分析表明,HyLEAR在安全性和乘坐舒适性方面可以显着优于选定的基线。
2022-12-30 cs.AI cs.RO
EpiPlanAgent: Agentic Automated Epidemic Response Planning
Shanghai AI Laboratory(上海人工智能实验室);Shanghai Center For Disease Control and Prevention(上海市疾病预防控制中心)
EpiPlanAgent利用大语言模型和多代理框架,实现自动化疫情响应规划,显著提升计划完整性并减少开发时间。
2025-12-12 cs.AI cs.CY
Driving Style Encoder: Situational Reward Adaptation for General-Purpose Planning in Automated Driving
Volkswagen AG(大众汽车公司);Technische Universität Darmstadt(达姆施塔特工业大学)
自动驾驶的通用规划算法结合了任务、行为和局部运动规划。这种规划算法将环境和驾驶运动学的特征映射到复杂的奖励函数中。为了实现这一目标,规划专家通常依赖于线性奖励函数。这些奖励函数的规范和调优是一个繁琐的过程,需要大量的经验。此外,手动设计的线性奖励函数不能在不同的驾驶情况下推广。在这项工作中,我们提出了一种基于逆强化学习的深度学习方法,该方法可以生成依赖于情境的奖励函数。我们的神经网络提供了一个基于模型预测控制的规划器的采样驾驶策略的特征和动作之间的映射,并预测即将到来的规划周期的奖励函数。在我们的评估中,我们将深度网络预测的奖励函数的驱动风格与聚类和线性奖励函数进行了比较。我们提出的深度学习方法优于集群线性奖励函数,并且与具有有关情况的先验知识的线性奖励函数相当。
2020-09-13 cs.AI cs.LG cs.RO
Automated Attack Planning
渗透测试是一种通过生成和执行可能的攻击来评估网络安全的方法。这样做自动允许定期和系统的测试。一个关键问题是如何自动生成攻击。解决这个问题的一个自然方法是作为一个攻击规划问题。在这篇论文中,我们关注的是定期自动渗透测试的具体情况,并在这个意义上使用术语“攻击计划”。研究了以下三个研究方向。首先,我们介绍了一个概念模型的计算机网络攻击,基于渗透测试的实践分析。我们研究如何这种攻击模型可以表示在PDDL语言。然后,我们描述了一个实现,集成了一个经典的计划与渗透测试工具。这使我们能够自动生成真实世界渗透测试场景的攻击路径,并通过执行这些攻击来验证它们。其次,我们提出了高效的概率规划算法,专门为这个问题而设计,实现工业规模的运行时性能(能够解决数百个主机和漏洞的情况)。这些算法考虑了动作的成功概率及其预期成本(例如,在执行时间或生成的网络流量方面)。最后,我们采取了不同的方向:而不是试图提高开发的解决方案的效率,我们专注于改进攻击者的模型。我们模型的攻击规划问题的部分可观测马尔可夫决策过程(POMDP)。这是渗透测试在一个良好的研究形式主义的基础。POMDPs允许将信息收集建模为问题的一个组成部分,从而首次提供了一种智能地将扫描操作与实际利用相结合的方法。
2013-07-30 cs.AI cs.CR
Automated Reformulation of Robust Optimization via Memory-Augmented Large Language Models
Department of Industrial Systems Engineering and Management, National University of Singapore(新加坡国立大学工业系统工程与管理系);Department of Data and Systems Engineering, The University of Hong Kong(香港大学数据与系统工程系);Institute of Operations Research and Analytics, National University of Singapore(新加坡国立大学运筹与分析研究所);Agency for Science, Technology and Research (A*STAR)(科技研究局(A*STAR))
本文提出AutoREM框架,通过记忆增强提升鲁棒优化重述的准确性和效率,无需领域知识或参数更新,适用于不同基础大语言模型。
2026-11-03 cs.AI
Driving with Style: Inverse Reinforcement Learning in General-Purpose Planning for Automated Driving
Volkswagen AG(大众汽车公司);Technische Universität Darmstadt(达姆施塔特工业大学)
行为和运动规划在自动驾驶中起着重要的作用。传统上,行为规划器用预定义的行为指示局部运动规划器。由于城市环境中场景的高度复杂性,可能会发生不可预测的情况,其中行为规划者无法匹配预定义的行为模板。最近,已经引入了通用规划器,其结合了行为和局部运动规划。这些通用规划器允许给定单个奖励函数的行为感知运动规划。然而,出现了两个挑战:首先,该函数必须将复杂的特征空间映射到奖励。其次,奖励功能必须由专家手动调整。手动调整此奖励函数成为一项繁琐的任务。在本文中,我们提出了一种方法,依赖于人类驾驶示范自动调整奖励功能。该研究为基于最大熵逆强化学习的通用规划者驾驶风格优化提供了重要的思路。我们评估我们的方法的基础上学习和演示的政策之间的期望值差异。此外,我们比较了人类驱动的轨迹与我们的计划器的最优策略下学习和专家调整的奖励函数的相似性。我们的实验表明,我们能够学习奖励函数超过手动专家调整的水平,没有事先的领域知识。
2020-09-12 cs.AI cs.LG cs.RO
Automated Planning Techniques for Elementary Proofs in Abstract Algebra
Queen's University(女王大学)
本文将自动化规划用于自动定理证明,在确定性与非确定性领域实现规则以构造交换环的抽象代数基础证明,验证了两类领域相互促进的可行性。
2023-12-11 cs.AI
Automated Query Reformulation for Efficient Search based on Query Logs From Stack Overflow
Nanjing University(南京大学);Monash University(莫纳什大学);University of Adelaide(阿德莱德大学);Nantong University(南通大学)
作为一个流行的编程问答网站,Stack Overflow是开发者的宝藏。然而,Stack Overflow上的大量问题和答案使得开发人员很难有效地找到他们正在寻找的信息。有两个差距导致搜索结果不佳:用户的意图和文本查询之间的差距,以及查询和帖子内容之间的语义差距。因此,开发人员必须不断地重新制定他们的查询,纠正拼写错误的单词,增加限制某些程序设计语言或平台等查询重新制定是繁琐的开发人员,特别是新手,我们提出了一个自动化的软件特定的查询重新制定方法的基础上深度学习。利用Stack Overflow提供的查询日志,我们构建了一个大规模的查询重构语料库,包括原始查询和相应的重构查询。我们的方法训练了一个Transformer模型,当给定用户的原始查询时,该模型可以自动生成候选重构查询。评估结果表明,我们的方法优于五个国家的最先进的基线,并实现了5.6%至33.5%的提升方面的$\mathit{ExactMatch}$和4.8%至14.4%的提升方面的$\mathit{GLEU}$。
2021-02-10 cs.AI cs.IR cs.SE
Towards High-Level Modelling in Automated Planning
University of St Andrews(圣安德鲁斯大学);Universitat de Girona(赫罗纳大学)
针对自动化规划领域主流建模语言PDDL表达能力有限的问题,研究扩展了Python库Unified-Planning,新增数组类型、布尔计数表达式、动作整数参数等特性,提升了高层问题建模能力,可自然建模三个经典规划问题。
2024-12-09 cs.AI
LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models
Ingenuity Labs Research Institute, Queen’s University(英杰实验室研究 institute,皇后大学);School of Computing, Queen’s University(计算学院,皇后大学);Department of Electrical and Computer Engineering, Queen’s University(电气与计算机工程学院,皇后大学)
本文综述了大语言模型在自动规划中作为形式化工具的应用,系统梳理方法、挑战与未来方向,以支持可靠的现成规划器,促进NLP与AP联合研究。
2025-10-25 cs.AI
On the Importance of Domain Model Configuration for Automated Planning Engines
Czech Technical University in Prague(布拉格捷克理工大学);Charles University in Prague(布拉格查理大学);University of Freiburg(弗莱堡大学)
人工智能规划社区中独立于领域的规划器的发展正在导致可用于广泛应用的“现成”技术。此外,它还允许采用模块化方法-其中规划人员和领域知识是较大软件应用程序的模块-这种方法便于替换或改进个别模块,而不改变系统的其余部分。这种方法还支持使用重构和配置技术,这些技术改变了模型的表示方式,以提高计划生成的效率。在这篇文章中,我们研究了领域无关规划器的性能如何受到领域模型配置的影响,即,模型中元素的排序顺序,特别是根据计划者的比较。然后,我们介绍了技术的在线和离线配置的领域模型,我们分析了领域模型配置的影响,对其他重新制定的方法,如宏。
2020-10-15 cs.AI
On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)
University of South Carolina(南卡罗来纳大学);New Mexico State University(新墨西哥州立大学);University of Brescia(布雷西亚大学);IBM Research(IBM研究院)
本文综述126篇论文,将LLM在自动规划与调度中的应用归纳为八类,指出其与传统符号规划器结合的神经符号方向最具潜力。
2024-01-20 cs.AI
Multi-tier Automated Planning for Adaptive Behavior (Extended Version)
Universidad Nacional de Buenos Aires(布宜诺斯艾利斯国立大学);Universidad Carlos III de Madrid(马德里卡洛斯三世大学);RMIT University(皇家墨尔本理工大学)
规划领域,作为任何模型,永远不会是完整的,不可避免地对环境的动态作出假设。通过只允许一个领域模型的规范,知识工程师只能做出一组假设,并指定一个单一的目标。借用工作在软件工程,我们提出了一个多层框架的规划,允许规范的不同的假设,和不同的相应目标。该框架旨在支持自适应行为的合成,以减轻任何规划建模任务中的内在风险。在定义了多层规划任务及其解决方案的概念后,我们展示了如何通过简洁的编译来解决问题实例的非确定性规划形式。在这样做时,我们的技术证明了规划的适用性与公平和不公平的行动,并需要更多的努力,在发展规划系统支持双重公平的假设。
2020-02-27 cs.AI
Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
Institute of Automation Technology(自动化技术研究所);Helmut Schmidt University(海姆·施密特大学);Ruhr University(鲁尔大学)
本文提出一种SysML配置档,将PDDL规划语义及OCL约束嵌入系统模型,并通过飞机制造机器人案例验证其可自动生成PDDL领域与问题文件。
2025-06-07 cs.AI
Exploring Instance Generation for Automated Planning
University of St Andrews(圣安德鲁斯大学)
人工智能的许多核心学科都有一套标准的基准问题,这些问题在开发新算法时被社区所熟知并广泛使用。约束编程和自动规划是这些领域的例子,其中新算法的行为是通过它在这些实例上的表现来衡量的。通常,每种求解方法的效率不仅在问题之间不同,而且在同一问题的实例之间也不同。因此,拥有不同的实例集对于能够有效地评估新的求解方法至关重要。当前用于约束编程问题的实例自动生成的方法从声明性模型开始,并搜索具有某些所需属性(例如硬度或大小)的实例。我们首先探讨的困难,适应这种方法来产生的实例开始在PDDL,自动规划社区的事实标准语言编写的问题规范。然后,我们提出了一种新的方法,整个规划问题的描述建模使用本质,一个抽象的建模语言,允许表达高层结构,而不承诺一个特定的低层次的PDDL表示。
2020-09-21 cs.AI
What Automated Planning can do for Business Process Management
Sapienza - University of Rome(罗马大学)
业务流程管理(BPM)是当今组织的核心要素。尽管多年来它的主要重点一直是支持高度控制的领域中的流程,但现在BPM社区感兴趣的许多领域的特征是不断变化的需求,不可预测的环境和影响流程实例执行的数据量不断增加。在这种动态条件下,BPM系统必须提高其自动化水平,以提供流程管理所需的反应性和灵活性。另一方面,人工智能(AI)社区已经将其努力集中在调查涉及计算实体和物理设备的主动控制的动态域(例如,机器人、软件代理等)。在这种情况下,自动规划是人工智能中最古老的领域之一,被认为是一种基于模型的方法,可以从模型中自动合成自主行为。在本文中,我们将讨论如何利用自动化计划技术来实现新的自动化水平和对业务处理的支持,并展示一些成功应用于BPM生存周期不同阶段的具体示例。
2017-10-20 cs.AI
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective
Arizona State University(亚利桑那州立大学);University of Colorado at Boulder(科罗拉多大学博尔德分校)
我们表示规划作为一组松散耦合的网络流问题,其中每个网络对应于规划域中的一个状态变量。网络节点对应于状态变量值,网络弧对应于值转换。规划问题是在每个网络中找到一条路径(一系列动作),这样,当合并时,它们构成一个可行的计划。在本文中,我们提出了一些整数规划公式,这些松散耦合的网络模型具有不同程度的灵活性。由于合并可能会引入指数级的许多排序约束,我们实现了所谓的分支和切割算法,这些约束是动态生成的,并在需要时添加到配方。我们的结果是非常有前途的,他们改进了以往的规划方法的整数规划方法,并奠定了整数规划方法的成本最优规划的基础。
2011-10-31 cs.AI
Dynamic Tree Databases in Automated Planning
Oliver Joergensen(1 奥利弗·乔尔金森);Dominik Drexler(2 朵米克·德雷克斯勒);Jendrik Seipp(3 班德里克·塞普)
针对自动规划中显式状态空间搜索的状态紧凑表示难题,提出新型动态树数据库,证明其保留静态树数据库特性,实验显示其压缩比达数个数量级且运行开销可忽略。
2025-11-16 cs.AI
Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants
本文提出一种模型驱动方法,通过专用SysML profile和算法将规划语义集成到工程模型中并自动生成PDDL规划工件,实现自动化生产系统变体的AI规划验证。
2025-09-15 cs.AI
Automated architectural space layout planning using a physics-inspired generative design framework
Australian National University(澳大利亚国立大学);Deakin University(迪肯大学)
针对人工建筑空间布局规划复杂耗时的问题,研究提出融合物理启发参数化模型与进化优化元启发式算法的生成式设计框架,可在方案设计阶段生成多样方案以应对复杂设计问题。
2024-06-21 cs.AI
Herding the Crowd: Automated Planning for Crowdsourced Planning
Arizona State University(亚利桑那州立大学)
人们对众包和人工计算产生了极大的兴趣。人类计算应用的一个子类是针对涉及规划(例如旅行规划)和调度(例如会议调度)的任务的那些。这些工作大部分都出现在传统的自动规划论坛之外,而且在一开始,人们并不清楚自动规划是否在这些人类计算系统中发挥了很大的作用。然而,有趣的是,对这些系统的研究表明,即使是对人类规划者进行自动监督的原始形式,也有助于显着提高人类/人群的有效性。在本文中,我们将认为,在这些系统中使用的自动化监督可以被视为一个原始的自动化规划,并有几个更复杂的自动化规划的机会,有效地引导众包规划。然而,当前规划技术的直接适应受到人类工作者和自动规划器之间的能力不匹配的阻碍。我们确定了两个重要的挑战,需要克服这种适应规划技术可以发生之前:(i)解释人类工作者(和请求者)的输入和(ii)指导或批评的计划正在由人类工作者武装只有不完整的域和偏好模型。在本文中,我们讨论了处理这些挑战的方法,并根据他们在处理这些挑战时所做的具体选择来描述现有的人类计算系统。
2013-07-29 cs.AI cs.HC
Automated Screw Planning for Reduced Pelvic Fractures Based on Statistical Shape Models and Deep Learning
Beijing Rossum Robot Technology Co., Ltd.(北京罗萨姆机器人科技有限公司);Beihang University(北京航空航天大学);Beijing 101 High School International Department(北京一零一中学国际部)
本研究提出一种基于统计形状模型和深度学习的骨盆骨折骶髂螺钉自动规划流程,在200例临床病例中使安全裕度提升2%、规划时间减少90%以上,临床接受率达95%。
2026-09-30 cs.AI
Understanding the Capabilities of Large Language Models for Automated Planning
University of South Carolina(南卡罗来纳大学);IBM T.J. Watson Research Center(IBM托马斯·J·沃森研究中心);University of Udine(乌迪内大学);University of Brescia(布雷西亚大学)
本文通过四个关键问题系统评估大型语言模型在自动规划中的能力,比较预训练数据、微调与提示方法,并考察计划泛化能力,为LLMs在复杂规划问题中的应用提供方法指导。
2023-05-25 cs.AI
From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation
Institute of Automation Technology, Helmut Schmidt University Hamburg(海德堡-施密特大学汉堡自动化技术研究所);Chair of Automation Technology, Ruhr University Bochum(博尔塔伦大学博德姆自动化技术教授团)
提出一种基于资产管理外壳(AAS)能力模型自动生成PDDL规划问题的方法,使工程师无需掌握PDDL语法即可进行生产系统布局验证。
2026-06-01 cs.AI
Complex LLM Planning via Automated Heuristics Discovery
Texas A&M University(得克萨斯农工大学)
提出AutoHD方法,让大语言模型显式生成并进化启发式函数以引导推理时搜索,无需训练或微调,在多个基准上显著提升规划准确率,兼具可靠性与可解释性。
2025-02-26 cs.AI
Overview of Tools Supporting Planning for Automated Driving
Virtual Vehicle Research Center(虚拟车辆研究中心)
规划是自动驾驶领域的一个重要主题。除了文献中广泛涉及的规划算法之外,规划还需要不同的软件工具来进行开发、验证和执行。本文提出了一个调查,这些工具包括地图表示,通信,交通规则,开源规划栈和中间件,仿真和可视化工具以及基准。我们首先定义规划任务和不同的支持工具。接下来,我们提供了一个全面的国家的最先进的发展和分析它们之间的关系。最后,我们讨论了目前的差距,并提出了未来的研究方向。
2020-03-09 cs.AI cs.RO
Generating Dialogue Agents via Automated Planning
IBM Research(IBM研究院);IBM Watson(IBM沃森);SilverGate – IBM Argentina(银门——IBM阿根廷)
对话系统具有许多应用,例如客户支持或问答。通常,它们仅限于浅的单圈相互作用。然而,更高级的应用程序,如职业教练或计划旅行,需要更复杂的多轮对话。会话系统的当前限制使得难以支持需要个性化、定制和上下文相关交互的应用。我们通过使用独立于领域的人工智能规划来自动创建对话计划来解决这个具有挑战性的问题,这些计划可以定制以引导对话实现给定的目标。输入包括原子对话动作库、对话的初始状态和目标。对话计划被插入到一个对话系统中,能够协调它们的执行。用例证明了该方法的可行性。我们在对话规划方面的工作已被纳入一个产品,目前正在部署到另一个产品中。
2019-02-02 cs.AI
Automated Urban Planning aware Spatial Hierarchies and Human Instructions
传统的城市规划要求城市专家花费大量的时间和精力,在许多建筑约束条件下制定最佳的城市规划。深度生成学习的非凡想象力为革新城市规划提供了希望。虽然自动化城市规划师已经被审查,他们受到限制,因为以下几点:1)忽视城市规划中的人类需求; 2)忽略城市规划中的空间层次结构; 3)缺乏大量的城市规划数据样本。为了克服这些局限性,我们提出了一个新颖的,深刻的,人类指导的城市规划师。在初步的工作中,我们制定成一个编码器-解码器的范例。编码器是学习周围环境的信息分布,人类的指令,和土地使用配置。解码器是重建土地利用结构和相关的城市功能区。重建过程将捕捉功能区和空间网格之间的空间层次结构。同时,我们引入了一个变分高斯机制,以减轻数据稀疏性问题。尽管早期的工作已经取得了很好的效果,但生成的性能仍然不稳定,因为捕获空间层次的方式可能会导致优化方向不明确。在这个期刊版本中,我们提出了一个基于生成对抗网络(GANs)的级联深度生成框架来解决这个问题,灵感来自城市专家的工作流程。特别是,第一个GAN的目的是基于来自人类指令和周围环境的信息来构建城市功能区。第二个GAN将根据已建成的功能区产生土地利用配置。此外,我们还提供了一个条件增强模块来增强数据样本。最后,我们进行了大量的实验来验证我们的工作的有效性。
2022-10-23 cs.AI
TRIP-PAL: Travel Planning with Guarantees by Combining Large Language Models and Automated Planners
Universidad Carlos III de Madrid(卡洛斯三世大学)
本文提出TRIP-PAL混合方法,利用LLM将旅行与用户信息转换为规划器可用的数据结构,再由自动规划器生成满足约束并优化效用的旅行计划,实验证明其优于单独使用LLM。
2024-06-14 cs.AI
Abstraction Generation for Generalized Planning with Pretrained Large Language Models
Hunan University of Science and Technology(湖南科技大学);Dongguan University of Technology(东莞理工学院)
本文提出利用预训练大语言模型生成通用规划的抽象,并通过自动化调试修正抽象,以提升规划效率。
2026-02-11 cs.AI
Symmetry-Aware Transformer Training for Automated Planning
提出对比学习目标使Transformer感知对称性,结合架构改进,解决其在自动规划中因问题对称性导致的泛化困难。
2026-06-29 cs.AI cs.LG
Strategic Planning for Network Data Analysis
Arizona State University(亚利桑那州立大学);IBM T. J. Watson Research Center(IBM托马斯·J·沃森研究中心)
随着用于网络安全、恶意软件检测和其他关键任务的网络流量监控软件变得越来越自动化,警报和支持数据收集的速度以及底层模型的复杂性经常超过人类的处理能力。这些应用程序中的许多需要复杂的模型和组成规则,以便提出影响整个系统运行的决策。在本文中,我们激发了新的“战略规划”问题-从世界上收集数据,并应用域的底层模型,以提出将以自动化的方式监控系统的决策之一。我们描述了我们使用的自动规划方法来解决这个问题,包括我们用来解决它的方式,将扩展到一个实时的需求,现实世界的情况下的技术。然后,我们提出了一个PDDL模型的一个这样的应用场景相关的网络管理和监控,然后由一个新的集成系统,该系统是建立接受生成的计划,并继续执行过程中的描述。最后,我们提出了两个不同的自动化规划和他们不同的能力与我们的集成系统,无论是在六个月的网络数据窗口,并使用模拟器的评估。
2013-05-12 cs.AI
Smart Language Agents in Real-World Planning
Pacific Collegiate School(太平洋学院);Saratoga High School(萨拉托加高中)
研究提出结合LLM自动化提示与“human-in-the-loop”的半自动化提示生成框架,优化旅行规划代理的“sole-planning”能力,单次迭代使性能提升139%。
2024-07-29 cs.AI
Automated planning with ontologies under coherence update semantics (Extended Version)
Institute of Theoretical Computer Science, TU Dresden, Germany(德累斯顿技术大学理论计算机科学研究所);Department of Mathematics and Computer Science, University of Basel, Switzerland(巴塞尔大学数学与计算机科学系)
本文提出融合 eKABs 本体化动作条件与一致性更新语义的 DL-Lite 本体规划方法,证明复杂度不增,并通过多项式编译到经典规划实现和评估。
2025-07-23 cs.AI cs.LO
An enhanced motion planning approach by integrating driving heterogeneity and long-term trajectory prediction for automated driving systems
School of Transportation and Logistics, Southwest Jiaotong University(西南交通大学交通运输与物流学院);University of Central Florida(中佛罗里达大学);Lyles School of Civil Engineering, Purdue University(普渡大学莱尔土木工程学院)
针对复杂环境中自动驾驶系统导航困难的问题,提出一种融合周围人类驾驶车辆驾驶行为与长期轨迹预测的分层模型运动规划方法,以提升高速公路汇入场景下的驾驶安全性。
2023-08-02 cs.AI cs.RO
Heuristic Optimization for Automated Distribution System Planning in Network Integration Studies
Fraunhofer Institute for Energy Economics and Energy System Technology (IEE)(弗劳恩霍夫能源经济与能源系统技术研究所(IEE));University of Kassel(卡塞尔大学)
网络集成研究试图评估未来发展对大规模网络区域的影响,例如可再生能源的增加或智能网格技术的引入。目标可以是支持监管框架中的战略调整,或适应配电系统运营商的网络规划原则。这项研究概述了一种自动化配电系统规划的方法,可以计算网络重构,加固和扩展计划,在一个完全自动化的方式。这使得大量的真实网络的大规模概率模拟的预期成本的估计,并构成了大规模网络集成研究的框架的核心组成部分。示例性的案例研究结果,与不同的主要配电系统运营商进行合作。案例研究涵盖了预期网络加固成本的估计、智能网格技术的技术和经济评估以及结构网络优化。
2018-02-16 cs.AI cs.CE
A Survey on Large Language Models for Automated Planning
George Mason University(乔治梅森大学)
该综述批判性梳理 LLM 在自动化规划中的研究,指出其不宜独立承担规划器,但与传统方法结合可发挥显著价值。
2025-02-18 cs.AI cs.CL
Multi-step Planning for Automated Hyperparameter Optimization with OptFormer
Carnegie Mellon University(卡内基梅隆大学);Deepmind(深度思维)
随着机器学习渗透到越来越多的行业,模型的训练变得越来越昂贵和耗时,对高效自动化超参数优化(HPO)的需求从未如此紧迫。基于多步规划的超参数优化方法通过更有效地平衡探索和利用,有望提高效率。然而,这些方法的潜力还没有完全实现,由于其技术复杂性和计算强度。在这项工作中,我们利用最新的进展,基于transformer,自然语言接口的超参数优化,以规避这些障碍。我们建立在最近提出的OptFormer之上,它将超参数建议和目标函数近似作为自回归生成,从而通过推出简单有效地进行规划。我们进行了广泛的探索不同的策略,执行多步规划的OptFormer模型的顶部,以突出其潜力,用于构建非近视HPO策略。
2022-11-16 cs.AI cs.LG
Automated Parking Planning with Vision-Based BEV Approach
针对BEV场景下自动泊车规划的实时性与安全性需求,提出融合运动学模型、启发式优化等的改进A*泊车算法,经CARLA-ROS仿真验证,相较传统算法计算更快、舒适性与复杂场景安全性更优。
2024-05-24 cs.AI cs.RO
Towards Automated Process Planning and Mining
German Research Center for Artificial Intelligence (DFKI)(德国人工智能研究中心(DFKI));Saarland University(萨尔大学)
人工智能规划、机器学习和过程挖掘到目前为止已经发展成为独立的研究领域。与此同时,近年来在这些领域的交叉点上获得了许多有趣的概念和见解。例如,现在可以借助机器学习全面预测未来过程的行为。然而,对于这些发现的实际应用,不仅需要知道预期的过程,而且还需要给出实现目标的建议和提示,即进行全面的过程规划。与此同时,上述研究领域仍然缺乏充分的整合。在这篇文章中,我们提出了一个研究项目,其中来自AI和BPM领域的研究人员共同工作。因此,我们讨论的整体研究问题,相关领域的研究和我们的整体研究框架,自动从执行过程中的数据,获得后续的规划问题,并进行自动化规划,以适应性地计划和执行业务流程,使用实时预测的过程模型。
2022-08-18 cs.AI cs.SE
Automated Urban Planning for Reimagining City Configuration via Adversarial Learning: Quantification, Generation, and Evaluation
University of Central Florida(中佛罗里达大学);Virginia Tech(弗吉尼亚理工大学);University of Macau(澳门大学)
城市规划是指设计一个地区的土地使用配置的努力。然而,为了获得有效的城市规划,城市专家必须花费大量的时间和精力来分析复杂的规划约束,基于领域知识和个人经验。为了减轻他们的沉重负担并制定一致的城市规划,我们想问人工智能能否加速城市规划过程,以便人类规划师只根据特定需求调整生成的配置?深度生成模型的最新进展提供了一个可能的答案,它启发我们从对抗学习的角度自动化城市规划。然而,三个主要的挑战出现:1)如何定义一个定量的土地利用配置?2)如何自动化配置规划?3)如何评估生成的配置的质量?在本文中,我们系统地解决这三个挑战。具体来说,1)我们定义一个土地利用配置作为一个纬向通道张量。2)我们将自动化城市规划问题转化为深度生成学习的任务。目标是在给定目标区域的周围环境的情况下生成配置张量。3)我们提供了定量的评估指标,并进行了广泛的实验,以证明我们的框架的有效性。
2021-12-26 cs.AI cs.RO
Automated Process Planning Based on a Semantic Capability Model and SMT
Helmut Schmidt University(赫尔穆特·施密特大学)
本文提出一种结合语义能力模型与SMT的方法,自动生成AI规划问题并求解有效能力序列,实现自动化工艺规划并支持人类专家知识集成与决策解释。
2024-02-14 cs.AI cs.LO
Proactive Decision Support using Automated Planning
Arizona State University(亚利桑那州立大学)
主动决策支持(PDS)有助于改善人类决策者在人在环规划环境中的决策经验。在这里,决策的质量和决策的容易性都得到了提高。在这方面,我们提出了一个PDS框架,名为RADAR,基于人工智能中的自动规划研究,通过提供以下警报来帮助人类决策者制定计划以实现其目标:这样的计划是否能够成功,是否存在任何可能挫败她的计划的资源限制,这是通过生成和分析任何成功的计划在实现目标的道路上必须完成的里程碑来实现的。请注意,这种方法也支持自然决策,这被认为是主动决策支持的必要元素,因为它只通过建议和警报来帮助人类决策者,而不是强制执行固定的计划或决策。我们通过在消防领域的搜索和救援的例子证明了所提出的框架的实用性。
2016-06-24 cs.AI cs.HC
APTree: Extended Behavior Trees for Adaptive and Scalable Automated Robotic Task Planning in Construction
University of Stuttgart(斯图加特大学);Institute for Computational Design and Construction(计算设计与建造研究所);Institute for Control Engineering of Machine Tools and Manufacturing Units(机床与制造单元控制工程研究所)
本文提出APTree框架,以行为树为执行模型,集成自动化任务规划与模块化执行,通过协调异构符号规划器生成大规模任务规划,可检测规划错误并保障执行安全,助力建筑从业者便捷使用自动化任务规划。
2026-10-14 cs.AI cs.RO cs.SE
Architecture of an AI-Based Automated Course of Action Generation System for Military Operations
Ministry of National Defense(国防部长办公室);Department of Smart Mobility Engineering(智能移动工程系);Defense AI R&D Institute, Agency for Defense Development (ADD)(国防AI研发院,国防发展局)
本文基于公开信息,提出适用于行动方案规划各阶段的AI技术,并设计自动化行动方案规划系统架构。
2026-03-20 cs.AI cs.MA
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic
University of Notre Dame(圣母大学)
我们的目标是使自主机器人能够从演示视频中学习新技能,并使用这些新学到的技能来完成重要的高级任务。开发这种自主机器人的目标涉及到知识表示、规范挖掘和自动任务规划。对于知识表示,我们使用基于图的时空逻辑(GSTL)来捕获演示视频所演示的相关技能的时空信息。我们设计了一个规范挖掘算法,通过归纳构造空间项和时间公式,从演示视频中生成一组参数化的GSTL公式。从规范挖掘得到的参数化GSTL公式作为域理论,用于自主机器人的自动任务规划。提出了一种基于GSTL的自动任务规划方法,其中提出者用于生成有序动作,验证者用于生成可执行的任务计划。文中以表格设置为例说明了本文的主要思想。
2020-07-16 cs.AI cs.RO cs.SY
PathWise: Planning through World Model for Automated Heuristic Design via Self-Evolving LLMs
Georgia Institute of Technology(佐治亚理工学院)
提出PathWise多智能体推理框架,将启发式生成建模为基于蕴含图的序列决策过程,通过策略智能体、世界模型智能体和评论智能体的协作实现状态感知规划,在组合优化问题上收敛更快、泛化更强。
2026-05-25 cs.AI cs.CL
Current State and Challenges of Automatic Planning in Web Service Composition
Concordia University(康考迪亚大学)
本文综述了Web服务组合的研究现状,分析了Web服务自动组合的难点和解决方案。本文首先给出了Web服务组合的定义,分析了Web服务组合的动机和目标,探讨了为什么需要自动化的Web服务组合,并对Web服务组合的域进行了形式化的定义。本文针对当前Web服务自动组合的难点,提出了相应的技术和解决方案。最后讨论了验证和未来的工作,以进一步扩展该主题。
2011-07-11 cs.AI cs.DC
A novel model-based heuristic for energy optimal motion planning for automated driving
Virtual Vehicle Research Center(虚拟车辆研究中心);Graz University of Technology(格拉茨理工大学)
预测性运动规划是实现节能驾驶的关键,节能驾驶是自动驾驶的主要优势之一。研究人员一直在研究速度轨迹的规划,一种更简单的运动规划形式,十多年了,有许多不同的方法可用。动态规划已被证明是最常见的选择,由于其数值背景和能力,包括非线性约束和模型。虽然最佳轨迹的规划是以系统的方式完成的,但是动态规划不使用关于所考虑的问题的任何知识来指导探索,因此探索所有可能的轨迹。A* 是一种搜索算法,它可以使用有关问题的知识来引导探索最有希望的解决方案。知识必须以启发式函数的形式表示,这给出了过渡到最终状态的成本的乐观估计,这不是一个简单的任务。本文提出了一种新的动力学,结合空气阻力和辅助动力以及车辆的运营成本,除了动能和势能和滚动阻力在文献中已知的。进一步推导了最佳巡航速度,它取决于车辆的气动特性和辅助功率。结果进行了比较,不同的启发式函数和动态规划以及变种。
2018-03-08 cs.AI math.OC
Model-based Workflow for the Automated Generation of PDDL Descriptions
Ruhr University(鲁尔大学);Chair of Automation(自动化系)
本文提出一种基于MBSE的工作流,从集成系统与产品模型自动生成PDDL规划描述,并在飞机装配用例中验证其有效性。
2024-08-15 cs.AI cs.SE
Deep Human-guided Conditional Variational Generative Modeling for Automated Urban Planning
University of Central Florida(中佛罗里达大学);Beihang University(北京航空航天大学)
城市规划设计土地使用配置,可以有利于建设宜居、可持续、安全的社区。受图像生成的启发,深度城市规划旨在利用深度学习来生成土地使用配置。城市规划是一个复杂的过程。现有的研究通常忽略了规划过程中的个性化人工指导需求,以及规划生成过程中的空间层次结构。此外,缺乏大规模的土地使用配置样本带来了数据稀疏的挑战。本文研究了一种新的深度人类引导的城市规划方法,以共同解决上述挑战。具体来说,我们制定了一个深的条件变分自编码器为基础的框架的问题。在这个框架中,我们利用深层编码器-解码器设计来生成土地使用配置。为了捕捉土地利用的空间层次结构,我们强制解码器生成功能区的粗粒度层和POI分布的细粒度层。为了整合人类的指导,我们允许人类描述他们需要的文本,并使用这些文本作为模型条件输入。为了降低训练数据的稀疏性,提高模型的鲁棒性,我们引入了变分高斯嵌入机制。它不仅使我们能够更好地近似训练数据的嵌入空间分布,并采样更大的人口,以克服稀疏性,但也增加了更多的概率随机性到城市规划生成,以提高嵌入多样性,从而提高鲁棒性。最后,我们提出了广泛的实验来验证我们的方法的增强性能。
2021-10-12 cs.AI cs.CV
Automated stereotactic radiosurgery planning using a human-in-the-loop reasoning large language model agent
本文提出利用人类在回路的推理大型语言模型代理进行自动化立体定向放射手术计划,通过对比推理模型与非推理模型,展示了推理模型在剂量优化和计划行为上的优势。
2025-12-23 cs.AI cs.CL cs.HC
Automated radiotherapy treatment planning guided by GPT-4Vision
Stanford University(斯坦福大学)
本研究提出GPT-RadPlan框架,利用GPT-4Vision的推理能力结合放疗领域知识,通过上下文学习自动评估并迭代优化VMAT治疗计划,在17例前列腺癌和13例头颈癌中达到或超越人类专家计划水平,平均降低危及器官剂量5 Gy。
2025-04-08 cs.AI physics.med-ph
A Socially Assistive Robot using Automated Planning in a Paediatric Clinical Setting
Heriot-Watt University(赫瑞-瓦特大学);University of Glasgow(格拉斯哥大学)
我们提出了一个正在进行的项目,旨在开发一个社交机器人,以帮助儿童在临床环境中应对痛苦和痛苦的医疗程序。我们的方法使用自动规划作为行动选择的核心组成部分,以生成计划,包括物理,感官和社会行动的机器人与人类互动时使用。我们的系统的一个关键能力是,机器人的行为适应基于儿童患者的情感状态。机器人必须在具有挑战性的物理和社会环境中工作,与儿童,父母/护理人员和医疗保健专业人员进行适当和安全的互动至关重要。在本文中,我们提出了我们的系统,检查的情况下,一些关键的挑战,并描述他们是如何解决我们的系统。
2022-10-18 cs.AI cs.HC cs.RO