Природа рационального

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

1. Природа рационального

2. Рождение искусственного интеллекта

3. Нейронные сети

4. Экспертные системы

5. Тест Тьюринга

6. Модели и методы исследований

6.1. Символьное моделирование мыслительных процессов

6.2. Работа с естественными языками

6.3. Представление и использование знаний

6.4. Машинное обучение

6.5. Биологическое моделирование искусственного интеллекта

6.6. Робототехника

6.7. Машинное творчество

Среди философов давно шли споры о природе человека и процессе познания мира:

Ø Могут ли использоваться формальные правила для вывода правильных заключений?

Ø Как такой идеальный объект, как мысль, рождается в таком физическом объекте, как мозг?

Ø Каково происхождение знаний?

Ø Каким образом знания ведут к действиям?

Точный свод законов, руководящих рациональной частью мышления, был впервые сформулирован Аристотелем 384 – 322 годы до н.э. Он разработал неформализованную систему силлогизмов, предназначенную для проведения правильных рассуждений, которая позволяла любому вырабатывать логические заключения механически, при наличии начальных предпосылок.

После того как человечество осознало, каким должен быть набор правил, способных описать формальную, рациональную часть мышления, следующим этапом оказалось то, что разум стал рассматриваться как физическая система.

Если предположить, что знаниями манипулирует физический разум, то возникает следующая проблема – установить источник знаний. Такое научное направление, как эмпиризм, родоначальником которого был Френсис Бекон (1561-1626), автор Нового Органона, можно охарактеризовать высказыванием Джона Локка (1632—1704): «В человеческом понимании нет ничего, что не проявлялось бы, прежде всего в ощущениях».

Заключительным элементом в этой картине философских исследований проблемы разума является связь между знаниями и действиями. Данный вопрос для искусственного интеллекта является жизненно важным, поскольку интеллектуальность требует не только размышлений, но и действий. Кроме того, только поняв способы обоснования действий, можно понять, как создать агента, действия которого будут обоснованными (или рациональными).

Аристотель утверждал, что действия обоснованы логической связью между целями и знаниями о результатах данного конкретного действия. Алгоритм Аристотеля был реализован через 2300 лет Ньюэллом и Саймоном в программе GPS (General Problem Solver) – универсальный решатель задач. GPS могла справляться с рядом головоломок, вычислять неопределенные интегралы, решать некоторые другие задачи. Теперь то, что создано на его базе, принято называть регрессивной системой планирования.

Анализ на основе цели является полезным, но не дает ответа на то, что делать, если к цели ведет несколько вариантов действий или ни один вариант действий не позволяет достичь ее полностью. Антуан Арно (1612–1694) правильно описал количественную формулу для принятия решения о том, какое действие следует предпринять в подобных случаях.

В книге Utilitarianism приверженца утилитаризма Джона Стюарта Милла (1806–1873) провозглашена идея о том, что критерии принятия рациональных решений должны применяться во всех сферах человеческой деятельности.

Дата добавления: 2014-01-04