A synchronous real-time knowledge-based system

We propose a framework for the construction of real-time knowledge-based systems, under the production system paradigm and following the synchronous approach. This approach assumes that the inputs and outputs of a system are synchronous events, i.e. zero-time reaction systems. The proposed formalism which is used in this paper is based on a paraconsistent prepositional temporal logic, extended by a set of temporal operators represented by finite automata. We also present the agreement of the logical model theory with the input/output relation of a reactive production system, and show how the temporal conditions are expressed and temporal properties are verified. Finally, we discuss the use of this proposal for the effective construction of rule-based production systems for reactive and real-time applications.