Intelligent logical control systems: Overcoming the uncertainty at execution level

The facilities for overcoming the information uncertainty in the descriptio n of automaton models employed at the execution level of intelligent logica l control systems are considered. A special language (of production type) f or describing the models of execution level called the language of logical productions is proposed. The description of this language is presented and its potentialities for representing strongly sub-definite automata are demo nstrated. Examples of the implementation of algorithms for minimizing produ ction descriptions in this language are presented.