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