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

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

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

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

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

Онтологии в системах искусственного интеллекта
Дата доклада: 7.10
Ссылки:

  1. А.В. Смирнов, М.П. Пашкин, Н.Г. Шилов, Т.В. Левашова. Онтологии в системах искусственного интеллекта: способы построения и организации (часть 1). "Новости искусственного интеллекта" №1 2002 г.

  2. PLANET: A Shareable and Reusable Ontology for Representing Plans. Yolanda Gil and Jim Blythe. In Proceedings of the AAAI 2000 workshop on Representational Issues for Real-world Planning Systems.

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


Представление знаний для Web
Дата доклада: ...
Ссылки:

  1. How the Semantic Web will change KR: challenges and opportunities for a new research agenda. Frank van Harmelen

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


XML
Дата доклада: ...
Ссылки:

Докладчик: Коченова О.


Flexbot. Использование компьютерных игр в качестве модельных задач ИИ
Дата доклада: ...
Ссылки:

  1. flexbot.cs.nothwestern.edu

Докладчик: Рябков Н.


Гибридные системы искусственного интеллекта
Дата доклада: ...
Ссылки:

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

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


3 курс

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

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

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

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

Докладчик:


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

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

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

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

Докладчик:


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

  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. Экспертные системы.
Дата доклада:
Литература:

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

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

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

Докладчик:


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

Разработка модельной интеллектуальной системы с Web-интерфейсом
Модели:

  1. Пятнашки (или игра в 9);

  2. Игра Калах;

  3. Игра Реверси;

  4. Поиск маршрута в метро;

  5. Задача о рюкзаке.

Литература:

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

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

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

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

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

Программные средства продукционных систем на базе RETE алгоритма
Ожидаемые результаты курсовой работы:

  1. XML-представление RETE-сети;

  2. Реализация компилятора сети и сопоставителя ситуаций средствами Visual Prolog;

  3. Реализация средства визуализации сети;

  4. Набор средств должен предоставлять возможность запуска продукционной системы через Web.

Исполнители: Морозов В., Карнаухов И.


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


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


Дипломные работы (5 курс)

Планирование на основе стереотипов в модельной задаче перемещений робота
Ожидаемые результаты дипломной работы:

  1. Реализация поддержки ГПР в разработанном ранее планировщике;

  2. Анализ последствий применения планирования на основе стереотипов к данной модельной задаче;

  3. Демонстрационные задачи.

Исполнитель: Ташкинов Д. А.


Планирование на основе графа. Использование контекстов планирования
Ожидаемые результаты дипломной работы:

  1. Реализация усовершенствованных функций pаботы с ГПР, в частности, функций внесения из-менений в граф и организации контекста;

  2. XML-пpедставление ГПP;

  3. Решение новых задач, демонстрирующих преимущества реализованных средств поддержки ГПР.

Исполнитель: Коченова О. Т.


XML как основа для построения системы объяснений решателя задач
Ожидаемые результаты дипломной работы:

  1. Реализация системы объяснений РГЗ, обеспечивающей визуализацию графа (SVG) и выдачу полной информации о ходе решения;

  2. XML-пpедставление знаний (в том числе метазнаний) РГЗ;

  3. Демонстрационные задачи.

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

  

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

Обновлено: 4.10.2005