Книги
чёрным по белому
Главное меню
Главная О нас Добавить материал Поиск по сайту Карта книг Карта сайта
Книги
Археология Архитектура Бизнес Биология Ветеринария Военная промышленность География Геология Гороскоп Дизайн Журналы Инженерия Информационные ресурсы Искусство История Компьютерная литература Криптология Кулинария Культура Лингвистика Математика Медицина Менеджмент Металлургия Минералогия Музыка Научная литература Нумизматика Образование Охота Педагогика Политика Промышленные производства Психология Путеводители Религия Рыбалка Садоводство Саморазвитие Семиотика Социология Спорт Столярное дело Строительство Техника Туризм Фантастика Физика Футурология Химия Художественная литература Экология Экономика Электроника Энергетика Этика Юриспруденция
Новые книги
Цуканов Б.И. "Время в психике человека" (Медицина)

Суворов С. "Танк Т-64. Первенец танков 2-го поколения " (Военная промышленность)

Нестеров В.А. "Основы проэктирования ракет класса воздух- воздух и авиационных катапульных установок для них" (Военная промышленность)

Фогль Б. "101 вопрос, который задала бы ваша кошка своему ветеринару если бы умела говорить" (Ветеринария)

Яблоков Н.П. "Криминалистика" (Юриспруденция)
Реклама

Тени разума: в поисках науки о сознании - Пенроуз Р.

Пенроуз Р. Тени разума: в поисках науки о сознании — Москва, 2005. — 688 c.
ISBN 0-19-510646-6
Скачать (прямая ссылка): tenirazumavpoiskahnaukiosoznanii2005.djvu
Предыдущая << 1 .. 15 16 17 18 19 20 < 21 > 22 23 24 25 26 27 .. 285 >> Следующая

совсем уместным.
Существуют, однако, и другие подходы к проблемам вычислений в случае
непрерывных систем; например, такие, в которых непрерывные системы
рассматриваются как самостоятельные математические структуры со своим
собственным понятием "вычислимости" - понятием, обобщающим идею
вычислимости по Тьюрингу с дискретных величин на непрерывные^12). При
таком подходе исчезает необходимость в аппроксимации непрерывной системы
дискретными параметрами с целью применить к ней традиционную концепцию
вычислимости по Тьюрингу. Такие идеи вызывают определенный интерес с
математической точки зрения; к сожалению, им, как нам представляется, не
достает пока той неотразимой естественности и уникальности, которые
присущи стандартному понятию вычислимости по Тьюрингу для дискретных
систем. Более того, вследствие определенной непоследовательности данного
подхода, формально "невычислимыми" оказываются и некоторые простые
системы, в применении к которым подобная терминология выглядит как-то не
совсем уместно (даже такие, например, как известное всем из физики
простое "волновое уравнение"; см. [314] и НРК, с. 187-188). С другой
стороны, следует упомянуть и об одной сравнительно недавней работе
([328]), в которой показано, что теоретические аналоговые компьютеры,
объединяемые в некоторый достаточно обширный класс, не могут выйти за
рамки обычной вычислимости по Тьюрингу. Я надеюсь, что дальнейшие
исследования должным образом осветят эти безусловно интересные и важные
темы. Пока же у меня нет оснований полагать, что работы в этом
направлении в целом уже достигли той стадии завершенности, чтобы их
результаты можно было применить к рассматриваемым здесь проблемам.
В этой книге меня в особенности занимает вопрос о вычислительной природе
умственной деятельности, где термин "вычисли-
1.8. Аналоговые вычисления
55
тельный" следует рассматривать в стандартном смысле вычислимости по
Тьюрингу. В самом деле, компьютеры, которыми мы сегодня повседневно
пользуемся, являются цифровыми, и именно это их свойство оказывается
существенным для современных разработок в области ИИ. Наверное, логичным
будет предположить, что в будущем может появиться "компьютер" какого-то
иного типа, решающую роль в функционировании которого будут играть (пусть
даже и не выходя при этом за общепринятые теоретические рамки современной
физики) непрерывные физические параметры, что позволит такому компьютеру
демонстрировать поведение, существенно отличное от поведения цифрового
компьютера.
Как бы то ни было, все эти вопросы важны, главным образом, для проведения
границы между "сильной" и "слабой" версиями позиции tf. Согласно слабой
версии 'ё', поведение обладающего сознанием человеческого мозга
обусловлено некоторой физической активностью, которую невозможно
вычислить в стандартном смысле дискретной вычислимости по Тьюрингу, но
которую можно полностью объяснить в рамках современных физических теорий.
Если так, то эта активность, по всей видимости, должна зависеть от каких-
то непрерывных физических параметров таким образом, чтобы ее невозможно
было адекватно воспроизвести с помощью стандартных цифровых процедур. В
соответствии же с сильной версией невычислимость сознательной
деятельности мозга может быть исчерпывающе объяснена в рамках некоторой
невычислительной физической теории (пока еще не открытой), следствия из
которой, собственно, и обусловливают упомянутую деятельность. Хотя второй
вариант может показаться несколько надуманным, альтернатива (для
сторонников ^)ив самом деле состоит в отыскании для какого-либо
непрерывного процесса в рамках известных физических законов такой роли,
которую невозможно было бы адекватно воспроизвести посредством каких
угодно вычислений. На данный же момент, несомненно, следует ожидать, что
для любой достоверной аналоговой системы любого типа из тех, что получили
более или менее серьезное рассмотрение, обязательно окажется возможным
(по крайней мере, в принципе) создать эффективную цифровую модель.
Даже если не принимать во внимание всевозможные теоретические проблемы
общего плана, на сегодняшний день наиболь-
56
Глава I
шее превосходство перед аналоговыми вычислительными системами
демонстрируют именно цифровые компьютеры. Цифровые вычисления имеют
гораздо более высокую точность благодаря, в основном, тому, что при
хранении данных в цифровом виде повышение точности обеспечивается простым
увеличением разрядности чисел, что легко достижимо с помощью весьма
скромного увеличения (логарифмического) мощности компьютера; в аналоговых
же машинах (по крайней мере, в полностью аналоговых, в конструкцию
которых не заложено никаких цифровых концепций) увеличения точности можно
добиться лишь посредством весьма и весьма значительного увеличения
(линейного) соответствующих параметров. Возможно, когда-нибудь в будущем
возникнут новые идеи, которые пойдут на пользу аналоговым вычислителям,
однако в рамках современной технологии большая часть существенных
Предыдущая << 1 .. 15 16 17 18 19 20 < 21 > 22 23 24 25 26 27 .. 285 >> Следующая