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

Онтологии в системах искусственного интеллекта
Дата доклада: 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. Демонстрационные задачи.
   

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