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

7.1.3. Категории Часто рассуждения ведутся не на уровне конкретного объекта, а на уровне множества, или категории, к которой этот объект относится. Имеется два основных способа представления категорий в логике предикатов первого порядка. Первый способ связан с использованием одноместного предиката, характеризующего свойство объектов, относящихся к данной категории. Предикат является истинным, если значение его аргумента совпадает с одним из объектов, обладающих данным свойством или, иначе, принадлежащим данной категории. Например, одноместный предикат томаты_Де_Барао (х) истинен, когда х есть томат сорта Де Барао, т.е. предикат истинен, когда х принадлежит множеству томатов сорта Де Барао, обозначаемых константами Xt, Xv Xm. Таким образом, этот предикат представляет категорию томатов сорта Де Барао.