Separating I/O from application logic for rule-based control systems

One of the main reasons of using a rule-based approach to program control systems is that they can be formally verified. For such systems communication with the environment is often encoded within the knowledge base. Such inclusion may lead to issues with portability, extendibility, maintainability, and interoperability. The paper proposes a four layer architecture to solve these issues. A proof-of-concept RBS, targeted at control systems, and an example case are also given.