Статья 528

Формально.
Имеются различные стратегии описания неявного знания. Допустим, что введены описания состояний явного знания субъекта как частичные, непротиворечивые множества. Их можно расширить за счет информации, известной наблюдателю, и получить, таким образом, новые следствия. Разумеется, вводимая информация не должна противоречить исходной.
Возможен и другой путь, когда неявное знание берется в качестве исходного. В данном случае оно понимается скорее как потенциальное или возможное знание. К каждому эпистемическому описанию состояния добавляется множество предложений, которые осознаются субъектом в этом состоянии. Тогда можно сказать, что субъект явно знает а в мире, если а истинно во всех альтернативах попадает в множество осознаваемых субъектом предложений. Предположим, что мы имеем дело с некоторой дистрибутивной системой, где каждый процессор вычисляет, что он знает из полученной информации, реализует некий алгоритм.