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

Луллий Раймунд (около 1235 около 1315) около 18 * сочетаний разных понятий 14 раскрашенных дисков c системой рычагов.

1956 год предложен термин «Искусственный интеллект» Нейро- кибернетика Кибернетика Черного ящика Р.Декарт ( ) Г.Лейбниц ( ) Н.Винер ( ) Г.Розенблатт

Перцептрон Попробуем научить однослойную нейросеть отличать четные числа от нечетных: 3 w1w1 w2w2 P w n-1 wnwn OUT x 1 =0 x 2 =1 x n-1 =1 x n =0 x i *w i || {0,1}

Обучение 1. Подать входной образ и вычислить OUT. 2а. Если выход правильный, то перейти на шаг 1; 2б. Если выход неправильный и равен нулю, то добавить все входы к соответствую- щим им весам; 2в. Если выход неправильный и равен единице, то вычесть каждый вход из соответству- ющего ему веса. 3. Перейти на шаг 1.

Комментарии Разделимость Скорость обучения Обучение без учителя Многослойные сети 3

Возможности нейросетей Классификация Кластеризация Поиск зависимостей

Метод резолюций Доказываем: ((p -> q) & (q -> r)) -> (p -> r) Берем отрицание и пытаемся прийти к противоречию: ((p -> q) & (q -> r)) & ~(p -> r) Преобразуем к нормальной конъюнктивной форме: (~p \/ q) & (~q \/ r) & p & ~r 4 дизъюнкта, из 1 и 3 получаем: q из 2 и 4 получаем: ~q

Автодоказательства Логика Уравнение Хантингтона ¬(¬x V y) V ¬(¬x V ¬y) = x Уравнение Робинса ¬(¬(x V y) V ¬(x V ¬y)) = x Астрофизика Найдены новые варианты протекания реакций в недрах звезд при получении гелия, углерода, кислорода (2000 год) Теорема о 4 красках С помощью компьютера было проверено ~ 2000 классов карт. Лишь 3 типа остались для исследователей выкладок

Роботы Kismet humanoid-robotics-group/ Aibo ATR USC

Тест Тьюринга ?? Приз – $ Соревноваться в речи с ком- пьютером также бессмысленно как соревноваться с ним в из- влечении квадратного корня

Диалоговая программа Elize Следующий диалог между пациенткой и "Элизой" давно стал классикой теории ИИ. Здесь и во всех последующих диалогах реплики, выдаваемые программой, выделены курсивом. [...] - Прискорбно слышать, что вы страдаете от депрессии. - Это правда. Я несчастна. - Считаете ли вы, что ваш визит сюда поможет вам перестать быть несчастной? - По меньшей мере, я убеждена, что мне необходима помощь. - Что вы имеете в виду под необходимой вам помощью? - Возможно, мне следует научиться ладить со своей матерью. - Расскажите мне более подробно о вашей семье. - Моя мать заботится обо мне. - Кто еще в вашей семье заботится о вас? - Мой отец. - Ваш отец. - А вы в некотором роде похожи на моего отца. - В чем вы усматриваете сходство? - У вас мягкий характер, но мне кажется, вам не хочется, чтобы я это заметила. - Что дает вам повод считать, что у меня мягкий характер? - Ваше стремление избегать споров. [...]

Диалоговая программа Alice j-alice/

Основные ссылки Академические исследования Нейросети Автодоказательства Роботы Боты диалогов Ссылки