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

3.1.3. Объектные константы Каждая объектная константа, называемая в дальнейшем, если это не вызывает путаницы, просто константой, взаимно однозначно сопоставляется в процессе интерпретации с каким-либо одним объектом среды. Константа обозначается строкой символов, начинающейся с прописной буквы, и, чаще всего, эта строка символов совпадает с именем или наименованием объекта и записывается курсивом, например, Владимир, Чудовище, Кот и т. д. 3.1.4. Термы Константы; переменные и функции являются термами. Выбор констант, переменных и функций для данной среды полностью является прерогативой того, кто использует логику предикатов. Предположим, например, что наша среда имеет такие объекты, как крылья и птицы, и нам известно, что "птицы имеют крылья". Спрашивается, как выразить это знание? Введем константы, обозначающие конкретный вид птиц, например, Воробей, Синица, Соловей, и константу Крылья, обозначающую объект крылья. Введем также переменную х, обозначающую все объекты, .которые являются птицами; функциональный символ имееткрылъя ставит во взаимно-однозначное соответствие любой птице объект крылья. Тогда функция имеет_крылья (х) задает отношение между объектом крылья и птицей х.