Implementing general purpose applications with the rule-based approach

Abstract

Using Rule Based Systems (RBS) for implementing general purpose applications makes verification of their formal properties feasible - especially conformance of such applications to their design. To make the RBS approach suitable for general purpose applications an RBS architecture and a certain knowledge representation should be engineered. The paper proposes both the architecture (the Four Layer Architecture - FLA) and an example knowledge representation (Extended Tabular Trees - XTT2). A prototype RBS and an example application which acknowledges the approach are also discussed. © Springer-Verlag Berlin Heidelberg 2011.