Очевидно, факты представлены в определенной синтаксической форме. Если использовать только форму, можно отвлечься от конкретного языка. Например, если в приведенных выше примерах отвлечься от конкретных фамилий (Иванов, Петров, …) и понятий (человек, смертен) и заменить их на символы (фамилию на X, понятие на s), то факт можно представить в такой форме: X – s, а формулу знания – в виде
где знак «—>» означает «влечет за собой» и заменяет связку «если …, то …».
Теперь если вместо X подставить «Иванов», то, поскольку Иванов – c, из приведенной формулы автоматически следует, что Иванов – s, то есть по обозначению смертен. Другими словами, имея формулу «(X – c) —> (X – s)» и факт «Иванов – c» можно сделать вывод, что Иванов – s. Если же вместо X подставить «Шарик» (кличка собаки), то поскольку Шарик – не c, то и вывод о смертности Шарика из этих посылок не получится. Необходимо добавить аналогичную формулу для собак, либо более общую – для всего живого.
Использованный выше механизм вывода можно записать в следующем виде:
из формулы «(X – p1) —> (X – p2)» и факта X – p1 выводится факт X – p2.
Вместо X можно подставлять имена конкретных объектов, например фамилии конкретных людей, а вместо p1, p2 и т. д. – различные свойства, например смертен, умный, быстрый и др.
Таким образом, мы получили примитивный язык представления знаний. Ясно, что в виде совокупности таких формул можно представить только очень небольшую часть знаний, и процесс совершенствования формы представления знаний и механизмов вывода, скорее всего, бесконечен.
2. Интерпретация знаний
Реальную Вселенную в конкретный момент времени можно представить как совокупность фактов (о Петровых, Ивановых, Шариках, животных, деревьях, планетах и т. д.), удовлетворяющих совокупности знаний, которые содержатся в Геноме. В фактах нет символов – все символы интерпретированы конкретными объектами. Назовем такую совокупность фактов интерпретацией лежащих в ее основе знаний.
Итак, в некотором состоянии интерпретация представляет собой совокупность формул и фактов. Под однократной дедукцией будем понимать следующую операцию: формула и факт подставляются в посылку правила вывода – если заключение выводится (правило «срабатывает»), то новый факт (из этого заключения) добавляется к первоначальной совокупности, если нет – не добавляется ничего.
Если ко всем фактам и формулам некоторого состояния интерпретации однократно применить дедукцию, то в результате добавления всех выведенных фактов получится новая, расширенная совокупность фактов – новое состояние интерпретации. Если этот процесс продолжить, то совокупность фактов будет расширяться. Назовем такой процесс последовательного применения формул к фактам исполнением интерпретации.
