#推理系统

ERS 事件推理系统以显式事件图实现可追溯规则组合推理

论文提出事件推理系统 ERS，把推理状态表示为显式事件图，由语义特征提名候选对象与规则绑定，再由声明的规则与任务条件决定是否执行。系统支持依赖保持的修订与递归组合的高层控制规则。在结构化事件图上可构建最长十二步依赖链，并将无关域操作从 32 次降至 0 次。