BriefGPT.xyz
Jun, 2021
使用目标导向约束答案集编程对事件演算进行建模与推理
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
HTML
PDF
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
TL;DR
应用 s(CASP) 模型，演绎与缺省推理，对包括时间与数量等约束条件在内的领域进行事件演算。
Abstract
automated commonsense reasoning
is essential for building human-like AI systems featuring, for example, explainable AI.
event calculus
(EC) is a family of formalisms that model commonsense reasoning with a sound,
→