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

Переменная -» Строка символов, начинающаяся со строчной буквы, Предикатный символ -> Строка символов, начинающаяся со строчной буквы, Функциональный символ -> Строка символов, начинающаяся со строчной буквы. Рис. 3.1. Синтаксис логики предикатов в метаязыке Бэкуса-Наура 3.1.1. Объектные переменные Объектные переменные или просто переменные обозначаются строкой символов, начинающейся со строчной буквы и записываемой курсивом. Областью значений каждой переменной является множество констант, в общем случае даже бесконечное. Как эта область значений очерчивается, будет ясно из дальнейшего. 53 3. Логика предикатов 3.1.2. Функции Для того чтобы задать такие отношения между объектами, когда в точности один объект соответствует множеству других объектов, используют функции. Например, если объектами являются двоичные цифры 0 и 1 и десятичные цифры 0, 1,..., 9, то любому набору из трех двоичных цифр, представляющему двоичное число, можно однозначно сопоставить десятичную цифру. Если двоичные цифры сопоставить с переменными х, у, г, а десятичные с переменной q, то рассмотренное отношение между двоичными и десятичными цифрами можно представить в виде функции преобразование_2_в_10 (х, у, z). Выражение преобразование_2_в_10 называют функциональным символом. Так при х =1, у = О, z — 1 с помощью функции преобразование_2_в_10 (х, у, z) получим значение функции, равное q = 5. Следует заметить, что функция в логике предикатов не предполагает обязательного наличия какого-либо алгоритма вычисления значения функции по ее аргументам. Она лишь задает с помощью констант и переменных определенное отношение между объектами, соответствующими ее аргументам, и каким-то одним объектом.