Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/specsem/pcd/themes2000.html
Дата изменения: Wed Feb 11 22:28:56 2015
Дата индексирования: Sun Apr 10 00:10:47 2016
Кодировка: Windows-1251
Темы докладов, курсовых и дипломных работ. 1999-2000 учебный год

Главная страница « Спецсеминары « С/с Планирование целенаправленной деятельности «

Темы докладов. 1999-2000 учебный год

Осенний семестр

Аннотация | 2002-3 | 2001-2 | 2000-1 | 1999-2000 | 1998-9

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

1. Фреймовое представление знаний
Дата доклада: 8 октября
Литература:

  1. Минский М. Фреймы для представления знаний. - Статья в сборнике "Психология машинного зрения" под редакцией П. Уинстона. М. "Мир". 1978

  2. Уинстон П. Искусственный интеллект. (Глава 7. Представление знаний во фреймах) - М. "Мир". 1980

  3. Уэно Х., Коямо Т., Окамото Т. Представление и использование знаний. - М. "Мир". 1989

Докладчик: Большакова Е.


2. Методы поиска решений задач. (Поиск в пространстве состояний, поиск на И-ИЛИ графах, поиск в антагонистических играх.)
Дата доклада: 15 октября
Литература:

  1. Нильсон Н. Искусственный интеллект. Методы поиска решений. - М. "Мир". 1973. Шифр в библиотеке: 3БТ Н-669

  2. Уинстон П. Искусственный интеллект. (Глава 4. Исследование альтернативных возможностей) - М. "Мир". 1980

  3. И.Братко. Программирование на языке Пролог для искусственного интеллекта. (Главы 11-16) - М. "Мир". 1990

Докладчик: Алехин С.


3. Языки искусственного интеллекта.
Дата доклада: 22 октября
Литература:

  1. Bobrow D.G. and Raphael B. New Programming Languages for Artificial Intelligence Research. - Computing Surveys, Vol 6, No 3, September 1974. (Ксерокопия статьи есть на кафедре)

  2. Попов Э.В., Фридман Г.Р. Алгоритмическме основы интеллектуальных роботов и искусственного интеллекта. - М. "Наука". 1976. Шифр в библиотеке: 5В П-580

Докладчик: Старкина


4. Экспертные системы.
Дата доклада: 5 ноября
Литература:

  1. Попов Э.В. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ. - М. "Наука". 1987. Шифр в библиотеке: 5В П-580

  2. Ф.Хейес-Рот, Д.Уотермен, Д.Ленат. Построение экспертных систем. - М. "Мир". 1987г.

  3. Д.Уотермен и др. Руководство по экспертным системам. - М. "Мир". 1989г.

Докладчик: Горященко


Курсовые работы. 3 курс

1. Отладка базы функциональных стереотипов РГЗ.
(Пополнение базы функциональных стереотипов. Расширение класса решаемых задач.)
Исполнитель: Алехин С.


2. Планирование решений задач на основе генетического программирования
(Исследование возможностей применения генетического программирования [ГП] для решения задач планирования. Реализация программы-планировщика на основе ГП для модельной задачи - "планирование поведения робота" или "мир кубиков" или др.)
Исполнитель:


3. Применение технологии интеллектуальных агентов в задачах управления и планирования.
(Составление обзора текущего состояния исследований в данной области. Разработка модельной системы управления/планирования на основе интеллектуальных агентов.)
Исполнитель:


4. База знаний решателя геометрических задач
(...)
Исполнитель:


Темы докладов. 4 курс

1. Аспектно-ориентированное программирование
Дата доклада: 24 октября
Докладчик: Борисов П.


2. Система планирования на основе генетического программирования
Дата доклада: 12 ноября
Литература:

  1. Muslea I. SYNERGY: A Linear Planner Based on Genetic Programming. - Proceedings of the 4th European Conference on Planning (ECP-97).1997. (архив статьи в Postscript)

  2. 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)

  3. Струнков Т. Что такое генетические алгоритмы. - PCWEEK. Russian Edition. No 19. 1999.

Докладчик: Смирнов Н.


3. Планирование с применением нескольких стратегий
Дата доклада: 29 октября
Литература:

  1. Melis E. Proof Planning with Multiple Strategies. - Proceedings of the 14th Annual Conference of the Canadian Association for Distant Education (CADE-98). 1998. (архив статьи в Postscript)

  2. Информация на сайте проекта OMEGA (http://www.ags.uni-sb.de/~omega/)

Докладчик: Марков C.


4. Сопоставление ситуаций в решателе геометрических задач.
Дата доклада:
Литература:

  1. Charles L. Forgy. RETE - A Fast Algorithm for Many Pattern / Many Object Pattern Match Problem. Artificial Intelligence, No 19, 1982 pp. 17-37 (ксерокопия статьи есть на кафедре)

  2. Корухова Л.С., Любимский Э.З., Манжелей С.Г. Сопоставление ситуаций в условиях альтернативного немонотонного планирования. - М. Препринт ИПМ РАН. No 77. 1995

  3. 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. Программные средства накопления знаний
Дата доклада:
Литература:

  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. Методы автоматизированного приобретения знаний
Дата доклада:
Литература:

  1. Laird J.E. and Congdon C.B. Soar User's Manual. Version 6. Edition 1. Chapter "Learning" (chunking). (архив в текстового файла)

  2. 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

  3. Laird J.E., Newell A., Rosenbloom P.S. Soar: An architecture for general intelligence - Artificial Intelligence, 33(1). pp 1-64. 1987

Докладчик: Матвеев М.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 4.10.2005