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

Если, например, х = Воробей, то имееткрылъя {Воробей) = Крылья. Но это не единственная возможность выразить отношения между птицами и крыльями. Функция может не содержать аргументов, т.е. иметь только один функциональный символ. Термы, не содержащие аргументов, т.е. константы, переменные и функции без аргументов, называют элементарными термами. 3.1.5. Предикатный символ С помощью предикатов задаются отношения между объектами. Такие отношения задаются выражением, начинающимся, как и в случае с функцией, 54 3.1. Синтаксис и семантика строкой символов, записанных курсивом, первая буква которой строчная. Эта строка символов называется предикатным символом. За ним в скобках следует упорядоченный набор переменных или констант, соответствующих объектам, находящимся в поименованном отношении. Так, например, если два человека Владимир и Марина являются братом и сестрой, то это отношение родства может быть выражено с помощью конструкции брат_и_сестра (Владимир, Марина), где брат_и_сестра является предикатным символом, а (Владимир, Марина) — упорядоченным набором объектных констант. Конструкция. брат_и_сестра (Владимир, Марина) является предикатом, способным принимать одно из двух значений Истина или Ложь. В случае истинного значения предиката будем говорить также, что отношение, задаваемое предикатом, имеет место, а в случае ложного — не имеет места.