Cтраница 4
Если способность обрабатывать информацию развита достаточно высоко, то говорят об интеллекте-у человека о природном, у машины об искусственном. Можно сказать и так: мы имеем дело с искусственным интеллектом, когда компьютер выполняет операции, типичные для умственной деятельности человека. Человек, например, может понимать речь и пользоваться ею, распознавать изображения, строить математические доказательства, играть в шахматы, сочинять музыку, осуществлять экспертный анализ или ставить медицинский диагноз. С момента появления ЭВМ предпринимаются попытки снабдить их человеческим интеллектом. И хотя коренного перелома еще не произошло, удалось заметно продвинуться вперед. В частности, практическое значение получили так называемые экспертные системы, т.е. компьютерные программы, содержащие знания экспертов и способные на базе этих знаний давать справки, ставить диагноз или делать прогноз. Однако в целом искусственный интеллект пока еще во многом уступает природному интеллекту человека. Английский математик Тьюринг придумал тест, с помощью которого можно определить, равен ли интеллект компьютера интеллекту человека или превосходит его. Кроме компьютера в этой проверке принимают участие еще два человека. Один из них задает одинаковые вопросы, приходящие в голову, компьютеру и другому человеку. Он получает от своих собеседников ответы, не зная, какие из них дала машина, а какие-человек. При нынешнем уровне развития компьютерной техники спрашивающий очень быстро определяет авторов ответов: машина отвечает намного хуже. Если когда-нибудь в будущем спрашивающий не сможет правильно определить автора, то в определенном смысле можно будет говорить о равенстве интеллектов машины и человека. [46]
Поскольку полнота спецификаций становится необходимым исходным требованием, программист, если он собирается в дальнейшем доказывать правильность программы, вынужден будет писать свои спецификации более точно. Благодаря использованию формализма общее стремление к точности программирования часто усиливается, а это благотворно влияет также на стиль и структуру программы. Математические доказательства уже оказывают влияние на разработку языков программирования, помогая понять семантику языка и разрабатывать более ясные языковые конструкции. [47]
Если, таким образом первая задача теории состоит во вскрытии взаимосвязей явлений, то следующая отличительная черта ее - математическая формулировка этих связей Математика является набором инструментов теоретика. Ее использование представляет собой рационализацию мыслительной работы, так как получение важных следствий из исходных гипотез идет главным образом по проторенному пути однажды выученных вычислительных правил. Но при этом никогда не следует упускать из виду смысл вычислительных операций. Как показывает опыт, формальная сторона вычислений часто заслоняет, в особенности для начинающих, физический смысл того, что вычисляется. Вследствие того положения, которое математика занимает внутри теоретической физики, в задачу физика-теоретика не входит давать математические доказательства. Он должен полагаться на безошибочность предоставленного ему математикой инструмента. Даже в тех случаях, когда он сам вынужден создавать себе инструмент, он может не задерживаться на математических доказательствах существования, если результат физически очевиден. Во всяком случае, строгие требования чистой математики часто находятся в противоречии с реальными физическими условиями. Если, например, определить плотность как предельное значение, к которому приближается отношение массы к объему при неограниченном уменьшении объема, то вследствие факта атомистичности структуры при слишком малых объемах мы придем к колебаниям плотности, зависящим от того, содержит или нет элемент объема атомное ядро. Предосудительные в строгой математике малые величины в физике незаменимы. Физические дифференциалы имеют не слишком малые значения, хотя с ними при вычислениях обращаются, как с бесконечно малыми величинами. [48]
Книга обращена главным образом к лицам, занимающимся применениями математической статистики. Предполагается, что читатель знаком с элементами высшей математики и теории вероятностей. Более трудные математические доказательства помещены в виде приложений в конце книги. Русский перевод книги дополнен пятью статьями автора, в которых излагаются некоторые доказательства, отсутствующие в книге, и развивается дальше теория последовательного анализа. [49]