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

Отношение между птицами и крыльями, выраженное выше с помощью функции, может быть выражено и с помощью предиката крылья (х), который истинен, если это отношение выполняется. Это может быть, например, когда х = Воробей, т.е. когда истинен предикат крылья (Воробей). 3.1.6. Атомы Выражение предикатный символ (терм, терм, ..., терм) называют атомом. Атом представляет предикат. Особо выделяется атом, предикатным символом которого является знак равенства, а аргументами два терма. Этот атом можно было бы представить как равны (терм, терм) или = (терм, терм), но, как правило, его записывают в обычной инфиксной форме терм = терм. Этот атом истинен, когда значения обоих термов совпадают. Атомы без знака отрицания или со знаком отрицания называют литералами.