1. Фреймовое представление знаний Дата доклада: 8 октября
Литература:
Минский М. Фреймы для представления знаний. - Статья в сборнике "Психология машинного зрения" под редакцией П. Уинстона. М. "Мир". 1978
Уинстон П. Искусственный интеллект. (Глава 7. Представление знаний во фреймах) - М. "Мир". 1980
Уэно Х., Коямо Т., Окамото Т. Представление и использование знаний. - М. "Мир". 1989
Докладчик: Большакова Е.
2. Методы поиска решений задач. (Поиск в пространстве состояний, поиск на И-ИЛИ графах, поиск в антагонистических играх.) Дата доклада: 15 октября
Литература:
Нильсон Н. Искусственный интеллект. Методы поиска решений. - М. "Мир". 1973. Шифр в библиотеке: 3БТ Н-669
Уинстон П. Искусственный интеллект. (Глава 4. Исследование альтернативных возможностей) - М. "Мир". 1980
И.Братко. Программирование на языке Пролог для искусственного интеллекта. (Главы 11-16) - М. "Мир". 1990
Докладчик: Алехин С.
3. Языки искусственного интеллекта. Дата доклада: 22 октября
Литература:
Bobrow D.G. and Raphael B. New Programming Languages for Artificial Intelligence Research. - Computing Surveys, Vol 6, No 3, September 1974. (Ксерокопия статьи есть на кафедре)
Попов Э.В., Фридман Г.Р. Алгоритмическме основы интеллектуальных роботов и искусственного интеллекта. - М. "Наука". 1976. Шифр в библиотеке: 5В П-580
Докладчик: Старкина
4. Экспертные системы. Дата доклада: 5 ноября
Литература:
Попов Э.В. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ. - М. "Наука". 1987. Шифр в библиотеке: 5В П-580
Ф.Хейес-Рот, Д.Уотермен, Д.Ленат. Построение экспертных систем. - М. "Мир". 1987г.
Д.Уотермен и др. Руководство по экспертным системам. - М. "Мир". 1989г.
Докладчик: Горященко
Курсовые работы. 3 курс
1. Отладка базы функциональных стереотипов РГЗ.
(Пополнение базы функциональных стереотипов. Расширение класса решаемых задач.)
Исполнитель: Алехин С.
2. Планирование решений задач на основе генетического программирования
(Исследование возможностей применения генетического программирования [ГП] для решения задач планирования. Реализация программы-планировщика на основе ГП для модельной задачи - "планирование поведения робота" или "мир кубиков" или др.)
Исполнитель:
3. Применение технологии интеллектуальных агентов в задачах управления и планирования.
(Составление обзора текущего состояния исследований в данной области. Разработка модельной системы управления/планирования на основе интеллектуальных агентов.)
Исполнитель:
4. База знаний решателя геометрических задач
(...)
Исполнитель:
Темы докладов. 4 курс
1. Аспектно-ориентированное программирование Дата доклада: 24 октября
Докладчик: Борисов П.
2. Система планирования на основе генетического программирования Дата доклада: 12 ноября
Литература:
Muslea I. SYNERGY: A Linear Planner Based on Genetic Programming. - Proceedings of the 4th European Conference on Planning (ECP-97).1997. (архив статьи в Postscript)
Muslea I. A general-purpose AI planning system based on the genetic programming paradigm. - Proceedings of the World Automation Congress (WAC-1998) /in the ISIAC-98 section/. 1998.(архив статьи в Postscript)
Струнков Т. Что такое генетические алгоритмы. - PCWEEK. Russian Edition. No 19. 1999.
Докладчик: Смирнов Н.
3. Планирование с применением нескольких стратегий Дата доклада: 29 октября
Литература:
Melis E. Proof Planning with Multiple Strategies. - Proceedings of the 14th Annual Conference of the Canadian Association for Distant Education (CADE-98). 1998. (архив статьи в Postscript)
Информация на сайте проекта OMEGA (http://www.ags.uni-sb.de/~omega/)
Докладчик: Марков C.
4. Сопоставление ситуаций в решателе геометрических задач. Дата доклада:
Литература:
Charles L. Forgy. RETE - A Fast Algorithm for Many Pattern / Many Object Pattern Match Problem. Artificial Intelligence, No 19, 1982 pp. 17-37 (ксерокопия статьи есть на кафедре)
Корухова Л.С., Любимский Э.З., Манжелей С.Г. Сопоставление ситуаций в условиях альтернативного немонотонного планирования. - М. Препринт ИПМ РАН. No 77. 1995
P.Nayak, A.Gupta, P.Rosenbloom. Comparison of the RETE and TREAT production matchers for Soar. (A summary). (архив статьи в Postscript)
Докладчик: Борисов П.
Курсовые работы. 4 курс
1. Разработка инструментальных средств для решателя геометрических задач.
(Разработать средство для работы с RETE-сетью, обеспечивающее наглядность, визуализацию, выдачу полной информации, элементы отладки-трассировки RETE-сети. Продолжение работы 3-го курса)
Исполнитель: Борисов П.
2. Расширение базы знаний РГЗ
(Реализация работы со знаниями о многоугольниках [5 и более вершин]. Создание базы функциональных стереотипов для многоугольников. Решение задач.)
Исполнитель: Смирнов Н.
3. Планирование на основе нескольких стратегий
(Реализация в РГЗ новых стратегий планирования [создание библиотеки управляющих стереотипов]. Решение задач и оценка эффективности решений, полученных различными стратегиями планирования.)
Исполнитель: Марков С.
4. Гипертекстовая система объяснения решения.
(Реализация автоматического преобразованя протокола работы РГЗ в гипертекст - объяснение хода решения.)
Исполнитель: Воропаев
Темы докладов. 5 курс
1. Программные средства накопления знаний Дата доклада:
Литература:
Gil Y., Melz E. Explicit Representation of Problem-Solving Strategies to Support Knowledge Acquisition. - Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96). 1996. (архив статьи в Postscript)
Докладчик: Блохин А.
2. Методы автоматизированного приобретения знаний Дата доклада:
Литература:
Laird J.E. and Congdon C.B. Soar User's Manual. Version 6. Edition 1. Chapter "Learning" (chunking). (архив в текстового файла)
Laird J.E., Rosenbloom P.S.,Newell A. Chunking in Soar: The Anatomy of a General Learning
Mechanism. - Machine Learning, Vol 1, No 1, pp. 11-46. March 1986
Laird J.E., Newell A., Rosenbloom P.S. Soar: An architecture for general intelligence - Artificial Intelligence, 33(1). pp 1-64. 1987
Докладчик: Матвеев М.
|