event calculus | BriefGPT - AI 论文速递

关键词event calculus

搜索结果 - 7

高等教育学习计划和监控的过程挖掘和基于规则人工智能的综合方法
使用过程挖掘和基于规则的人工智能，从校园管理系统数据和学习计划模型中分析和理解学生的学习路径，检测和可视化异常计划，并提供建议和要求，实现学习计划的规划和监控。
PDF2 years ago
MM使用目标导向约束答案集编程对事件演算进行建模与推理
应用 s (CASP) 模型，演绎与缺省推理，对包括时间与数量等约束条件在内的领域进行事件演算。
PDF3 years ago
概率时间推理基础
我们提出了 PEC，一种事件演算（EC）风格的行动语言，用于推理关于概率因果和叙述信息。它具有类似于 EC 变体 Modular-E 的行动语言风格语法。我们还描述了 PEC 的 ASP 实现，并展示了其完整和正确性。
PDF7 years ago
MM事件定义的在线学习
本文提出一种基于归纳逻辑编程和 Event Calculus 的在线学习系统，可用于符号事件识别和活动识别，具有与批量学习技术相当的准确性和显著的训练时间优势。
PDF8 years ago
MM动态不确定领域推理的事件演算产生式规则系统
本文介绍了 Cerbere，一种基于事件演算的产品系统，旨在执行在线因果、时间和认识推理，以及一个混合框架，将基于逻辑的推理与概率推理相结合，旨在在智能空间中进行活动识别和监测任务。
PDF9 years ago
在稳定模型和答案集规划中重构情境演算和事件演算
通过发现究竟为何 circumscription 和 stable model semantics 在某些情况下意义相同，本文利用普通稳定模型理论重新阐述了 situation calculus 和 event calculus，并完成了进
PDF10 years ago
基于逻辑编程的活动识别方法
使用事件演算法识别基于视频内容的短期活动，进而推断长期预定义活动的系统及其详细评估结果。
PDF15 years ago