BriefGPT.xyz
Mar, 2017
概率时间推理基础
Foundations for a Probabilistic Event Calculus
HTML
PDF
Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
TL;DR
我们提出了PEC,一种事件演算(EC)风格的行动语言,用于推理关于概率因果和叙述信息。 它具有类似于EC变体Modular-E的行动语言风格语法。 我们还描述了PEC的ASP实现,并展示了其完整和正确性。
Abstract
We present
pec
, an
event calculus
(EC) style action language for reasoning about probabilistic causal and narrative information. It has an action language style syntax similar to that of the EC variant Modular-E.
→