Показать сообщение отдельно
Старый 02.04.2013, 16:44   #53  
lagr221374
Гость
 
n/a
Ну тогда уж стоит упомянуть и критику Пенроуза: в принципе большинство ученого мира считает что он неудачник .
Хотя + он таки дал: несомненная заслуга Пенроуза в том, что он убедительно объяснил, почему интеллектуальная деятельность никак не может быть основана на формальной логике (или другими словами, на строгих алгоритмах).

интеллектуальная деятельность основана на строгой формальной логике. Но тут есть глобальная засада. Давно доказанная теорема Гёделя говорит, что формальная система не может быть одновременно полной и непротиворечивой. Полнота означает, что формальная система знает о своей области знаний всё. В том числе такая система может судить об истинности самой себя. Если формальную систему создаст кто-то извне, то она сможет работать, выдавая правильные результаты и нисколько не заботясь о том, правильно ли её создал этот кто-то. Если же формальная система попытается убедиться в том, что она сделана правильно, то ничего у неё не получится. Потому что наша система непротиворечива, но не полна. Если же система сможет судить о правильности самой себя (полна), то у такой системы будут внутренние противоречия, и результаты её деятельности необязательно правильные. Почему? В том числе и потому, что вопрос самопроверки (самопознания, саморефлексирования) относится к разряду вечных вычислений.

Что из этого следует? Получается (по Пенроузу), что человеческий интеллект - это полная и непротиворечивая система, потому что может генерировать истинные высказывания и в тоже время следить за правильностью самой себя. Но по теореме Гёделя это невозможно. Вот и приходится привлекать для работы интеллекта неизвестные физические процессы, которые в краткий миг могут окинуть взглядом вечность, найти ответ и вернуть этот ответ в мозг. Но как мы уже заметили, интеллект вовсе не обязан быть полным и непротиворечивым, хотя при этом может очень правдоподобно прикидываться истинным и непогрешимым

Коротенько: исскуственный интерллект не обязательно обязан основываться на четких алгоритмах. Направление генетических алгоритмов и тп получили свое развитие после статей Пенроуза и в общем то в его рассуждения не укладываются.