Практикум "Программирование на языке Пролог" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г




НазваПрактикум "Программирование на языке Пролог" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г
Сторінка1/10
Дата конвертації08.02.2014
Розмір0.67 Mb.
ТипДокументы
mir.zavantag.com > Математика > Документы
  1   2   3   4   5   6   7   8   9   10
МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ

ГОМЕЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

им. Ф. СКОРИНЫ

Кафедра математических проблем управления


Практикум

"Программирование на языке Пролог"

(для специальностей H.01.01 - математика;

H.08.01 - прикладная математика)

Гомель 2001г.

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

Е.И.Сукач, к.т.н. доцент кафедры “Математические проблемы управления”;

Т.Я. Каморникова, ассистент кафедры “Математические проблемы управления”.


Рецензенты:

А. В. Сементовский, к.ф.-м.н. доцент кафедры “Высшая математика” Белорусского государственного университета транспорта;

^ М. И. Жадан, к.ф.-м.н. доцент кафедры “ЭВМ и программирование”.


Утверждено и рекомендовано к изданию научно-методическим советом Гомельского государственного университета имени Ф.Скорины 28 марта 2001 года, протокол № 7.

Данные методические указания могут быть использованы пользователями ПК для получения базовых знаний по логическому программированию на языке Пролог.

Практикум может быть полезен студентам математических и инженерно-технических специальностей при изучении курсов “Базы знаний и экспертные системы” “Экспертные и интеллектуальные системы”, “Методы построения экспертных систем” и др.

© ГГУ им. Ф.Скорины, 2001

ОГЛАВЛЕНИЕ


ВВЕДЕНИЕ 4

1.Основные элементы языка Пролог. Структура программы на языке Пролог. 5

2. Структуры. Состав логических операций в Прологе. Решение логической задачи в TP. 9

3. Использование рекурсии. Построение программ с использованием основных структур данных Пролога - списков. 14

4. Использование механизма отсечения для оптимизации поиска решения в программах на Прологе. 20

5. Управление стратегией вывода в экспертных системах с помощью обратной цепочки рассуждений. 26

6. Управление стратегией вывода в экспертных системах с помощью прямой цепочки рассуждений. 32

7.Управление стратегией выбора в экспертных системах с помощью эвристик. 35

38

8. Получение вывода экспертными системами в условиях неопределённости. 39

9. Организация в экспертных системах ответов на вопросы “Почему” и “Как”. 48

^ РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА. 56


ВВЕДЕНИЕ



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

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

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

Таким образом, все вышеупомянутые свойства Пролога в совокупности делают его оптимальным языком для создания несложных, но мощных программ ЭС.

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

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

Практикум может быть использован при проведении практических и лабораторных занятий по спецкурсам “Базы знаний и ЭС ”, “Основы проектирования ПО интеллектуальных систем”.

  1   2   3   4   5   6   7   8   9   10

Схожі:

Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconВопросы по спецкурсу "Базы знаний и эс" для студентов пятого курса...

Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconБоглаев Ю. П. Вычислительная математика и программирование: Учебное пособие для студентов втузов
Практичний цикл з дисципліни містить 8 робіт з розв’язання задач обчислювальної математики та по вивченню програмування з використанням...
Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconФранциска Скорины Программирование на языке Pascal Практическое пособие...
Авторы: Е. А. Ружицкая, доцент, кандидат физико-математичес-ких наук; Г. Л. Карасёва, доцент, кандидат физико-математических наук;...
Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconПрактикум (М\у 2581) по курсу "Основы менеджмента" для сдудентов...
Настоящий практикум представляет собой комплекс заданий, производственных ситуаций и методических указаний по их решению
Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconМодульна робота з дисципліни “Математика для економістів” 30 жовтня 2012 року

Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconМатематика для економістів
Розклад визначника за елементами рядка або стовпця. Обчислення визначників вищих порядків
Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconМатематика Ст викл. Юдіна Л. В. 14 2

Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г icon7 Математика варианты 2061-2100 3

Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconКафедра “Прикладна математика І комп’ютерні технології”
Кмсонп для спеціальності “Екологія та охорона навколишнього середовища” окр “Бакалавр”
Практикум \"Программирование на языке Пролог\" (для специальностей H. 01. 01 математика; H. 08. 01 прикладная математика) Гомель 2001г iconПитання до державного екзамену "Елементарна математика з методикою...

Додайте кнопку на своєму сайті:
Школьные материалы


База даних захищена авторським правом © 2013
звернутися до адміністрації
mir.zavantag.com
Головна сторінка