Техника - молодёжи 1961-11, страница 36

Моделируя нервную деятельность, мы легко воспроизводим простейший условный реф» леке и высшую формальнологическую работу. Но обычная психология для нас еще тайна,

ляется временным и, если его не под-креплять, постепенно исчезает.

Значительная часть кибернетических проблем, известных сейчас под названием математической теории обучения, схватывает такие простые схемы, которые не исчерпывают (малой доли всей сложной высшей «нервной деятельности •человека и «в анализе самой условно-рефлекторной деятельности 'представляют собой лишь начальную ее ступень.

Другой полюс —« это теория формально-логических решений. Эта сторона высшей нервной деятельности человека хорошо поддается изучению математическими методами, и с созданием вычислительной техники и вычислительной математики исследования такого рода быстро двинулись вперед. И здесь кибернетики во многом преуспели* А все огромное пространство между

этими двумя полюсами — самыми примитивными и самыми сложными психическими актами, даже такие простые формы синтетической деятельности, как, скажем, механизм точно рассчитанного геометрического движения, о котором говорится в первой части статьи, пока плохо поддаются кибернетическому анализу и изучаются крайне мало, чтобы не сказать: вовсе не изучаются.

КИБЕРНЕТИКА И ЯЗЫК

Особое положение сейчас занимает математическая лингвистика. Эта наука только еще создается .и развивается по мере накЬпления кибернетических проблем, связанных с языком. Она имеет дело с анализом высших форм человеческой деятельности -скорее интуи

тивного, нежели формально-логическо-го характера, ибо эта деятельность плохо поддается точному описанию. Каждый знает, что такое грамотно построенная фраза, правильное согласование слов и т. п., но никто пока не может адекватно передать это знание машине. Точный, логически и грамматически безукоризненный машинный перевод сейчас возможен был бы, пожалуй, только с латинского и на латинский язык, грамматические правила которого достаточно полны и однозначны. Грамматические же правила новых, живых языков, по-видимому, еще недостаточны дЛя осуществления с их помощью машинного перевода. Необходимым здесь анализом занимаются уже давно, и в настоящее время машинный перевод стал предметом широко и серьезно поставленной деятельности. Можно, пожалуй, сказать, что именно на нем сосредоточено сейчас главное внимание математических лингвистов. Однако в теоретических работах по математической лингвистике мало учитывается одно обстоятельство, а именно — тот факт, что язык возник значительно раньше формально-логического мышления. Быть может, для теоретической науки одно из самых интересных исследований (в котором могут естественно сочетаться идеи кибернетики, новый математический аппарат и современная логика) есть исследование процесса образования слов как второй сигнальной системы. Первоначально, при полном еще отсутствии понятий, слова выступают в роли сигналов, вызывающих определенную реакцию. Возникновение науки логики обычно относят к сравнительно недавнему времени — по-видимому, только в древней Греции было ясно понято и сформулировано, что слова не просто являются обозначениями неких непосредственных представлений и образов, но что от слова можно отделить понятие. До настоящего, формально-логического мышления мысли возникали, не формализованные в понятия,

управления), устройство, хранящее заданные числа, результаты промежуточных вычислений и окончательные результаты (запоминающее устройство). Это будут основные устройства, или блоки, такой математической машины. Эти машины известны под названием цифровых математических, или вычислительных, машин. Они позволяют получать численные решения уравнений с большой скоростью, заданной точностью и способны решать самые разнообразные математические уравнения. За человеком остается проектирование и изготовление машин, выбор методов решения и составление последовательности выполнения, арифметических действий для получения численного решения заданных уравнений. Последовательность называют программой вычисления. Конечно, использование математических машин целесообразно только в том случае, когда составление программы много-много легче, чем выполнение самих вычислений.

Цифровые вычислительные машины имеют устройства, облегчающие программирование. Дело заключается в том, что в программах не нужно записывать многократные повторения одних и тех же последовательностей арифметических действий: достаточно указать, «сколько раз их нужно повторить. Программа может не указывать порядок вычислений. Взамен этого она может содержать указание о том, что при таких-то условиях дальнейшее вычисление должно пойти по такому-то пути, а при других условиях луть будет другой, определенный самой программой. В программу вычислений в качестве отдельных компонентов могут входить ранее составленные прог-ра<ммы вычислений для решения других, более простых уравнений. Конечно, все это облегчает составление программ вычислений и делает программы более компактными.

Так или иначе, составление программы .вычислений является

важным трудом, отнимающим определенное время на подготовку машины к решению задачи. Очень заманчиво передать составление программы вычислений самой машине, указав при этом способ приведения решения уравнений к последовательности арифметических действий. Уже в течение ряда лет не без успеха делаются попытки составить программы, предназначенные не для вычисления на машинах, а для составления программ вычислений на машинах при решении разных задач.

шшш т:

Выполнение арифметических действий над числами в вычислительной машине сводится к осуществлению ряда операций математической логики. В математической логике рассматриваются переменные, имеющие только два значения — одно называют истинным, другое ложным, или одному значению соответствует слово «да», другому — «нет», или одному значению приписывают число «1», а другому — число «О». Такие переменные называют высказываниями. Для выполнения арифметических действий приходится осуществлять логическое сложение, умножение, отрицание и другие сложные функции этих операций. Логическая сумма нескольких высказываний равна единице, если хоть одно из высказываний слагаемых, или нескольку слагаемых, или все слагаемые равны единице. В остальных случаях логическая сумма равна нулю. Логиче-

32