[QUOTE]Потапов Вячеслав пишет:
И станет самостоятельномыслящим механизмом.[/QUOTE]Прочитайте #895.

Феномен проблем с И.И. несколько неожидан и требует своего философского, логического и алгебраического (на самом деле категорного) осмысления.  Мы имеем дело с расширением логического универсума. Расширение классической логики за счет введения не-булевых операций в первую очередь означает нарушение истинностно-функционального характера последней. Необычайный прогресс в хранении и, главное, в обработке информации на основе булевой (классической) логики имеет не только свои естественные физические пределы. Homo-логический универсум не явлется счётным, а процессы, в нем происходящие, не являются истинностно-функциональными. Всё, что можно извлечь из предельного огрубления человеческой логики, впервые представленного работами Шеннона, Шестакова и Накасимы (а это было не что иное, как одна из конкретизаций булевого универсума), как раз извлекает происходящая сейчас компьютерная революция. Но в конечном итоге эта конкретизация тупиковая для создания искусственного интеллекта хоть мало-мальски соответствующего человеческому. Обозначилась явная тенденция к разработке новой логики, которая по своим выразительным средствам намного богаче классической. Этим объясняется пристальное внимание специалистов к многозначным (бесконечнозначным) и нечеткозначным логикам (которые континуальны) в работах по искусственному интеллекту (см. в трудах International Symposium on Multiple-Valued Logic) и в других работах. То, что вначале это выразилось различными внешними ограничениями C2, было только сигналом (непонятым) того, что потребуется более глубокая ревизия логики и, главное, её характера и статуса. Но для этого, как сейчас выяснилось, нужно все-таки определиться в понимании того, что такое логическая система?

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

Но открытым остается главный вопрос: представляет ли собой логика как таковая некоторую единую конструкцию?