Сошников Д.В. Лекции по ЛП. Слайды

формат pdf
размер 21.9 МБ
добавлен 08 октября 2009 г.

МАИ.
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Подготовка к экзамену по курсу Логическое программирование
Преподаватель: Сошников Д. В. ~500 стр.

Что такое логическое программирование
Введение в логическое программирование
Логика
Резолюции
Пролог и Меркурия
Рекурсивные Структуры данных
Отрицание как Failure
Логических задач
Типизированное программирование
Простой поиск
Эвристический поиск
Символьных вычислений
Объектно-ориентированная логик
Language Processing
Метапрограммирование
Экспертные системы
Семантика и программы Доказательство
Ограничение и индуктивной логики программирования
Заключительные мысли

Различные парадигмы программирования и подходы к определению
вычислимости. Декларативные языки программирования как альтернатива императивным. Логическое программирование как алгоритмическая модель, альтернативная модели Тьюринга --- фон Неймана

Математическая логика. Логика предикатов первого порядка. Она достаточно формальна и позволяет формулировать свойства.

Программы представляют собой строго формализованную постановку задачи.
Естественный способ описания. Выполнение инициализируется запросом на нахождение значений переменных, удовлетворяющих какому-нибудь предикаты или формуле.

Смотрите также

Лекции - Основы логического программирования

Статья

формат doc
размер 471.5 КБ
добавлен 01 июля 2011 г.

Введение. Понятие о БЗ. Средства описания БЗ. Формы представления знаний. Исчисление высказываний. Логика предикатов. Семантические сети. Фреймы. Система продукции. Понятие вывода. Метод резолюций. Ввод- вывод в Турбо Прологе. Технические приложения Пролога. и другие темы. 13 страниц

Лекции - Основы логического программирования

Статья

формат doc
размер 106.5 КБ
добавлен 01 июля 2011 г.

Подготовка к экзамену. Понятие об искусственном интеллекте и экспертных системах. Понятие о базах знаний. Средства описания и представления знаний Формы представления знаний Логические модели Семантические сети. Пример применения семантических сетей для ре-шения логических задач Фреймы. Пример описания задач с помощью фреймов Системы продукций. Прямые и обратные системы продукции. Примеры применения Метод резолюций. Демонстрация метода на пример...

Лекции основы языка логического программирования Пролог

Статья

формат pdf
размер 2.24 МБ
добавлен 30 октября 2009 г.

История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.

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

Статья

формат jpg
размер 2.75 МБ
добавлен 18 марта 2004 г.

Знакомство со средой Турбо-Пролог. Трассировка программы. Основы программирования на Турбо-Прологе. Стандартные типы доменов. Структура программ. Арифметические операторы. Описание задач с многовариантными решениями. Представление и обработка списков. Использование структур. Организация многооконных меню и работа с файлами. Работа с динамическими базами данных. rn

Лекции. Логическое программирование

Статья

формат doc
размер 97.5 КБ
добавлен 01 апреля 2010 г.

Особенности языка Пролог. Правила сопоставления термов в системе Пролог. Общие принципы поиска ответов на вопросы системой Пролог. Объекты данных. Структурированные объекты. Структура программы. Арифметические выражения. Сравнение результатов арифметических выражений. Работа с файлами. Списки. Рекурсивное определение списка. Работа со списками. Проверка типов термов. Операции с базами данных.

Сошников Д.В. Лекции по ЛП

формат pdf
размер 650.55 КБ
добавлен 09 октября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. 123 стр. I Основы 1 Парадигмы 2 Логика предикатов 1-го порядка 21 Семантика логики предикатов 3 Исчисление предикатов 1-го порядка 4 Понятие о полноте 5 неразрешимость исчисления 6 Нормальные формы 7 Унификация 71 Правила 8 Правило вывода modus tollens 81...

Сошников Д.В. Парадигма логического программирования

формат djvu
размер 12.5 МБ
добавлен 01 ноября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Объем: 111стр. Содержание: Парадигмы. Системы логического программирования. Логика и исчисление предикатов. Логическое программирование как алгоритмическая модель. Типизированное логическое программирование. Языки программирование Prolog и Mercury. Рекурсивные структуры данных. Отрицание по неуспеху. Методы решения логических задач. Поиск в пространстве с...