Artificial mind

[thedeemon]

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

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

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

Такая вот мысль-аналогия. То ли притянутый за уши бред, то ли тривиальная тавтология, то ли что-то в этом действительно есть.

Comments

[ask-v.livejournal.com]

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

[thedeemon.livejournal.com]

Согласен. Еще бы узнать, как отличить настоящее самосознание от его имитирования.

С момента появления фоннеймановской архитектуры (хранение кода и данных в одной памяти) программы имеют собственный код под носом в виде данных, простор для рефлексии огромный. Чего не хватает для появления самосознания - очень интересный вопрос, все еще открытый.

[teleratec.livejournal.com]

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