Discrete Event Calculus Reasoner是一个开源程序,用于使用离散事件演算执行自动化的常识推理,离散事件演算是一种全面且高度可用的形式主义,用于推理有关动作,变化,空间和心理状态。