close

Вход

Забыли?

вход по аккаунту

?

Презентация

код для вставкиСкачать
Старший преподаватель каф. ВТ
Юлия Вадимовна Новицкая
email: novitskaya@vt.cs.nstu.ru
Дисциплина
«ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ
ПРОГРАММИРОВАНИЕ»
ПРЕДМЕТ ИЗУЧЕНИЯ
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
язык программирования Prolog
(Programming in logic)
ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ
язык программирования Lisp
(List processing)
СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
В течение 5 семестра
Лекции – 34 часа (17 лекций)
Лабораторные работы – 17 часов (4 лаб. работы)
Курсовой проект – получение задания на 2 лаб.
работе (Prolog или Lisp)
В сессию
Экзамен
Два
теоретических вопроса
Одна практическая задача (Prolog или Lisp)
Балльно-рейтинговая система
ЛИТЕРАТУРА
Основная литература
Братко И. Алгоритмы искусственного интеллекта на языке Prolog. – М. : Вильямс , 2004.
– 637 с. (70 экз.)
Шрайнер П.А. Основы программирования на языке Пролог : курс лекций : учебное
пособие для вузов по специальностям информационных технологий. – М. : ИнтернетУниверситет Информационных Технологий , 2005. – 172 с. (45 экз.)
Новицкая Ю.В. Основы логического и функционального программирования : учебное
пособие. – http://ermak.cs.nstu.ru/flp (неограниченно экз.)
Языки программирования. – М. : Новый Диск : ИНТУИТ.ру , 2006. – 1 электрон. опт.
диск (CD-ROM) (2 экз.)
Чанышев О.Г. ПРОграммирование в ЛОГике. – Омск : Изд-во ОмГУ , 2004. – 63 с. (1
экз.)
Городняя Л.В. Основы функционального программирования. – М. : ИНТУИТ.РУ , 2004. –
272 с. (16 экз.)
Хювёнен Э., Сеппянен Й. Мир Лиспа. М.: Мир, 1990. – 447 С. (2 экз.)
Непейвода Н.Н. Стили и методы программирования. – М. : ИНТУИТ.РУ , 2005. – 316 с.
(1 экз.)
ЛИТЕРАТУРА
Дополнительная литература:
Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. – СПб.:
БХВ-Петербург, 2003. – 992 С.
Ин Ц., Соломон Д. Использование Турбо-Пролога. – М.: Мир, 1993. – 608 С. (17 экз.)
Стобо Дж. Язык программирования Пролог. – М.: Мир, 1993. – 368 С. (2 экз.)
Янсон А. Турбо-Пролог в сжатом изложении. – М.: Мир, 1991. – 94 С. (49 экз.)
Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. – М.: Мир,
1990. – 235 С. (21 экз.)
Малпас Дж. Реляционный язык Пролог и его применение. – М.: Наука, 1990. – 463 С.
(3 экз.)
Доорс Дж. и др., Рейблейн А.Р., Вадера С. Пролог язык программирования будущего. –
М.: ФиС, 1990. – 144 С. (96 экз.)
КЛАССИФИКАЦИЯ
Языки
программирования
Алгоритмические
(процедурные) языки
(Fortran, Pascal,
C, …)
Декларативные
(неалгоритмические)
языки
Языки
логического
программирования
(Prolog, …)
Языки
функционального
программирования
(Lisp, …)
ОБЛАСТИ ПРИМЕНЕНИЯ
Области применения декларативных языков
Создание систем искусственного интеллекта
Разработка экспертных систем и оболочек
экспертных систем
Создание систем помощи принятия решений
Разработка систем обработки естественного языка
Построение планов действий роботов
…
СОВРЕМЕННОЕ СОСТОЯНИЕ
Visual Prolog 7.3
Разработкой языка занимается фирма PDC
Prolog Development Center
http://www.pdc.dk
Версии Prolog’а
Turbo
Prolog
PDC Prolog
Visual Prolog
СОВРЕМЕННОЕ СОСТОЯНИЕ
http://www.lisp.org
Различные диалекты Lisp’а
ПЕРЕНОС ЗАНЯТИЙ
АП-818
Первая лабораторная работа для первой
подгруппы переносится на
вторник 4 недели, 8.30, 21 сентября
ЯЗЫК ПРОГРАММИРОВАНИЯ PROLOG
Особенности языка
Описание
проблемы и правил ее решения
Нахождение всех возможных решений с
помощью механизма поиска с возвратом
(backtracking)
Простой синтаксис
ПЕРВАЯ ПРОГРАММА
Факты
Правило вывода
Воробей – это птица.
Воробей – родитель птенца.
Некто является птицей при
условии, что у него есть родитель
– птица.
Программа
птица (воробей).
птица (X):– родитель (Y, X),
птица (Y).
родитель (воробей, птенец).
Запрос
птица (Z)
Все возможные
решения:
Z = воробей
Z = птенец
ПЕРВАЯ ПРОГРАММА
PREDICATES
bird (symbol)
parent (symbol, symbol)
CLAUSES
Факт
bird («воробей»).
bird (X):– parent (Y, X), bird (Y).
parent («воробей», «птенец»).
Факт
Правило вывода
Goal: bird (Z)
Z = «воробей»
Z = «птенец»
Внешняя цель
ПЕРВАЯ ПРОГРАММА
PREDICATES
bird (symbol)
parent (symbol, symbol)
CLAUSES
bird (sparrow).
bird (X) :- parent (Y, X), bird (Y).
parent (sparrow, nestling).
Goal: bird (Z)
Z = sparrow
Z = nestling
Документ
Категория
Презентации
Просмотров
38
Размер файла
4 488 Кб
Теги
1/--страниц
Пожаловаться на содержимое документа