Работу правила вывода на конкретных фактах и знаниях демонстрирует следующий пример. Человек знает, что все люди смертны, или, другими словами, есть знание «Если Некто – человек, то этот Некто смертен». У него есть знакомый по фамилии Иванов, то есть имеет место факт «Иванов – человек». Если подставить в первое предложение «Иванов» вместо «Некто», получим «Если Иванов – человек, то Иванов смертен». Работа правила вывода заключается в том, что оно позволяет констатировать, что «Иванов смертен».
Примером исполнения модели является развитие человека. Геном человека представляет собой некоторую совокупность закодированных знаний о физических, интеллектуальных и других характеристиках человека. Развитие человека можно представить как последовательное применение некоторого правила вывода к этой совокупности, в результате чего развивается человек с заданными физическими, интеллектуальными и другими характеристиками.
Предположим, что модель Вселенной можно представить в виде совокупности знаний, закодированных в Геноме Вселенной. Тогда существование Вселенной является исполнением этой модели. Другими словами, развитие Вселенной можно представить в виде последовательности состояний, каждое из которых получается из предыдущего применением к нему Вселенского механизма вывода с использованием знаний, содержащихся в Геноме Вселенной, начиная с момента Большого взрыва.
Наблюдая реальную Вселенную (исполнение реальной модели), интеллект решает обратную задачу – строит некоторую теорию будущей Вселенной. В каждый момент времени существует одна или несколько таких теорий Вселенной, которые признаются большинством людей, например: когда-то земля покоилась на трех китах, или Солнце вращалось вокруг Земли. Следовательно, необходимо определить, в какую теорию верить.
Назовем факт выводимым (доказуемым), если он может быть выведен в теории с помощью логического правила вывода. С другой стороны, факты должны подтверждаться наблюдениями. Назовем факт достоверным, если подавляющее большинство людей либо наблюдали этот факт, либо признают свидетельства очевидцев (факт имеет место быть в модели). Факты, достоверные в модели и вместе с тем выводимые в соответствующей этой модели теории, назовем относительно истинными. Достоверность не влечет за собой выводимость, и обратно – выводимость не означает достоверность. Абсолютная истина недостижима, но для практических целей всегда можно прийти к соглашению об относительной истинности. Теорию, в которой выводятся все достоверные факты соответствующей модели, назовем относительно истинной, или адекватной.
Результаты науки с одной стороны, должны подтверждаться экспериментально, когда достаточное количество людей, доверяя своим ощущениям, подтверждает факты, а с другой стороны, быть выводимыми на основании принятых в данной науке соглашений и базовых понятий. Всегда можно декларировать факты, которые одни люди будут считать достоверными, а другие нет. Эти люди, соответственно, имеют различные модели Вселенной. Тем не менее, в науке, как правило, существует некоторая адекватная модель Вселенной, которая поддерживается большинством ученых.
Ученый ищет новые факты в окружающем мире. Если такие факты повторяются и находят другие подтверждения, то они принимаются достоверными. Теперь необходимо попытаться вывести (доказать) их в рамках принятой теории. Для этого нужно, во-первых, найти истинные в данной теории факты, которые неизменно связаны с новыми фактами и потому могут трактоваться как причина, во-вторых, индуктивно сформулировать причинно-следственное отношение в виде элементарного знания, содержащего в качестве причины истинные факты, а в качестве следствия – новые факты. Если это удается, то теория расширяется добавлением нового знания, и новые факты становятся истинными относительно данной теории.
Если не удается доказать новые факты в рамках принятой теории (новое знание противоречит совокупности знаний этой теории), то необходимо скорректировать знания так, чтобы новая теория сохраняла непротиворечивость и при добавлении нового знания, – таким образом, истинность теории будет восстановлена. В истории науки это происходит постоянно.
Наука – это процесс поиска и добавления к общей теории Вселенной новых знаний и поддержание этой теории в состоянии относительной истинности, бесконечный поиск постоянно ускользающей истины.
Если бы знания и механизм вывода были столь однозначны, как представлено выше, мир был бы на сто процентов детерминирован. Очевидно, это не так, и определенная степень свободы всегда имеет место в развивающейся Вселенной. Для представления свободы в модели Вселенной будем считать, что каждому ее знанию соответствует вероятность (некоторое число от 0 до 1) успешности применения к нему механизма вывода. Например, знание «Такие-то условия ведут к дождю» с вероятностью 0,7 приведет к тому, что только в семи случаях из десяти механизм вывода сработает, и в таких-то условиях будет дождь.