Книга: Логическое и функциональное программирование

Логическое и функциональное программирование

Содержание

• Переменная
• Значение
• Исходная вершина
• Дуга
• Тип вершины
• Таблица вывода
• Алгоритм
• Переменная
• Значение
• Переменная
• Значение
• Переменная
• Значение
• Переменная
• Значение
• Домашнее задание
• Компьютерное задание
• Вторая группа
• Третья группа
• Четвертая группа
• Нормальные формы
• Синтаксис, семантика и правила вывода в исчислении высказываний
• Предложение : = Элементарное предложение / Сложное предложение
• Исчисление предикатов расширяет язык исчисления высказываний так, что мир оказывается, состоящим из объектов, отношений и свойств.
• Предикат Нераспространенное простое предложение
• Тем самым утверждение (1) будет доказано. Для доказательства (5) возьмем произвольное MN и докажем
• Таким образом, - редукция осуществляется слева направо, и поэтому f.y.x.[f(x, y)], сформулированное в виде f.y.x.[f(x, y)](любит, Мария, Иван), дает любит(Иван, Мария).
• 4. Логическое программирование
• Этот метод неэффективен и избыточен. Можно показать, что высказывание S противоречиво, если исследовать меньшее число моделей. Достаточно ограничиться атомами A1 и A3, то есть провести присваивание значений истинности только этим атомам, а значит использовать только четыре модели.
• Такая структура называется дедуктивным деревом или деревом вывода.
• Алгоритм доказательства
• Правило парамодуляции
• C = {A(x, f(k)), A(b, y), A(a, f(x)), A(x, z)}
• Компьютерный практикум