Искусственный интеллект

Категории к,, к^, къ входят в одну категорию кА (являются частью категории к4): (V к,, к2, к3, к4) входят_в_одну категорию (KV К2, ку к4) = (V э,, э2, э3) (элементкатегории (э,, к,) л элемент_категории (эг, к2) л 155 7. Ситуационное описание среды л элементкатегории (э3, к3) л (3 э4> э5, э6) (элемент_категории (эА, к4) л л элемент_категории (э5, /с4) л элемент_категории (э6, /cj л э, = Категории к,, /с2 являются разбиением категории къ на две категории, не имеющие общих элементов, объединение которых совпадает с категорией /с3: (V /с,, ку кг) разбиение (KV KV /С3) S не_имеют_общих_элементов (кг к2) л л входят_в_одну_категорию (к,, к2, к3) л (v э) [элемент_категории (э, к3) z>