V. N. Zakharov ,   P. S. Kantor ,   D. G. Tkachenko Journal of Computer and Systems Sciences International , vol. 39, No 4 , 01.2000 , p. 615-622, language: английский ISSN 1064-2307  Аннотация Methods for overcoming uncertainty of the input data in generating formalized descriptions of the operation of logical controllers used at the executive level of intelligent logical control systems are considered. A methodology for constructing descriptions of automaton models is proposed, with the application of facilities of fuzzy logic when uncertain information and data are received from experts. Examples of the operation of algorithms for processing fuzzy information and for designing formal models of logical controllers are pre- sented.  Ключевые слова Logical design, Logical controller, Fuzzy information processing, Membership function