Formalization and Use of Fuzzy Predicates for Hybrid Processes Implementation

The technique of formalization of fuzzy predicates together with crisp logical variables for the specification of fuzzy logic-dynamic situations and crisp logical commands is considered. The technique is based on the submission of crisp and fuzzy logic variables by means of membership functions and on the use of fuzzy inference rules. Here we only used the forms of presentation of fuzzy logic functions which are also suitable for presentation of crisp logic functions. By the examples the possibility of using the considered technique for the computer implementation of hybrid processes is shown.