Казахстан |
Опубликован: 25.02.2009 | Уровень: для всех | Доступ: свободно
В курсе дается введение в теорию искусственного интеллекта. Этот курс читался на летней компьютерной школе для участников олимпиад по информатике.
Рассказывается о тесте Тьюринга и "китайской комнате", даются понятия программы, языка и алгоритма, объясняются основы теории вычислений и формальных систем.
План занятий
Занятие | Заголовок << | Дата изучения |
---|---|---|
- | ||
Лекция 1 | Проблемы теории искусственного интеллекта
В лекции вводится понятие искусственного интеллекта, обсуждаются требования к нему. Описывается тест Тьюринга, в качестве контраргумента к нему рассматривается эксперимент "китайская комната". Рассказывается о различных точках зрения на возможности осмысления у машины. Даются понятия программы, языка, алгоритма.
| - |
Тест 136 минут | - | |
Лекция 2 | Проблема остановки и возможность ее решения
В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков. Обсуждаются возможности алгоритмического доказательства теорем и возникающие при этом проблемы. Приводятся примеры.
| - |
Тест 236 минут | - | |
Лекция 3 | Проблемы непротиворечивости и полноты формальных систем
В лекции вводится понятие формальной системы, приводится пример построения формальной системы для арифметики. Подробно обсуждаются проблемы непротиворечивости и полноты формальных систем, доказывается теорема Геделя о неполноте.
| - |
Тест 336 минут | - | |
5 часов | - |