thedeemon: (Default)
Обсуждая идею машинного разума, вспомнил такую штуку. Абстрагируясь от деталей железа и окружения, программу можно представить в виде терма в типизированном лямбда-исчислении. При этом, согласно известному изоморфизму, тип этого терма соответствует некоторому логическому высказыванию, а сам терм представляет собой доказательство этого высказывания (см. тут и тут). Процесс исполнения программы, вычисления, есть процесс упрощения доказательства. Например, программу без аргументов, вычисляющую миллиардный бит числа Пи, можно упростить вплоть до одного числа 0 - ответа. Если у программы есть входные данные, они становятся частью доказываемого высказывания. Логика, в которой все происходит, состоит из набора правил для вывода одних высказываний из других. Правила эти делятся на два вида: для каждой логической связки (конъюнкция, дизъюнкция, импликация...) есть правило ее ввода и правило избавления от нее. Либо мы что-то строим, либо разбираем. Конструкторы типов, строящие структуры, варианты, функции и пр. и "деструкторы" - способы разобрать значение, проанализировать его - тот же паттерн-матчинг. Все как бы сводится к двум аспектам: синтез и анализ.

Философский словарь подсказывает:
Анализ и синтез (греч. разложение и соединение) - в самом общем значении процессы мысленного или фактического разложения целого на составные части и воссоединения целого из частей. А. и с. играют важную роль в познавательном процессе и осуществляются на всех его ступенях.

Что интересно, тибетские исследователи естественного интеллекта века этак с 7-го определяют относительную природу ума, т.е. суть всей мыслительной деятельности тремя словами:
"сэл риг цам"
Первое переводят как ясность (clarity), и оно обозначает процесс создания образов. Когда мы о чем-то думаем или что-то воспринимаем, ум создает образ объекта, эдакую ментальную голограмму. Второе слово переводят как осознавание (awareness), и оно обозначает процесс познания этих образов, их восприятия (cognitive engagement). А третье слово переводится как "просто" (merely), и означает, что кроме этих двух аспектов больше ничего и нет. Т.е. опять ровно те же два момента: синтез и анализ, к ним сводится вся умственная деятельность. Прямо как в логике, т.е. как в лямбда-исчислении, т.е. как в программах.

Такая вот мысль-аналогия. То ли притянутый за уши бред, то ли тривиальная тавтология, то ли что-то в этом действительно есть.
thedeemon: (professor)
C детства интересовала тема искусственного интеллекта, но описанные в литературе успехи исследователей всегда разочаровывали, т.к. до разумных машин из фантастических книжек и фильмов все еще очень далеко. И это понятно: сам объект моделирования (интеллект и особенно сознание) слишком малоизвестен и малопонятен исследователям. Однако однажды мне довелось иметь дело с системой, которая была удивительно близка к самосознающей. Дело было лет шесть назад, когда мои друзья, работавшие админами небольшого shared хостинга, поехали летом на пару недель на море и попросили меня присмотреть за их серверами. Перед этим они провели инструктаж о том, как там все устроено и как этим управлять. А устроено было довольно интересно. Первый год существования их хостинга время от времени случались досадные случаи, когда хакеры через какой-нибудь эксплойт получали доступ к системе и хулиганили. Дырку, конечно, находили и залатывали, хулиганства отменяли, восстанавливая данные из бэкапа, но осадок оставался. Тогда в систему был добавлен очень полезный скрипт. Он постоянно отслеживал все дерево работающих процессов в системе и искал подозрительные - с неизвестным или странным родителем. Хакеры обычно использовали уязвимости в апаче и других сервисах, чтобы запустить шелл, через который уже лазить по системе и что-то делать. Подобным образом запущенный шелл или другой процесс быстро опознавался скриптом мониторинга и тут же прибивался. Помогло, взломы прекратились. Кроме того, каждую минуту дерево всех процессов сохранялось в лог, хранившийся несколько дней, чтобы можно было увидеть кто что делал. В результате в системе кроме обычной долговременной "памяти о внешних событиях" - логах вебсервера, почты и т.п. было постоянное самонаблюдение, осознавание происходящего внутри, и кратковременная "память" о том, что происходило "в уме" за последнее время, рефлексия. Мне кажется, это очень близко к самосознанию, насколько оно вообще может существовать в компьютере.

Profile

thedeemon: (Default)
Dmitry Popov

May 2017

S M T W T F S
 1234 56
789 10 11 1213
14151617181920
21222324252627
28293031   

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 23rd, 2017 02:47 pm
Powered by Dreamwidth Studios