Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический




Скачать 113.94 Kb.
НазваниеРабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический
Дата26.01.2013
Размер113.94 Kb.
ТипРабочая программа


Министерство образования и науки Российской Федерации

Уральский государственный экономический университет

Кафедра информационных систем в экономике


УТВЕРЖДАЮ:


Проректор по учебной работе

профессор _______ М.С. Марамыгин

« ___ »______________ 2006 г.


РАБОЧАЯ ПРОГРАММА


по дисциплине –  «Основы логического программирования»

для специальности – 080801 «Прикладная информатика в экономике»

экономический факультет

кафедра Информационных систем в экономике

курс – второй

семестр – четвертый

лекции – 17 часов

лабораторные занятия – 34 часа

экзамен – 4 семестр


Екатеринбург

2006

Рабочая программа составлена на основании требований Государственного образовательного стандарта высшего профессионального образования по специальности 080801 «Прикладная информатика в экономике».


Составитель: доцент Крылов В.Г.


Обсуждено:


на заседании кафедры «Информационные системы в экономике»

« ___ » ___________2006 г., Протокол № ____


курс – второй

семестр – четвертый

лекции – 17 часов

лабораторные занятия – 34 часа

экзамен – 4 семестр



  1. ЦЕЛИ И ЗАДАЧИ КУРСА




    1. Цель преподавания


Целью преподавания данного курса является формирование у студентов теоретических и практических знаний по освоение средств логического программирования для решения научных и прикладных задач. Создание у студентов теоретической и практической подготовки, обеспечивающей им возможности использования методов математической логики в курсах: «Основы логического программирования», а также курсовом проектировании курса «Интеллектуальные информационные системы». В качестве инструментальных средств изучается язык ПРОЛОГ.


1.2. Задачи курса


1) Изучение основных понятий, моделей и методов математической логики;

2) Усвоение логических методов для решения экономических задач.

3) Выработка у студентов навыка проектирования, создания и эксплуатации экспертных систем моделей и решения типовых задач с использованием оболочки Пролога.


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


Для эффективного усвоения материала по курсу студент должен владеть основами знаний теории и методов по следующим дисциплинам: математике, дискретной математике, экономике, информатике и программированию.

II. КАЛЕНДАРНЫЙ ПЛАН КУРСА

«Основы логического программирования»




Номер

недели


Номер

лекции

Тема лекции

1

1

Введение в проблематику логического программирования.

2 – 3

2

Основные понятия логического программирования.

4

3

Основные элементы языка. Арифметика.

5-7

4

Согласование целевых утверждений.

9-10

5

Рекурсивное представление данных и программ.

11-12

6

Отсечение и способы его использования.

13

7

Ввод и вывод. Встроенные предикаты.

14-15

8

Отладка ПРОЛОГ-программы.

16-17

9

Примеры использования ПРОЛОГа для решения задач искусственного интеллекта.



III. СОДЕРЖАНИЕ КУРСА

«Основы логического программирования»


Тема

Содержание темы

Часы

1

2

3

3.1. Введение в проблематику логического программирования.



Применение логического программирования в системах искусственного интеллекта:

Задачи искусственного интеллекта. Современные парадигмы решения задач искусственного интеллекта.

Роль логики в решении задач ИИ. Логика предикатов первого порядка. Клаузы Хорна. Соотношение между клаузальной и стандартной формой логики. Доказательство теорем в исчислении предикатов первого порядка. Алгоритм унификации и принцип резолюции Робинсона. Использование логики как языка программирования.

2

3.2 Основные понятия логического программирования


Основные понятия логического программирования: понятие логической программы. Основные конструкции. Факты, правила, вопросы. Логические переменные, подстановки и примеры. Абстрактный интерпретатор. Значение логической программы. Вычислительная модель логических программ. Концепция языков "нового принципа". Ретроспективный обзор создания средств логического программирования. ПРОЛОГ как система, реализующая логический вывод в исчислении предикатов первого порядка

4

3.3. Основные элементы языка. Арифметика

Основные элементы языка: алфавит языка. Термы. Виды термов: константы, переменные, структуры. Литеры и их типы. Интерпретация литер. Операторы. Свойства операторов (позиция, приоритет, ассоциативность). Инфиксные, префиксные, постфиксные операторы. Запись фактов и правил. Предикат. Цели, конъюнкция целей. Общая схема доказательства целевого утверждения. Встроенные предикаты для сравнения чисел: =, \=, >, <, >=, =<. Вычисление арифметических выражений: операторы +, -, *, /, ^. Предикат is. Примеры программ с выполнением арифметических операций.

2

3.4. Согласование целевых утверждений

Диаграмма успешного доказательства целевых утверждений. Доказательство целевых утверждений при использовании механизма возврата. Правила установления соответствия. Недетерминизм первого и второго рода. Понятие "связанной" переменной. Примеры программ с использованием механизма возврата. Операционная модель вычисления ПРОЛОГ-программ. ПРОЛОГ и математическая логика.

6

3.5 Рекурсивное представление данных и программ

Построение рекурсивных программ. Граничные условия и способы использования рекурсии. Структуры и деревья. Список как частный вид структуры. Формы записи списков. Работа со списками. Примеры программ с рекурсивными определениями.

4

3.6 Отсечение и способы его использования

Модели Причины использования отсечения. Предикат !. Диаграмма работы программы с использованием отсечения. Общие случаи использования отсечения.

4

1

2

3

3.7. Ввод и вывод. Встроенные предикаты

Ввод и вывод термов (предикаты read, write, display). Ввод и вывод литер (предикаты get, get0, put). Примеры программ с использованием ввода и вывода.

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

Дополнительные возможности

Программирование второго порядка. Множественные выражения. Предикаты "univ", findall, bagof, setof. Интерфейсные и графические возможности версий ПРОЛОГа.

2

3.8. Отладка ПРОЛОГ-программы.

Рекомендации по расположению текста программ. Типичные ошибки при работе с ПРОЛОГом. Использование трассировки и контрольных точек в ПРОЛОГ-системе. Фиксация ошибок. Возможности управления ходом доказательства.

4

3.9. Примеры использования ПРОЛОГа для решения задач искусственного интеллекта

Реализация на ПРОЛОГе простейшей экспертной системы. Использование языка ПРОЛОГ п ри планировании действий. Реализация на ПРОЛОГе нечеткого логического вывода. Не линейный выбор правил при доказательстве. Экспертные системы и базы знаний в Прологе. Экспертные системы и базы знаний в Прологе программа на языке Пролог рассматривается как база знаний, особенности манипуляции знаниями в Прологе.

4

IV. ОРГАНИЗАЦИЯ ПРАКТИЧЕСКИХ ЗАНЯТИЙ


4.1. Тематика практических занятий

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


Практические занятия выполняются в соответствии со следующими темами:


1) Декларативная и процедурная формы представления программ – 2 ч;

2) Основные элементы языка. Арифметические операции – 4 ч;

3) Согласование целевых утверждений – 4 ч;

3) Рекурсивное представление данных и программ – 4 ч;

4) Отсечение и способы его использования – 4 ч;

5) Ввод и вывод. Встроенные предикаты – 4 ч;

6) Отладка ПРОЛОГ-программы – 6 ч;

7) Экспертная система IMP – 6 ч.

Практические задания по темам 1 – 7 выполняются на лабораторных занятиях и самостоятельно.


V. ОРГАНИЗАЦИЯ ЛАБОРАТОРНЫХ ЗАНЯТИЙ


5.1. Освоение программных средств


На лабораторных занятиях по данному курсу студенты получают навыки работы со следующими программными средствами:

1) прикладным пакетом Turbo Prolog;

2) прикладным пакетом – Visual Prolog;

3) прикладным пакетом – SWI Prolog;

4) прикладным пакетом – Arity Prolog;


5.2. Тематика лабораторных занятий


1. Декларативная и процедурная формы представления программ – 2 ч.

Выполнение лабораторной работы № 1.


2. Основные элементы языка. Арифметические операции (программирование на Прологе) – 4 ч.

Выполнение лабораторной работы № 2.


3. Согласование целевых утверждений (формализация алгоритма и программирование на Прологе) – 4 ч.

Выполнение лабораторной работы № 3.


4. Рекурсивное представление данных и программ (формализация алгоритма и программирование на Прологе) – 4 ч.

Выполнение лабораторной работы № 4.


5. Отсечение и способы его использования – 4 ч.

Выполнение лабораторной работы № 5.


6. Ввод и вывод. Встроенные предикаты – 6 ч.

Выполнение лабораторной работы № 6.


7. Отладка ПРОЛОГ-программы. Экспертная система IMP – 6 ч.

Выполнение лабораторной работы № 7.


5.3. Темы лабораторных работ


В период проведения лабораторных занятий студенты выполняют 7 лабораторных работы и оформляют их соответствующим образом.


Лабораторные работы выполняются по следующим общим темам.


1. Декларативная и процедурная формы представления программ (Лабораторная работа № 1 – программирование и реализация);


2. Основные элементы языка. Арифметические операции (Лабораторная работа № 2 – программирование и реализация);


3. Согласование целевых утверждений (Лабораторная работа № 3 – программирование и реализация);


4. Рекурсивное представление данных и программ (Лабораторная работа № 4 – программирование и реализация);


5. Отсечение и способы его использования (Лабораторная работа № 5 – модель и реализация);


6. Ввод и вывод. Встроенные предикаты (Лабораторная работа № 6 – модель и реализация);


7. Отладка ПРОЛОГ-программы. Экспертная система IMP (Лабораторная работа № 7 – модель и реализация).


VI. Вопросы к экзамену

по курсу «Основы логического программирования»


  1. Хорновские дизъюнкты

  2. Декларативная семантика логических программ

  3. Метод резолюций для исчисления высказываний

  4. Теорема Эрбрана

  5. Процедурная семантика логических программ

  6. Синтаксис языка логических программ

  7. Оператор отсечения

  8. Отрицания в Прологе

  9. Встроенные предикаты и функции

  10. Предваренная нормальная форма

  11. Скулемовская стандартная форма

  12. Унификация

  13. Интерпретация алгоритма поиска элемента в списке

  14. Интерпретация алгоритма последнего элемента в списке

  15. Интерпретация алгоритма сортировки списка

  16. База Пролога

  17. Структура программы на языке Пролог

  18. Типы данных языка Пролог

  19. Ввод-вывод на языке Пролог

  20. Трассировка логического вывода


ЛИТЕРАТУРА

  1. Лорьер Ж.-Л. Системы искусственного интеллекта. - М.: Мир, 1991.

  2. Л.Стерлинг, Э.Шапиро. Искусство программирования на языке ПРОЛОГ. М. Мир, 1990.

  3. И.Братко. Программирование на языке ПРОЛОГ для искусственного интеллекта. М.Мир,1990

  4. Хювенен Э., Сеппянен И. Мир ЛИСПа. В 2 т. - М.: Мир, 1990

  5. Филд А., Харрисон П. Функциональное программирование. - М.: Мир, 1993

  6. Хендерсон П. Функциональное программирование. Применение и реализация. - М.: Мир, 1983

  7. Искусственный интеллект: В 3 кн. Кн 1. Системы общения и экспертные системы: Справочник / Под ред. Э.В. Попова. - М.: Радио и связь, 1990.

  8. Искусственный интеллект: В 3 кн. Кн 2. Модели и методы: Справочник / Под ред. Д. А. Поспелова. - М.: Радио и связь, 1990.

  9. Искусственный интеллект: В 3 кн. Кн 3. Программные и аппаратные средства: Справочник / Под ред. В. Н. Захарова, В. Ф. Хорошевского. - М.: Радио и связь, 1990.

  10. Ковальски Р. Логика в решении проблем. - М.: Наука, 1990.

  11. Нильсон Н. Дж. Искусственный интеллект. Методы поиска решений. - М.: Мир, 1973.

  12. Нильсон Н. Принципы искусственного интеллекта. /Пер. с англ. Р.М. Абдусаматова, Ю.И. Крюкова; Под. ред. Стефанюка В.Л. - М.: Радио и связь, 1985.

  13. Тельное Ю. Ф. Основы логического программирования в экономике: Учеб. пособие. - М.: СИНТЕГ, 1998.

  14. Ченъ Ч. Математическая логика и автоматическое доказательство теорем. - М.: Наука, 1983.

  15. Уинстон П. Искусственный интеллект. М.,Мир, 1990.

  16. Бердж В. Методы рекурсивного программирования. М., Машиностроение, 1983

  17. Тейз А. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. - М.: Мир, 1990.

  18. Абилов В.Г., Зинченко Н.И. Turbo и Arity: два подхода к логическому программированию. //Мир ПК No.2,3, 1990.

  19. Язык Пролог в пятом поколении ЭВМ. - М.: Мир, 1988.

  20. Марселлус, Проектирование эксперных систем на Турбо Прологе,М, 1996


Похожие:

Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconРабочая программа По дисциплине “Имитационное моделирование экономических процессов” для специальности 080801 Прикладная информатика (в экономике)
Рабочая программа составлена в соответствии с Государственным образовательным стандартом по специальности 080801 – Прикладная информатика...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconРабочая программа по дисциплине «Информационные технологии» Для специальности 080801 Прикладная информатика (в экономике) Учебный план набора 2005 и последующих лет
Дисциплина входит в цикл общепрофессиональных дисциплин. Рабочая программа составлена на основании гос впо для специальности 080801...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconРабочая программа по дисциплине «Мировые информационные ресурсы» для специальности 080801 «Прикладная информатика (в экономике)»
Рабочая программа по дисциплине «Мировые информационные ресурсы» составлена на основании требований Государственного образовательного...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconРабочая программа по дисциплине «Дискретная математика» для специальности 080801 «Прикладная информатика (в экономике)» Набор 2005 года и последующих лет
«Дискретная математика» составлена на основании требований Государственного образовательного стандарта по специальности 080801 —...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconРабочая программа дисциплины Специальность 080801. 65 «Прикладная информатика в экономике»
Информационный менеджмент [Текст]: рабочая программа дисциплины для студентов специальности 080801. 65 «Прикладная информатика в...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconРабочая программа по учебной дисциплине Основы электронной коммерции, оэк
Рабочая программа предназначена для преподавания дисциплины «Основы электронной коммерции» студентам очной полной формы обучения...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconПрограмма по курсу «Реинжиниринг бизнес- процессов» для специальности 080801«Прикладная информатика (в экономике)» шифр название специальности
Рабочая программа по курсу «Реинжиниринг бизнес- процессов» составлена на основании учебного плана специальности 080801 «Прикладная...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconРабочая программа дисциплины Специальность 080801. 65 «Прикладная информатика в экономике»
...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconРабочая программа по учебной дисциплине Высокоуровневые методы информатики и программирования (вумип)
Рабочая программа предназначена для преподавания дисциплины «Высокоуровневые методы информатики и программирования» студентам очной...
Рабочая программа по дисциплине «Основы логического программирования» для специальности 080801 «Прикладная информатика в экономике» экономический iconУчебно-методический комплекс Для специальности 080801 Прикладная информатика (в экономике) м осква 2008 Автор-составитель: к т. н., доцент, профессор Д. Ю. Нечаев Учебно-методический комплекс по дисциплине «Операционные системы, среды и оболочки»
Государственного образовательного стандарта высшего профессионального образования II поколения (номер государственной регистрации...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница