MMSep, 2022

一种运行时认知概率事件演算在电子健康系统决策中的应用

PDF
TL;DR本文提出一种将感官数据和分类器与基于逻辑的决策系统相结合的运行时体系结构，应用于儿童神经运动障碍康复的电子健康系统中，并使用 Epistemic Probabilistic Event Calculus 等技术来改善儿童的表现。
发现论文，激发创造
  • 事件识别的概率事件演算

    本文研究了基于逻辑的事件识别中的不确定性问题，并通过引入概率推理扩展了事件演算，使用 Markov 逻辑网络作为基础形式。通过实验验证，证明了引入概率模型的 Event Calculus 在活动识别领域的优势。

    Jul, 2012

  • 事件定义的在线学习

    本文提出一种基于归纳逻辑编程和 Event Calculus 的在线学习系统，可用于符号事件识别和活动识别，具有与批量学习技术相当的准确性和显著的训练时间优势。

    Jul, 2016

  • 在线学习概率事实演算理论在答案集编程中的应用

    介绍了一种基于 ASP 的、能够通过权重规则进行概率推理的复杂事件识别系统，可应用于活动识别等领域，并与多种现有算法进行了比较，并证明了其在效率和预测性能方面的优越性。

    Mar, 2021

  • 概率逻辑编程事件演算

    基于符号表示的视频内容，我们提出了一个识别人类活动的系统：以时间戳的短期活动 (STA) 为输入，输出由预定义的 STA 时间组合的长期活动 (LTA)，这些 STA 限制已经通过事件演算的方言表达，并适应了最新的概率逻辑编程框架，通过对人类监控视频的基准数据集的实验来进行详细评估和比较。

    Apr, 2012

  • 动态不确定领域推理的事件演算产生式规则系统

    本文介绍了 Cerbere，一种基于事件演算的产品系统，旨在执行在线因果、时间和认识推理，以及一个混合框架，将基于逻辑的推理与概率推理相结合，旨在在智能空间中进行活动识别和监测任务。

    Dec, 2015

  • 使用目标导向约束答案集编程对事件演算进行建模与推理

    应用 s (CASP) 模型，演绎与缺省推理，对包括时间与数量等约束条件在内的领域进行事件演算。

    Jun, 2021

  • 概率时间推理基础

    我们提出了 PEC，一种事件演算（EC）风格的行动语言，用于推理关于概率因果和叙述信息。 它具有类似于 EC 变体 Modular-E 的行动语言风格语法。 我们还描述了 PEC 的 ASP 实现，并展示了其完整和正确性。

    Mar, 2017

  • 归纳逻辑编程实现事件定义的渐进学习

    利用归纳逻辑编程（ILP）技术和事件演算程序，基于归纳推理和反演推理的学习算法来实现事件识别系统中的事件定义的自动化。

    Feb, 2014

  • 动作的概率微积分

    本研究提出一种符号机制，能够处理有关概率和因果信息，从而推断出关于行动影响和观测影响的概率性语句，并利用条件概率和贝叶斯网络等技术来推导新的条件概率，以此量化行动效果和政策制定等方面的确认知识。

    Feb, 2013

  • 关于代理人之间异步通讯和认知状态的过程演算扩展

    本文提出了一个新的 e - 演算，以模拟有着认知状态的智能体之间的认知相互作用，其中缓冲池用于存储基本事实，以实现异步通信。

    Jun, 2022