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

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

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

Перцептрон
Попробуем научить
однослойную нейросеть
отличать четные числа
от нечетных:
3
w1
w2
<>P
wn-1
wn
OUT
x1=0
x2=1
xn-1=1
xn=0
∑xi*wi
||
{0,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 типа
остались для исследователей.
1933
1996
105 выкладок

Роботы
Kismet
http://www.ai.mit.edu/projects/
humanoid-robotics-group/
Aibo
http://www.aibo-europe.com/
ATR
http://www.sarcos.com/
USC
http://www-robotics.usc.edu/

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

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

Диалоговая программа
Alice
http://www.aitools.org/
j-alice/