automata | BriefGPT - AI 论文速递

关键词automata

搜索结果 - 11

基于符号寄存器传感器的复杂事件识别：扩展技术报告
我们提出了基于自动机的复杂事件识别系统，通过 Symbolic Register Transducers 实现模式检测，提供声明性和组合性语义，并比较我们的系统与其他先进的 CER 系统，表明其更具表达能力和效率。
PDF3 days ago
学习 POMDP 策略的可解释且性能更好的表示
部分可观察马尔科夫决策过程（POMDP）的策略通常需要记忆，本文介绍了一种使用 L*- 算法学习策略的自动机表示的方法，相比于策略的表格表示，生成的自动机规模更小、更易解释，同时在学习过程中，我们的启发式方法甚至可以改善策略的性能，相较于直
PDF6 months ago
ICML从成员和偏好查询中学习正式规范
提出了一个将成员标签和成对偏好结合起来的新框架，扩展了主动规范学习的方法，以更灵活地进行活跃规范学习，通过两种模式的学习使我们能够鲁棒且方便地识别成员标签和偏好的规范。
PDFa year ago
AAAI自动机级联：表达能力与样本复杂度
基于 Prime Decomposition 定理，本文介绍自动机级联作为自动机复杂系统的一种结构化和模块化方式；并且证明了样本复杂度可以通过组件数量和单个组件的最大复杂度来描述，由此学习表示多组分相互作用的大型动态系统的自动机的数量可以呈
PDF2 years ago
基于逻辑的奖励塑造多智能体强化学习
本研究探讨了基于逻辑的多智能体强化学习中的奖励设计问题，并提出了一种可扩展的半集中式逻辑奖励设计方法，以应对任务中多智能体数量增加的问题。
PDF2 years ago
从长执行跟踪中学习简洁模型
通过自动提取硬件 / 软件系统执行轨迹中的自动机模型和轨迹分割来综合捕捉事务级、系统范围的行为模式，并实验验证了该方法的有效性。
PDF4 years ago
ACL顺序神经网络作为自动机
本研究试图从理论的角度解释神经网络的计算类型，通过将它们与自动机相关联，并使用定义 “实时网络有界精度接受语言” 的方法来解释网络内存度量，对可被各种循环网络、注意力和卷积网络接受的语言类别进行了表征。研究发现 LSTM 功能类似于计数器机
PDF5 years ago
AAAI关于带不确定性有限轨迹的时间逻辑（技术报告）
提出了一种新的基于超定理解的概率时态逻辑，用于处理现实动态系统中的不确定性，探讨了逻辑的特性并提供了基于自动机的推断机制。同时，研究了具有更好计算性质的逻辑片段，可以通过现有的声明性流程发现技术从事件日志数据中发现公式。
PDF5 years ago
概率复杂事件识别：综述
本文研究复杂事件识别技术中的不确定性，并回顾了基于自动机、概率图模型和一阶逻辑等技术以及基于 Petri 网和语法的方法，提出了它们存在的一些限制，并针对性地指出未来研究的方向。
PDF7 years ago
在大型有序字母表上学习正则语言
研究使用有限分区的元素标记过渡的通用模型，在该模型中扩展了 Angluin 的 L * 算法以学习正则语言，并将该算法扩展到部分有序字母表上。
PDF9 years ago
从不确定性 Büchi 和 Streett 自动机到确定性 Parity 自动机
本研究重新审视了 Safra 关于无限词汇自动机确定性构造的技术，并通过减少状态数和引入奇偶数接受条件等方法，提出了新的构造方式。通过使用我们构造出的更小的确定性自动机，可以降低关于树自动机、CTL * 可满足性、逻辑规范的实现和综合等领域
PDF17 years ago