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

52 3.1. Синтаксис и семантика языке логики предикатов, как и на языке логики высказываний, в виде определенных предложений (высказываний, формул логики предикатов), использующих объектные переменные и объектные константы, а также ряд других конструкций, включая уже известные связки и скобки. Рассмотрим подробнее язык логики предикатов. 3.1. Синтаксис и семантика Синтаксис логики предикатов с использованием метаязыка Бэкуса-Наура приведен на рис. 3.1. Рассмотрим семантику всех синтаксических конструкций, приведенных на этом рисунке. Формула -* Атом | Предложение | Предложение Связка Предложение | Квантор (Переменная, ..., Переменная) Предложение | -1 Предложение | (Предложение), Атом -> Предикатный символ (Терм, ..., Терм) | Терм = Терм, Терм -> Функциональный символ (Терм, ..., Терм) | Константа | Переменная, Связка -+ 1э | л | v | =, Квантор -> V | 3, Константа -> Строка символов, начинающаяся с прописной буквы,