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

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

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

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

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

1. Язык SVG
Дата доклада: 25 февраля.
Ссылки:

  1. Раздел, посвященный SVG, на сайте World Wide Web Consortium (www.w3.org/Graphics/SVG/)

Докладчик: Карнаухов И. А.


2-5. Отчет студентов 5-го курса о ходе работы над дипломным проектом
Дата доклада: 4, 11 марта.
Докладчики: Горященко А. С., Большакова Е. А., Старкина А. В., Алехин С. Д.,


6. Проект SemanticWeb
Дата доклада: ... Ссылки:

  1. www.SemanticWeb.org

  2. Перевод статьи Tim Berners-Lee, James Hendler, Ora Lassila. The Semantic Web – "Scientific American", May 2001 www.bim.f2s.com/xsl/sw.xml (для просмотра необходим IE5.0 или выше)

  3. Bijan Parsia. An Introduction to Prolog and RDF – www.xml.com/pub/a/2001/04/25/prologrdf (перевод здесь, для просмотра необходим IE5.0 или выше)

Докладчик: ...


7. Планирование на основе знаний (knowledge-based planning)
Дата доклада: ...
Ссылки:

  1. David E. Wilkins and Marie desJardins. A Call for Knowledge-based Planning – AI Magazine, Spring 2001, volume 22, number 1. (pdf 295Кб)

Докладчик: ...


8. Правила и объекты. Язык R++
Дата доклада: ...
Ссылки:

  1. Раздел о языке R++ на сайте AT&T-Labs Research (www.research.att.com/sw/tools/r++/)

  2. R++ User Manual for Release 1.1 (on-line, ps 177Кб)

  3. G. M. Weiss, J. P. Ros, A. Singhal network Monitoring Using Object-Oriented Rules – Proccedings of IAAI-98 (ps 154Кб)

Докладчик: ...


9. Выводы на основе прецедентов (case-based reasoning)
Дата доклада: ...
Ссылки:

  1. Питер Джексон. Введение в экспертные системы – СПб.: Издательский дом «Вильямс», 2001.

  2. M. M. Veloso. PRODIGY/ANALOGY: Analogical Reasoning in Generel Problem Solving – 1991 (ps 83Кб) ...

Докладчик: ...


10. Нечеткие знания
Дата доклада: ...
Ссылки:

  1. Т. А. Гаврилова, Т. Ф. Хорошевский. Базы знаний интеллектуальных систем. – СПб: Изд-во «Питер», 2001

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

11. Средства объяснений и приобретения знаний в экспертных системах (Teiresias в Mycin)
Дата доклада: ...
Ссылки:

  1. Питер Джексон. Введение в экспертные системы – СПб.: Издательский дом «Вильямс», 2001.

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

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

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

1. Реализация интерактивной головоломки на Прологе.
Реализовать с помощью Visual Prolog игровую программу в Web-интерфейсом (через CGI). При программировании игры использовать альфа-бета-алгоритм.
Литература:

  1. Дж.Стобо. Язык программирования ПРОЛОГ. – М: Радио и связь, 1993

  2. С.Спейнаур, В.Куэрсиа. Справочник WEB-мастера. – Киев: BHV, 1997

  3. Дж.Слейгл. Искусственный интеллект. Подход на основе эвристического программирования. - М: Мир, 1973

  4. А.Фролов, Г.Фролов. Активный сервер Web: расширения CGI. Мир ПК 8/97 (http://www.osp.ru/pcworld/1997/08/88.html)

Исполнитель: Морозов В. А.


2. Язык векторной графики SVG
Изучить спецификацию стандарта SVG 1.0. Рассмотреть переспективу использования SVG в системе объяснений решателя геометрических задач. Реализовать прототип средства объяснений на основе SVG. Литература:

  1. Раздел, посвященный SVG, на сайте World Wide Web Consortium (www.w3.org/Graphics/SVG/)

Исполнитель: Карнаухов И. А.


3. Оценка эффективности методов планирования
Экспериментально проверить эффективность методов планирования, реализованных в РГЗ. Подобрать набор(ы) тестовых задач. Разработать необходимые программные инструменты для автоматизации процесса оценки.

Исполнитель: Рябков Н. С.


4. Накопление знаний в РГЗ
Пополнение базы стереотипов РГЗ. Расширение набора решаемых задач. Разработка средств автоматического пополнения базы знаний.

Исполнитель: Капустин А. Н.


Курсовые работы (4 курс)

1. Планировщик действий робота на основе стереотипов
Продолжение темы за III курс. Реализация планировщика, реализующего планирование на основе стереотипов (стратегия – прямая цепочка рассуждений). Пользовательский Web-интерфейс планировщика.
Исполнитель: Ташкинов Д. А.


2. Средства поддержки графа планирования РГЗ
Модернизация существующих средств работы с графом, улучшение поддержки контекстов. Способ построение уточнения подцелей.
Исполнитель: Коченова О. Т.


3. Языки представления знаний и метазнаний
Обзор современных языков представления знаний. Разработка языка для базы знаний РГЗ, основанного на XML.
Литература:

  1. Обзор проектов по представлению знаний на сайте Техасского университета (www.cs.utexas.edu/users/mfkb/related.html)

  2. The DARPA Agent Markup Language (DAML) (http://www.daml.org/language/)

  3. Jeff Heflin, James Hendler, and Sean Luke. SHOE: A Knowledge Representation Language for Internet Applications (pdf)

Исполнитель: Стырин Е. М.

  

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

Обновлено: 4.10.2005