ПОИСК Статьи Чертежи Таблицы поставим в соответствие элементарную конъюнкцию (со) вида (7.10) и назовем ее аксиомой k-ro подкласса, если (ш ) = 1. Объединяя все синтезированные таким образом аксиомы k-ro подкласса Zf, (со), h = 1, т , знаком дизъюнкции, получим описание k-rb класса в виде аксиомы класса (7.5). Это и есть логическое представление понятия о k-м классе, которое система управления РТК формирует в процессе обучения. [Выходные данные]