V. N. Zakharov Journal of Computer and Systems Sciences International , vol. 38, No 5 , 01.1999 , p. 760-766, language: английский ISSN 1064-2307  Аннотация The facilities for overcoming the information uncertainty in the description of automaton models employed at the execution level of intelligent logical control systems are considered. A special language (of production type) for 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 demonstrated. Examples of the implementation of algorithms for minimizing production descriptions in this language are presented.  Ключевые слова Logical Control, Intelligent Control, Automata Theory, Logical Design.