在过去的二十年中，机器学习几乎渗透到技术的每个领域。同时，许多研究人员已经开始使用类别理论作为一种统一的语言，从而促进了不同科学学科之间的沟通。因此，毫不奇怪的是，将类别理论应用于机器学习存在兴趣 ...
随着AI系统变得越来越自治，了解新兴的生存行为对于安全部署至关重要。我们研究了大型语言模型（LLM）代理是否在没有明确编程的糖景型模拟中显示生存本能。代理商消耗能量，死亡为零，并可能收集资源，共享，攻击或繁殖 ...
大语言模型（LLM）的快速发展显着增强了人工智能驱动的代理在各种任务中的能力。然而，现有的代理系统，无论是基于固定管道算法还是预定义的元学习框架，由于人为设计组件的限制，都无法搜索整个代理设计空间，因此可能会错过全局最优的代理设计。在本文中，我们介绍了哥德尔代理，这是一个受哥德尔机启发的自我进化框架，使代理能够递归地改进自身，而不依赖于预定义的例程或固定的优化算法 ...
在这项调查中，我们描述了信息歧管的基本差分几何结构，说明信息几何学的基本定理，并说明了信息科学中这些信息歧管的一些用例。该博览会是通过简单地引入差异几何形状的必要概念来独立的，但简洁地省略了证据 ...
该手稿从优化和控制的角度来调查强化学习，重点是连续控制应用。它调查了强化学习的一般配方，术语和典型的实验实现，并审查了竞争解决方案范式。为了比较各种技术的相对优点，本调查介绍了具有未知动力学的线性二次调节器（LQR）的案例研究，这可能是最佳控制中最简单，最良性的问题 ...
大语言模型（LLMS）在高维矢量嵌入中编码语义关系。本文探讨了LLM嵌入空间和量子力学之间的类比，认为LLMS在量化的语义空间内运行，其中单词和短语以量子状态为单位。为了捕获细微的语义干扰效应，我们将标准的实价嵌入空间扩展到复杂域，将相似之处划分为双缝实验 ...
时间流逻辑（TSL）扩展了LTL，更新和谓词在任意函数项上。这允许指定LTL表达不够表达的数据密集型系统。在TSL的语义中，函数和谓词没有解释 ...
近年来，规划界的研究越来越多地朝着将计划者应用于涉及时间和许多资源类型的现实问题上。例如，太空人社区所展示的对计划的兴趣激发了观察计划，行星漫游层和航天器控制域的工作。其他时间和资源密集型领域，包括物流规划，工厂控制和制造，也有助于将社区集中在必须面对的建模和推理问题上，以使计划技术应对应用的挑战 ...
嘈杂的传感，不完美的控制和环境变化是许多现实世界机器人任务的特征。 The partially observable Markov decision process (POMDP) provides a principled mathematical framework for modeling and solving robot decision and control tasks under uncertainty. Over the last decade, it has seen many successful applications, spanning localization and navigation, search and tracking, autonomous driving, multi-robot systems, manipulation, and human-robot interaction. ...
机器人需要任务规划算法来对实现通过个人行动不可能实现目标的行动进行序列。智能机器人从业人员可以使用现成的任务计划者来解决各种计划问题。但是，存在许多不同的计划者，每个计划者都有不同的优势和劣势，并且没有一般规则的规划者最好适用于给定的问题 ...