Логическое программирование на языке Visual Prolog. Солдатова О.П - 5 стр.

UptoLike

ВУЗ: 

СГАУ | Самара

Составители: 

Рубрика: 

5
Предисловие
Язык Пролог был создан как язык программирования для решения
задач искусственного интеллекта. Языку Пролог посвящались многие книги
и статьи в журналах, однако все они описывали разные версии языка, и
только одна монография была посвящена языку Visual Prolog
– книга А.Н.
Адаменко и А.М.Кучукова «Логическое программирование и Visual Prolog»
–
вышла в 2003 году и в настоящее время стала библиографической редкостью.
За последние годы в стандарты многих специальностей и направлений
подготовки бакалавров и магистров, связанных с информационными
технологиями, введены курсы, освоение которых предполагает получение
навыков логического программирования. Для студентов, изучающих
логическое программирование, и предназначено данное учебное пособие.
В пособии содержится краткое
описание математических основ
логического программирования, введение в язык программирования Visual
Prolog и изложение наиболее известных методов и алгоритмов решения
интеллектуальных задач. В пособии приведено множество примеров
программ на языке Visual Prolog, иллюстрирующих описываемые методы и
алгоритмы.
1 Логическое программирование и аксиоматические системы
1.1 Общие положения
Теория формальных систем и, в частности, математическая логика
являются формализацией
человеческого мышления и представления наших
знаний. Если предположить, что можно аксиоматизировать наши знания и
можно построить алгоритм, позволяющий реализовать процесс вывода
ответов на запрос из знаний, то в результате можно получить формальный
метод для получения неформальных результатов.
Логическое программирование возникло в эру ЭВМ как естественное
желание автоматизировать процесс логического вывода, поэтому
оно
является ветвью теории формальных систем.
Логическое программирование (в широком смысле) представляет
собой семейство таких методов решения задач, в которых используются
приемы логического вывода для манипулирования знаниями,
представленными в декларативной форме [1]. Как писал Джордж Робинсон в
1984 году, в основе идеи логического программирования лежит описание
задачи совокупностью утверждений на некотором формальном
логическом
языке и получение решения с помощью вывода в некоторой формальной
(аксиоматической) системе. Такой аксиоматической системой являются
исчисление предикатов первого порядка, поэтому в узком смысле логическое
программирование понимается как использование исчисления предикатов

Страницы