Искусственный Интеллект

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск
м (сайт)
м (1 версий)

Версия 14:42, 13 ноября 2007

Содержание

Информация

профессор Мальковский Михаил Георгиевич
профессор Мальковский Михаил Георгиевич
профессор Мальковский Михаил Георгиевич
профессор Мальковский Михаил Георгиевич
  • Лектор — профессор Мальковский Михаил Георгиевич
  • Сайт — http://al.cs.msu.su/malk/ai

Прохождение курса

В начале октября лектор поедет в Севастополь. Захаров до октября в Астане

Потом будут лекции вместо лекций Захарова. Бакалавры заняты в это время, но что делать.

Потом Захаров просил отдать лекции ему в конце сентября. Ещё неизвестно, но об этом объявят.

В середине октября будет перерыв в 3 недели, и в это время лекции будет читать Захаров.

Сегодня будет всего одна лекция, 2 раза по 45 минут. Будем считать, что сегодня должен рассказать материал 2 лекций. Итого, за 3 лекции будет прочитано 4.

Отчётность по курсу

Нас ожидает экзамен. Здесь должны быть специалисты и бакалавры. По традиции, проводится комплекс таких мероприятий:

  • Вместо последней лекции, до начала зачётной сессии, предположительно 18 декабря, будет проводиться так называемый коллоквиум, по факту досрочный экзамен (и коллоквиум, и экзамен письменные). На коллоквиум допускаются все, кто будет присутствовать на всех трёх лекторских проверках (будут проведены в сентябре, октябре, ноябре). Борис Иванович Березин 30 августа напомнил, что посещаемость обязательна.
  • Каждый год лектор собирает информацию о среднем балле студента, и, например, отличники могут отказаться от 4, четвёрочники могут отказаться от 3
  • На коллоквиуме оценки получают порядка 60 человек
  • Работы коллоквиума лектор проверяет сам
  • На экзамене работы проверяются конвейерным методом
  • Как проходит лекторская проверка — пускается листок, если количество людей отличается от количества записанных более чем на 5%, то коллоквиум отменяется

Структура курса

ИИ --- довольно своеобразное направление.

  1. Раздел первый, вводный --- новые информационные технологии и искусственный интеллект. Будет рассказано о том, что такое ИИ. Первая лекция о том, что такое ИИ, 2—4 — о психологии.
  2. Второй раздел посвящён ПО, связанным с ИИ.
    Знакомый программист лектора: «я знаю, что надо говорить «обеспеченье», но у меня это ассоциируется с лишением человека печени»
    В этом разделе ожидает знакомство с языками Lisp и Planner.
    • Planner — создавался как язык программирования, но в результате получилась инструментальная среда
    • Будет рассказано о некоторых возможностях этих языков. На экзамене не будет ожидаться умение программировать, но вот найти ошибку, или объяснить, что делает программа, или посчитать результат несложной формы — вполне.
  3. Человеческий интеллект — процесс решения задачи. Здесь будут рассматриваться разные метода планирования решений, ..., переборные решения, ограничения перебора, проблемы рассуждения в условиях неопределённости
  4. Проблема знаний.
  5. Экспертные системы. Экспертные системы — первая попытка исп. достижения работ по ИИ для решения прикладных задач.
  6. Общение человека... Этим и занимается лектор.

Таковы основные разделы.

Лектор вспомнил, что его знакомство с ИИ началось ровно 40 лет назад.

По поводу материала: Есть конспекты, пока лектор адрес не знает, но они там появятся где-то в середине сентября.


Искусственный Интеллект


01 02 03 04 04 06 ... -3 -2 -1


Календарь

вт вт ср вт ср вт
Сентябрь
04 11 12 18 19 25
Ноябрь
      20   27
Декабрь
04

Материалы
Фактический материал | Вопросы на экзамене


Лекции

10 семестр История развития вычислительных технологий в СССР, России | Современные проблемы прикладной математики
9 семестр Формальная спецификация и верификация программ | Теория игры и исследования операций | История и методология прикладной математики | Основы российского права | История религии | Параллельная обработка данных
8 семестр Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы
7 семестр Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных
6 семестр Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети
5 семестр Базы Данных | Языки Программирования | Экономические Науки
3 семестр Операционные системы

Спецкурсы
Осень 2013 Современная криптография | Дизайн и реализация ОС FreeBSD
Весна 2011 Практические аспекты сетевой безопасности | Сетевое администрирование в UNIX
Осень 2010 UNИX | Теория функционального программирования. Язык Haskell | Введение в информационную безопасность | Информационный поиск
Весна 2010 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем | Язык Ада
Осень 2009 UNИX | Введение в парадигмы программирования
Весна 2009 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем
Осень 2008 UNИX | Структурные методы обработки изображений и сигналов
Весна 2008 UNИX | Вопросы организации вычислительных кластеров на основе UNIX-серверов | Философия математики
Осень 2007 UNИX
Весна 2007 UNИX | Практика мультипарадигмального программирования
Осень 2006 Введение в теорию построения оптимизирующих компиляторов

Отдельные лекции Bruce Eckel, The State of The Java Union | Richard Stallman: Free software: ethics and practice, Copyright vs Community in the Age of Computer Networks | Наану Александр, Vim | Erinn Clark, The Tor Project: Anonymity Online
Личные инструменты
Разделы