达萨罗，法比奥·奥雷里奥；安东尼斯·比卡基斯；卢克·狄更斯；罗布·米勒 概率事件演算基础。 （英语） Zbl 1491.68201号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 57-63 (2017). 总结：我们提出了PEC，一种事件演算（EC）风格的动作语言，用于推理概率因果和叙述信息。它的动作语言风格语法类似于EC变体\（\mathcal{M}\text{odular-}\mathcal{E}\）。它的语义是根据构成领域可能进化的可能世界给出的，并建立在认知功能EC（EFEC）的语义基础上。我们还描述了PEC的ASP实现，并展示了这是合理和完整的。关于整个系列，请参见[Zbl 1367.68005号]. 引用于5文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit{F.A.D'Asaro}等人，Lect。注释计算。科学。10377，57-63（2017年；兹bl 1491.68201） 全文： 内政部 arXiv公司 链接