Машина Поста против ИИ
На мой взгляд, в России относятся к перспективам ИИ с излишним пиететом. Тут вам и восстание машин, и вытеснение людей со всех привычных рабочих мест и кликушества по поводу скорого появления супер-разума, который будет управлять всеми процессами на планете Земля. Между тем, все «таланты» ИИ обеспечиваются процессорами, пусть даже это суперкомпьютеры с огромными объёмами памяти и свободным доступом к любым данным на просторах Интернета. Между тем, ни один компьютер в мире не может сделать ничего такого, чего не смогла бы продемонстрировать машина Поста. Вы спросите, а что это за зверь такой и что она умеет, эта машина Поста. Давайте разберёмся.
В 1936 году американский математик и логик Эмиль Леон Пост (1897–1954) предложил абстрактную вычислительную конструкцию, позволяющую формально определить алгоритм и названную впоследствии машиной Поста. В теории алгоритмов существует так называемый «тезис Поста»: «Всякий алгоритм представим в форме машины Поста». Машина Поста – это абстрактная (т.е. не существующая в арсенале действующей техники), но очень простая вычислительная машина. Она способна выполнять лишь самые элементарные действия, тем не менее на машине Поста можно запрограммировать любые алгоритмы.
Машина Поста состоит из бесконечной ленты, разделённой на ячейки, а таже считывающей и записывающей головки (каретки). В каждый момент времени каретка указывает на одну из ячеек. В каждой ячейке ленты может быть либо ничего не записано, либо стоять метка V. Наличие метки в ячейке вы можете интерпретировать как «1», соответственно, а отсутствие метки — это «0». Такое двоичное представление информации используется во всех современных ЭВМ.
Каретка может передвигаться вдоль ленты влево и вправо. Каретка может совершать одно из трех действий: стереть метку, поставить метку, совершить движение на соседнюю ячейку. Действия каретки подчинены программе, а в каждой строке программы содержится команда из очень ограниченного набора. Всего существует шесть типов команд:
1. Записать 1 (метку) и перейти к строке программы с номером j;
2. Записать 0 (стереть метку) и перейти к строке программы с номером j;
3. Сдвиг влево c переходом строки с номером j;
4. Сдвиг вправо c переходом строки с номером j;
5. Останов;
6. Если 0, то перейти к строке J, иначе перейти к строке I.
Попробуйте составить программ для машины Поста для вычисления суммы двух целых чисел: 1+2. Машина Поста использует унарную систему счисления, например, число 3 выглядит как три метки подряд в ячейках ленты. Таким образом, 111 – это три, а 11 – это два. Хорошее упражнение для студентов, изучающих программирование. С таким же успехом команды машины Поста закодируют любой алгоритм вроде больших языковых моделей для искусственного интеллекта или любой другой сложнейший и объёмный алгоритм, хотя возни будет много.
Для того чтобы опровергнуть тезис Поста, необходимо придумать алгоритм, который невозможно записать в виде программы для машины Поста. На сегодняшний день такого алгоритма никто ещё не придумал. Согласитесь, как-то обидно сознавать примитивность нашего естественного интеллекта. Неужели под черепной коробкой человека кто-то просто передвигает влево и вправо, стирая и записывая метки в ячейки? Не верю! Это суть ИИ, а наш естественный интеллект – это нечто сродни промыслу Божию.
#ии, #машина поста, #унарная система счисления, #митрофанов, #алгоритм