面向动态与不确定领域推理的事件演算产生式规则系统
人工智能
2020-02-19 v2
摘要
动作语言已成为知识表示的重要领域，用于对动态领域中的变化与因果关系进行推理。本文提出 Cerbere，一种设计用于基于事件演算执行在线因果、时间与认知推理的产生式系统。该框架在向前链接的基于规则的推理系统中实现了底层逻辑理论的陈述式语义，将其形式化方法的高表达力与基于规则的系统的效率相结合。为说明其适用性，我们展示了该领域基准问题的建模及其在智能空间这一具有挑战性的领域中的应用。我们开发了一个结合基于逻辑推理与概率推理的混合框架，旨在适应智能空间中的活动识别与监控任务。正在《逻辑编程理论与实践》(TPLP) 审稿中。
引用
@article{arxiv.1512.04358,
title = {An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains},
author = {Theodore Patkos and Dimitris Plexousakis and Abdelghani Chibani and Yacine Amirat},
journal= {arXiv preprint arXiv:1512.04358},
year = {2020}
}
备注
Under consideration in Theory and Practice of Logic Programming (TPLP)