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

Статья

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

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

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

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

Бураков М.В. Язык логического программирования ПРОЛОГ

формат pdf
размер 184.3 КБ
добавлен 15 марта 2008 г.

Методические указания. Приводится описание основных конструкций языка логического программирования ПРОЛОГ. Методические указания предназначены для студентов, изучающих дисциплину “Системы с искусственным интеллектом”.

Крицкий С.В., Марина И.М. и др. Функциональное и логическое программирование Методическое пособие Часть 2 Язык программирования Пролог

формат pdf
размер 710.74 КБ
добавлен 13 июля 2011 г.

Белорусский государственный университет информатики и радиоэлектроники, 2006, 28с. Для студентов специальности I-40 01 01 "Программное обеспечение информационных технологий" В 4-х частях Часть 2 Во второй части методического пособия изложены основы логического программирования на примере языка Пролог. Пособие предназначено для студентов дневной и дистанционной форм обучения.

Лебедева Н.С. Методическое пособие по программированию на Turbo Prolog

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

Данное учебное пособие предназначено для студентов компьютерных специальностей, изучающих курс «Логическое программирование». Рассмотрены основы логического программирования. Дается описание, синтаксические элементы и основы программирования на Турбо Прологе. Рассмотрена работа с базами данных и с системными предикатами, необходимыми для программирования. Изложение иллюстрируется примерами программ. Содержатся варианты контрольных заданий для вып...

Метакидес Г., Нероуд А. Принципы логики и логическое программирование

формат djvu
размер 533.83 КБ
добавлен 12 сентября 2010 г.

Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На примере языка ПРОЛОГ рассматриваются принципы логического программирова...

Новицкая Ю.В. Основы логического и функционального программирования

формат pdf
размер 478.87 КБ
добавлен 31 января 2011 г.

Учебное пособие. - Новосибирск: НГТУ, 2006. - 60 с. В настоящем учебном пособии излагаются базовые принципы логического и функционального программирования. Пособие разработано на кафедре вычислительной техники Новосибирского государственного технического университета. Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены Поиск с возвратом Управление поиском с возвратом: предикаты! и fai...

Программа - VisualProlog 5.2

program

формат txt
размер 17.8 МБ
добавлен 02 марта 2009 г.

Популярная программная оболочка, основанная на языке логического программирования Пролог, - VisualProlog 5.2. Дружественный интерфейс, хорошие функциональные возможности. Приятного программирования на Visual Прологе!rn

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

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

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

Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог (djvu)

формат djvu
размер 3.97 МБ
добавлен 05 июня 2008 г.

В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных, допускающих накопление данных, техника граматического разбора, программирования метаинтерпретаторов. Изложение удачно иллюстрируется примерами программ. Рассматриваются некоторые приложения Пролога: программиров...

Хоггер К. Введение в логическое программирование

формат djvu
размер 3.41 МБ
добавлен 12 сентября 2010 г.

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

Шпоры по Прологу

pottee

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

1. Язык логического программирования Пролог. Концепция логического программирования. 2. Основы программирования на Турбо-Прологе: структура программы, основные типы данных, работа с секцией domains. 3. Основы программирования на Турбо-Прологе: структура программы, внутренние и внешние цели. 4. Основы программирования на Турбо-Прологе: структура программы, предикаты, факты, правила. 5. Основы программирования на Турбо-Прологе: методы и средства у...