摘要

In this paper, we propose a distributed forward reasoning engine with general purpose called DifreEngine. We present the architecture of DifreEngine with detailed description of its modules. And then, we describe the working process of DifreEngine. Also we introduce the working mechanism of three important algorithms in DifreEngine called task division, nodes management and task scheduling. The DifreEngine makes efficient general forward reasoning possible.

全文