Статья 530

Характерной чертой многосубъектных систем является наличие цепочек итерированных операторов типа. Это обстоятельство приводит к чрезвычайному усложнению описаний возможных состояний дел. Нетривиальные модели возникают даже при рассмотрении единственного высказывания и двух субъектов.
Особое место в исследованиях многосубъектных систем занимает проблема группового знания, или разделенного мнения. Она связана с разработкой сложных коммуникативных систем в которых субъект должен согласовывать совместные действия, уметь добиваться взаимопонимания, уметь прогнозировать по аналогии с действиями других. Д. Льюис предложил следующее понимание группового знания, которое затем было использовано в литературе по искусственному интеллекту группа имеет общее знание, если не только каждый член группы знает, но и каждый знает, что каждый знает.