bisimulation | BriefGPT - AI 论文速递

关键词bisimulation

搜索结果 - 10

PDL on Steroids：关于具有交集和转置的 PDL 表达式的扩展性探讨
介绍了一种基于 PDL 的表达力丰富的逻辑家族 CPDL+，研究了其最小模型检查问题和可满足性问题，将 CPDL + 的表达能力与树宽相关联，并通过基于树宽的逐步升级证明了其表达能力的严格上升。
PDFa year ago
行动模型等效性确定与简化
本文研究了行动模型的等价性和在一定结构关系下最小化其事件空间的问题。提出了广义行动仿真理论完美地捕捉了行动模型等价性，通过迭代算法使用原子集合确定行动模型等价性，提出了一种新的公式集合以及基于模态逻辑规范公式的可计算方法来解决这个问题。
PDF2 years ago
ICML双仿关系在目标条件强化学习中的应用
提出了一种名为 Goal-conditioned bisimulation 的状态抽象形式来捕捉功能等变性，该方法可以让代理器在没有明确目标的情况下从先前的行为中学习新的目标，并且证明其可以适用于任何由纯状态奖励函数描述的下游任务
PDF2 years ago
噪声机器人程序抽象化
本文介绍一种应用于概率和动态系统的抽象方法，通过基于概率信念的情境演算定义同类关系可将包含嘈杂执行器和传感器的详细概率基本操作理论抽象为可能的非随机基本操作理论，并得到节省细节的抽象 Golog 程序，简化了嘈杂机器人程序的实现，提供了更易
PDF2 years ago
一种元概率编程语言，用于概率和非良基础类型系统的双模拟
我们引入了一个正式的元语言来进行概率编程，旨在让 AGI 不仅学习相关知识（程序 / 证明），而且学习适当的推理方式（逻辑 / 类型系统）。我们利用立方型类型理论和依赖类型元图的框架来形式化我们的方法。通过这样做，我们展示了元语言中的特定构
PDF2 years ago
分级模态逻辑与计数双模拟
本文考虑一阶逻辑到带分级的模态逻辑中基本特征定理的拓展，重点在展示分级多模态逻辑对 Kripke 结构中保存在计数等价中的一阶特性的表现完备性。
PDF5 years ago
加权自动机的等价关系度量
本文提出了一种基于 WFA 状态空间上的半范数的新型仿射（伪）度量，以线性算子集的谱性质为基础，研究了其连续性和应用于加权自动机谱学习的初步结果，并且发现其计算难度为不可判定问题。
PDF7 years ago
有限马尔可夫决策过程的度量
该研究提出了用于测量有限马尔可夫决策过程（MDP）状态相似性的度量标准，其基于 MDP 的这种有限状态的相似性概念构建，并可应用于强化学习任务的价值函数逼近器中。通过该度量标准，优化 MDP 中给定状态的最优值与度量距离之间关系的边界得到了
PDF12 years ago
具有无限状态空间的马尔可夫决策过程度量
本文提出了度量具有无限状态的马尔可夫决策过程（MDPs）中状态相似性的指标，包括具有连续状态空间的 MDPs。这样的指标为 MDPs 的同步关系提供了稳定的定量分析，适用于 MDP 逼近。我们展示了与我们的指标距离有关的贴现无限时域规划任务
PDF12 years ago
马尔可夫决策过程中计算状态相似性的方法
本文运用网络优化和统计抽样技术，克服了计算 Kantorovich 度量在实践中的成本问题，提出了一系列用于 MDP 状态聚合的距离函数，这些函数在时间和空间复杂度以及聚合质量之间存在不同的权衡，并对这些权衡进行了实证评估。
PDF12 years ago