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

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

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

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

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

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

Введение в дисциплину.
Синтаксис.
Базовые функции.
Базовые предикаты.
Машинное представление и оценивание выражений.
Имя и значение символа.
Определение функций.

Для студентів 4 курсу, напрям підготовки 6.050101 Комп’ютерні науки, 7 лекцій, 34 сторінки.
Основні поняття експертних систем, їх призначення і характеристики.
Етапи розробки ЕС.
Склад і організація даних і знань в ЕС.
Моделі представлення знань в ЕС.
Способи реалізації логічного висновку в ЕС з класичними мо...

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

Написать программу Prolog для решения следующей полицейской головоломки.
Jean был убит во вторник. Luc, Paul, Alain, Bernard и Louis находятся под подозрением (с данными условиями).
Листинг программ в 2-вариантах.

Определить значение истинности логического выражения
Используя двухместные предикаты сестра ( *, * ), мать ( *, * ) или
отец ( *, * ), составить правило, определяющее двухместный предикат
тетя ( *, * ).
Представлена база данных о родственниках, составить запросы, позволяющие определить имена отцов, матерей, баб...

Познакомиться на практике с методами анализа естественно-языковых
текстов в системах логического программирования (Пролог, Mecury), реализовать в
соответствии с вариантом задания несложный фрагмент естественного-языкового
интерфейса к модельной задаче и протестировать его на ряде примеров.


Реализовать р...

А. Предикаты работы с бинарными деревьями
tree_depth(Т,N): N – глубина дерева;
sub_tree(Т1, Т2): дерево Т1 является непустым поддеревом дерева Т2;
flatten_tree(Т,L): L – список меток всех узлов дерева Т;
nsert(Т1,N, Т2): Т2 – дерево, полученное путем добавления натурального числа N в упоря-доченное дерево Т1 с уч...

Требуется сформировать исходный список структур. Сформировать иp исходного списка новый список структур и вывести его на экран. Уточнение задания: определены структуры «дата рождения», «Ф. И. О. »(фамилия, имя, отчество), «персона»(Ф. И. О., дата рождения) и «супруги» (Ф. И. О., Ф. И. О. )
Найти все пары, где оба супруга род...

Цель: Первоначальное ознакомление с выбранной системой программирования на языке Пролог, реализация предикатов обработки списков в различных представлениях.


Задача:
1. Ознакомится с одной из систем программирования на языке Пролог на персональной или мини-ЭВМ (J#, GNU Prolog, BinProlog, Cprolog, AMZI Prolog, Vi...

Создать программу работы с файлами целых чисел, реализующую следующие функции обработки файлов: а) создание файла; б) добавление элемента в файл; в) модификацию данных в файле; г) удаление элемента в файл; д) просмотр файла (вывод на экран); ж) найти сумму положительных элементов файла.

Написать и отладить программу решения задачи искусственного интеллекта,
используя технологию поиска в пространстве состояний.

Крестьянину нужно перевезти через реку
волка
козу
капусту
Но лодка такова, что в ней может поместиться только крестьянин,
а с ним или один волк, или одна коза, и...

Создать ИСС для выбора компьютера. Атрибуты: тип( сервер, рабочая станция), память, процессор, стоимость и т. д. Язык PROLOGrn

Динамическая база содержит информацию о результатах сессии данной группы студентов в виде утверждений следующих видов: математика, физика, химия, информатика (Ф. И. О., оценка). Предполагается, что в группе N студентов, и все они имеют оценки по всем предметам (5,4,3,2). В динамической базе данных (ДБД) для каждого студента може...

МАИ. →
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.

Написать и отладить Пролог-программу (используя любую систему) решения логической задачи в соотвестсвии с вариантом.

Один из пяти братьев разбил окно.
Андрей сказал: Это или Витя, или Коля .
В...

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