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

z> элемент_категории (э, к,) v элемент_категории (э, к2)]. Необходимые и достаточные условия для вхождения объекта х в одну и ту же категорию Инженеры. (V х) элемент_категории (х, Инженеры) = высшее образование (х) л л закончил_технический университет (х). 7.1.4. Сортовые категории Для удобства и выразительности описания моделей сред вводят особые, заранее предопределенные, непересекающиеся ни с какими другими категории объектов. Чаще всего объекты этих категорий являются вымышленными. Обычно эти особые категории объектов называют сортовыми категориями, или сортами. 7.1.5. Стандартные предикаты Стандартными предикатами называют заранее определенные предикаты, аргументы (термы), истинностные значения которых заранее предопределены. 7.1.6. Библиотечные функции Библиотечными функциями называют заранее определенные функции, область определения и область значений которых заранее предопределены. Собственно фиксация сортовых категорий, стандартных предикатов, библиотечных функций и вид ряда аксиом, описывающих отличительные свойства среды, и составляют суть модели среды. Рассмотрим основные сортовые категории, стандартные предикаты, библиотечные функции и вид некоторых аксиом, используемых для описания ситуационных моделей сред.