|
1. Язык SVG Дата доклада: 25 февраля.
Ссылки:
Раздел, посвященный SVG, на сайте World Wide Web Consortium (www.w3.org/Graphics/SVG/)
Докладчик: Карнаухов И. А.
2-5. Отчет студентов 5-го курса о ходе работы над дипломным проектом
Дата доклада: 4, 11 марта.
Докладчики: Горященко А. С., Большакова Е. А., Старкина А. В., Алехин С. Д.,
6. Проект SemanticWeb
Дата доклада: ...
Ссылки:
www.SemanticWeb.org
Перевод статьи Tim Berners-Lee, James Hendler, Ora Lassila. The Semantic Web "Scientific American", May 2001 www.bim.f2s.com/xsl/sw.xml (для просмотра необходим IE5.0 или выше)
Bijan Parsia. An Introduction to Prolog and RDF www.xml.com/pub/a/2001/04/25/prologrdf (перевод здесь, для просмотра необходим IE5.0 или выше)
Докладчик: ...
7. Планирование на основе знаний (knowledge-based planning)
Дата доклада: ...
Ссылки:
David E. Wilkins and Marie desJardins. A Call for Knowledge-based Planning AI Magazine, Spring 2001, volume 22, number 1. (pdf 295Кб)
Докладчик: ...
8. Правила и объекты. Язык R++
Дата доклада: ...
Ссылки:
Раздел о языке R++ на сайте AT&T-Labs Research (www.research.att.com/sw/tools/r++/)
R++ User Manual for Release 1.1 (on-line, ps 177Кб)
G. M. Weiss, J. P. Ros, A. Singhal network Monitoring Using Object-Oriented Rules Proccedings of IAAI-98 (ps 154Кб)
Докладчик: ...
9. Выводы на основе прецедентов (case-based reasoning)
Дата доклада: ...
Ссылки:
Питер Джексон. Введение в экспертные системы СПб.: Издательский дом «Вильямс», 2001.
M. M. Veloso. PRODIGY/ANALOGY: Analogical Reasoning in Generel Problem Solving 1991 (ps 83Кб)
...
Докладчик: ...
10. Нечеткие знания
Дата доклада: ...
Ссылки:
Т. А. Гаврилова, Т. Ф. Хорошевский. Базы знаний интеллектуальных систем. СПб: Изд-во «Питер», 2001
Э. В. Попов. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ.
М.: «Наука». 1987. Шифр в библиотеке: 5В П-580
11. Средства объяснений и приобретения знаний в экспертных системах (Teiresias в Mycin)
Дата доклада: ...
Ссылки:
Питер Джексон. Введение в экспертные системы СПб.: Издательский дом «Вильямс», 2001.
Э. В. Попов. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ.
М.: «Наука». 1987. Шифр в библиотеке: 5В П-580
Ф. Хейес-Рот, Д. Уотермен, Д. Ленат. Построение экспертных систем. М.: «Мир». 1987г.
Курсовые работы (3 курс)
1. Реализация интерактивной головоломки на Прологе.
Реализовать с помощью Visual Prolog игровую программу в Web-интерфейсом (через CGI). При программировании игры использовать альфа-бета-алгоритм.
Литература:
Дж.Стобо. Язык программирования ПРОЛОГ. М: Радио и связь, 1993
С.Спейнаур, В.Куэрсиа. Справочник WEB-мастера. Киев: BHV, 1997
Дж.Слейгл. Искусственный интеллект. Подход на основе эвристического программирования. - М: Мир, 1973
А.Фролов, Г.Фролов. Активный сервер Web: расширения CGI. Мир ПК 8/97 (http://www.osp.ru/pcworld/1997/08/88.html)
Исполнитель: Морозов В. А.
2. Язык векторной графики SVG
Изучить спецификацию стандарта SVG 1.0. Рассмотреть переспективу использования SVG в системе объяснений решателя геометрических задач. Реализовать прототип средства объяснений на основе SVG.
Литература:
Раздел, посвященный SVG, на сайте World Wide Web Consortium (www.w3.org/Graphics/SVG/)
Исполнитель: Карнаухов И. А.
3. Оценка эффективности методов планирования
Экспериментально проверить эффективность методов планирования, реализованных в РГЗ. Подобрать набор(ы) тестовых задач. Разработать необходимые программные инструменты для автоматизации процесса оценки.
Исполнитель: Рябков Н. С.
4. Накопление знаний в РГЗ
Пополнение базы стереотипов РГЗ. Расширение набора решаемых задач. Разработка средств автоматического пополнения базы знаний.
Исполнитель: Капустин А. Н.
Курсовые работы (4 курс)
1. Планировщик действий робота на основе стереотипов
Продолжение темы за III курс. Реализация планировщика, реализующего планирование на основе стереотипов (стратегия прямая цепочка рассуждений). Пользовательский Web-интерфейс планировщика.
Исполнитель: Ташкинов Д. А.
2. Средства поддержки графа планирования РГЗ
Модернизация существующих средств работы с графом, улучшение поддержки контекстов. Способ построение уточнения подцелей.
Исполнитель: Коченова О. Т.
3. Языки представления знаний и метазнаний
Обзор современных языков представления знаний. Разработка языка для базы знаний РГЗ, основанного на XML.
Литература:
Обзор проектов по представлению знаний на сайте Техасского университета (www.cs.utexas.edu/users/mfkb/related.html)
The DARPA Agent Markup Language (DAML) (http://www.daml.org/language/)
Jeff Heflin, James Hendler, and Sean Luke. SHOE: A Knowledge Representation Language for Internet Applications (pdf)
Исполнитель: Стырин Е. М.
|