JFK2005
Silver Member | Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Ici Chacal
Да я и не реагирую обычно, так... накатило что-то.
Тут ребята выше по треду приводили формальное доказательство невозможности создания искусственного интеллекта, исходя из положений Курта Гёделя. Если коротко - существуют математические теоремы, для которых нельзя составить программу для машины Тьюринга. Основным критерием доказуемости является проблема остановки, т.е. конечного времени выполнения программы. Тьюринг (основываясь на положениях Гёделя) доказал, что существуют задачи, для которых невозможно определить, произойдёт ли когда-нибудь останов такой программы.
Роджер Пенроуз в своих книгах показал, что большую роль в выводе новых законов в математике играют т.н. "озарения", которые не поддаются вычислению. Его объяснение сводится к тому, что главную роль в человеческом мышлении играет редукция волновой функции, обеспечивающая переход от квантовых вероятностей к реальному макромиру.
Джефф Хоукинс (основатель и один из главных разработчиков компании Palm) в своём исследовании "Об интеллекте" также проводит мысль, что мыслительные процессы не являются алгоритмом в обычном понимании этого слова. В его понимании мозг - это иерархическая система ассоциативной памяти, соответственно ключ к созданию ИИ лежит в понимании "первичной" функции этой иерархии.
Мне ближе позиция Пенроуза, как одного из наиболее выдающихся современных математиков. Тем более, что обещанная Хоукинсом модель - в конечном счёте, так и не заработала.
---
А вообще, желание топикстартера создать ИИ - это нормальный этап, который проходит в своей жизни каждый программист. Обычно это увлечение длится недолго, и проходит с обретением опыта и осознанием своих возможностей. |
Всего записей: 2114 | Зарегистр. 26-10-2005 | Отправлено: 10:23 09-09-2009 | Исправлено: JFK2005, 10:30 09-09-2009 |
|
