On Markovian fragments of COCOLOG for logic control systems
Yanjun Wei, Peter E. Caines · 2005
The formulation of a Markovian fragment of the general COCOLOG system is considered. This idea is introduced via the definition of a restricted set of axioms for a new set of theories. The new set of axioms communicates only the basic dynamical properties of the machine under control plus the most recent new observations and the state estimate generated in the most recent COCOLOG theory. In addition, an updated version of a single control problem is carried along, and this must be phrased only in terms of the other predicates and axioms available in the restricted theories. It is shown that this construction yields the desired family of Markovian fragments of COCOLOG theories.>