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

Все элементы категории Томаты_Де_Барао имеют общие свойства (являются красными и круглыми): (V х) элемент_категории (х, Томаты_Де_Барао) => красный (х) л круглый (х). Все элементы категории Арбузы могут быть распознаны по некоторым свойствам: (V х) красный_внутри (х) л зеленыйснаружи (х) л л элемент_категории (х, Бахчевые) => элемент_категории (х, Арбузы). Категория Томаты имеет свойства томатов, районированных в Московской области томаты_районированные_в_Московской_области (Томаты). Все категории, элементы которых обладают определенными свойствами, входят в категорию Томаты. (V х) (V у) красный_внутри (х) л зеленый_снаружи (х) л л элементкатегории (х, у) => элемент_категории (у, Томаты). Категории к, и к2 не имеют общих элементов: (V /с,, к2) не_имеют_общих_элементов (кх, к2) = (V э,, э2) (элемент_категории (э,, к,) л элемент_категории (э2, к2) /\э2* э,).