JTP: A System Architecture and Component Library for ...

A KB contains a set of symbolic logic sentences; for each such sentence it can provide a justification in the form of a reasoning step. A reasoning step is a central concept in this architecture. The primary work of the system is performed by modules called reasoners. ................
................