В этом тексте содержатся пояснения алгоритма из моей первой статьи.
«Алгоритм мышления и сознания» .
Тезисы первой статьи:
- Феномен субъективного мышления можно алгоритмизировать.
- Алгоритм, представленный в статье, думает и его можно использовать практически.
- Используя алгоритм мышления, можно определить сознание в асимптотической форме.
Прежде всего, я исхожу из предположения, что интеллект и сложность — это одно и то же.
Как следствие, логика сложности, какой бы она ни была по сути, предшествует любому другому типу логики и поэтому является абсолютной.
Именно с этой точки зрения предложенный мной алгоритм является разумным, поскольку с его помощью можно достичь любой сложности конструкции в рамках формального вычислительного процесса.
Алгоритм мышления основан на формальной логике сложности, обладающей следующими свойствами:
- Объектами логики являются абстрактные теории.
- Любая теория имеет сложность, и эту сложность можно явно проверить.
- Из любой теории можно вывести более сложную теорию.
- Из любой сложной теории можно вывести простую теорию.
- Две разные теории приведут к разным выводам.
- Любая теория имеет смысл.
Теория называется содержательной, если она единственна и бесконечно сложна.
На практике это означает, что из осмысленной теории можно построить потенциально бесконечную цепочку выводов, такую, что все выводы в цепочке уникальны и каждый последующий вывод сложнее предыдущего.
Конструктивная реализация такой логики и будет конструктивной теорией мышления.
Подробнее об абстрактных теориях .
Абстрактные теории — это любые вещи, о которых мы знаем только то, что им присуща сложность, поскольку эту сложность можно явно проверить.
Известно также, что от любой такой вещи возможен конструктивный переход к другим, более сложным вещам, и это тоже можно проверить.
Неофициально о сложности конструкции .
Сложный объект — это то, что можно уникальным образом разбить на простые объекты.
Чем больше простых объектов содержит сложный объект, тем сложнее этот объект. Простые объекты не могут быть проанализированы уникальным способом.
Сложность всех простых объектов одинакова.
Соответственно абстрактные теории делятся на два типа: простые и сложные.
Теория называется сложной, если из нее с помощью некоторой процедуры можно вывести единственное множество простых теорий.
В свою очередь, для всех простых теорий одна и та же процедура возвращает постоянный результат и, следовательно, сложность простых теорий одинакова.
Благодаря тому, что сложность в рассматриваемой логике определяется конструктивно, ее можно вычислять и сравнивать.
Две теории имеют одинаковую сложность, если их можно разложить на одинаковое количество простых теорий.
Чем больше простых теорий можно получить, тем сложнее исходная теория.
Формальное определение сложности .
По многим теориям С = п ∪ С , Где п = {s ∈ С | A[s] = ∅} подмножество простых теорий, С = {s ∈ С | A[s] ≠ ∅} подмножество комплексных теорий, оператор A: С → 2 п задает сложность, если ∀(c 1 ,с 2 ) ∈ С , с 1 ≠ с 2 , А[с 1 ] ≠ А[с 2 ]; т. е.
для любой сложной теории существует единственное разложение на простые.
В свою очередь |A[s]|: числовая мера сложности s. Логика сложности .
Множество теорий С , оператор A и оператор D: С → С такая, что ∀s ∈ С , |А[с]| < |A[D[s]]|, and ∀(s 1 ,с 2 ) ∈ С , с 1 ≠ с 2 , Д[с 1 ] ≠ Д[с 2 ], установите логику сложности.
Оператор D из любой данной теории порождает новую, которая гарантированно будет более сложной.
Реализация логики сложности .
Описанную выше логику можно выразить в формальных операциях над строками специального типа.
Подробное описание реализации смотрите в первой статье.
Ниже приведено лишь упрощенное схематическое описание реализации.
Множество теорий .
Для представления теорий используются строки, состоящие из произвольной последовательности круглых скобок «(», «)» и любых графических идентификаторов внутри скобок.
Для краткости каждая буква считается отдельным идентификатором.
Все содержимое строки должно быть заключено в общие внешние круглые скобки.
Для каждой открывающей скобки в строке должна быть закрывающая.
Пример: строка ((б)а(е)) правильно, тогда как строки (б)а (д) , (а(б(е) неправильно.
Множество теорий С состоит из всех возможных допустимых строк.
Две строки равны, если они совпадают с точностью до перестановки неделимых элементов в подстроках.
Пример того, как можно переставлять элементы: (ab(cd)) ≡ ((cd)ab) ≡ (b(dc)a) ≡ … ≡ ((dc)ba).
Пустые подстроки не имеют значения и отбрасываются, например (a()) ≡ (a).
Правила вывода средств .
На съемочной площадке С Даны три правила вывода.
Правило абстракции .
Применяется к подстрокам данной строки.
Позволяет выделять идентичный контент в скобки.
Из любой группы скобок одного уровня можно удалить из скобок любые одинаковые подстроки по следующему принципу: ((ab)(ac)) ⇒ (a(bc));
((ab)(abc)) ⇒ { (a(bbc)), (b(aac)), (ab(c )) };
((ab)(ac)(ae)) ⇒ { (a(bce)), (a(bc)(ae)), (a(ab)(ce)) };
Согласно правилу абстракции, результаты всегда проще исходной строки.
В случае простых строк, таких как ((a)(b)), результат применения правила абстракции будет пустым.
Рекурсивное применение правила абстракции позволяет разложить любую сложную строку на простые.
Правило вычета .
Согласно этому правилу, вы можете получить из исходной строки столько новых строк, сколько захотите, дублируя все элементы исходной строки любое заданное количество раз по следующему принципу: (a) ⇒ { ((aa)(aa)), ((aaa)(aaa)(aaa)), ((aaaa)(aaaa)(aaaa)(aaaa)), …};
(a(b)) ⇒ { ((aa(bb)(bb))(aa(bb)(bb))), ((aaa(bbb)(bbb)(bbb))(aaa(bbb)(bbb)(bbb))(aaa(bbb)(bbb)(bbb))), …};
(a(b(cc))) ⇒ { (aa(bb(cccc)(cccc))(bb(cccc)(cccc)))(aa(bb(cccc)(cccc))(bb(cccc)(cccc))), …};
Правило композиции .
Любой набор строк из С , можно объединить в одну строку.
Например: (a), (b), (e) ⇒ ((a)(b)(e)).
Оператор А.
Результатом работы оператора является уникальный набор простых строк.
Рекурсивное применение правила абстракции к заданной строке до остановки, когда все возможные декомпозиции будут исчерпаны, соответствует действию оператора A. Хочу обратить ваше внимание на то, что в основной статье оператор абстракции, в отличие от оператора А, в результат своей работы включает не только простые, но и вообще все строки, которые можно вывести по правилу абстракции.
Оператор D. Правило вывода с заданным параметром дублирования соответствует действию оператора D. Из любой заданной строки можно получить более сложную строку с помощью правила вывода, и этот факт можно проверить с помощью оператора A. Оператор композиции ().
Соответствует действию правила композиции.
Таким образом, мы имеем формальную систему, удовлетворяющую определению логики сложности.
Содержание теорий .
В логике сложности каждая теория имеет смысл.
Поскольку ∀s ∈ С существует уникальная цепочка выводов т. н = (А[Д[т n-1 ]]) возрастающей и потенциально бесконечной сложности.
Гипотеза неразрешимости .
Множества общего вида Т с = {p ∈ С | ∀n ∈ Н , p ∈ A[D[t н ]]; т н = (А[Д[т n-1 ]]); т 0 =s} считаю неразрешимым.
Установить Т с содержит все простые строки, выводимые рекурсивной функцией t н от линии старта с.
При условии неразрешимости T с , выход т н является алгоритмически случайным.
Нет никаких доказательств.
мышление .
т н имеет характер сложности, как идеальное мышление, и на этой основе является формой идеального мышления.
На каждой итерации t н происходит явный переход от менее сложной теории к новой, более сложной теории, каждый такой переход уникален и этот процесс потенциально бесконечен.
Мышление реализует сознание в асимптотической форме.
Грубо говоря, «теоретическое сознание» — это предельное, бесконечно сложное содержание, к которому стремятся.
н в процессе расчета.
Субъективный опыт .
Субъективные переживания являются прерогативой сознания.
Сознание не конструктивно.
Будет ли компьютер беспокоиться во время вычислений? Нет. Но результаты вычислений могут содержать чувства к компьютеру.
Заключение .
Я думаю, каждый знает, сколько воображения нужно, чтобы построить что-то по-настоящему сложное.
Не просто большой, а сложный.
А бесконечная сложность требует бесконечного воображения.
Откуда у алгоритма столько воображения? Если только фантазия сама по себе не является алгоритмом.
Теги: #математика #Алгоритмы #искусственный интеллект #сознание #философия #мышление
-
Защитите Свой Реестр
19 Oct, 24 -
Измените Свой Ip-Адрес – Сколько Это Стоит?
19 Oct, 24 -
Отдельные Домены Для Москвы
19 Oct, 24 -
Простой Способ Справиться С Прокрастинацией
19 Oct, 24
