Статья 536

Приписывание процессорам знаний означает тот факт, что наблюдатель использует термин знает для оценки определенных состояний процессора. Говорят, что процессор знает, если состояние процессора таково, что имеет место. В каждой конкретной многопроцессорной системе то, что известно процессору, зависит от задач исследования. Например, знание может быть информацией, хранящейся в базе данных процессора. В другой модели знание обогащается информацией, которую процессор может вывести вычислить.
Рассмотрим многопроцессорную систему в эпистемической интерпретации. Предполагается, что язык включает в себя множество базисных фактов - высказываний, не находящихся в области действия эпистемических операторов. Такими высказывания могут быть утверждения типа переменной приписывается значение 0, процессор находится в состоянии. Пусть есть множество всевозможных глобальных состояний многопроцессорной системы.