Общее знание

Общее знание (англ. common knowledge) имеет место в ситуации, когда каждому индивиду из некоторой группы известно о наступлении некого события, о наличии этого знания у других представителей группы, о наличии знания о наличии знания и так далее ad infinitum[1]. Концепция общего знания впервые возникла в философской литературе у Дэвида Келлогга Льюиса (1969). Определение общего знания было дано тогда же социологом Моррисом Фриделлом[2]. Математическая (теоретико-множественная) интерпретация осуществлена в 1976 году Робертом Ауманном, который занимался построением эпистемической теории игр. С 1980-х годов концепцией заинтересовались исследователи в области информатики. Общее знание лежит в основе многих логических головоломок, изучением который, в частности, занимался Джон Хортон Конвей[3].

Общее знание связано с более слабой концепцией взаимного знания. В отличие от общего, взаимное предполагает осведомлённость о наступлении события, но никакие другие условия на знания участников не налагаются. Таким образом, общее знание всегда является взаимным (обратное неверно).

Формализация

Модальная логика (синтаксическая характеристика)

Общее знание можно определить для мультимодальных логических систем, где модальные операторы интерпретируются эпистемически. Мультимодальные системы являются расширением логики высказываний с добавлением группы агентов G и модальных операторов Ki (with i = 1, ..., n). ВыражениеKiφ означает «агент i знает, что φ». Далее необходимо определить оператор EG, который будет соответствовать ситуации «все в группе G знают, что»:

Обозначив выражение как при , получаем аксиому общего знания

Здесь возникает осложнение. Язык эпистемической логики оперирует конечным числом объектов, в то время как аксиому общего знания содержит конъюнкцию бесконечного числа формул. Следовательно, в языке эпистемической логики формула не является правильно построенной. Проблема решается определением термина через неподвижную точку. Общее знание является неподвижной точкой выражения . Тогда можно найти формулу , предполагающую , что в пределе даст общее знание .

Данная синтаксическая характеристика наделяется семантикой с помощью модели Крипке. Модель задаётся (i) множеством состояний S, (ii) n отношениями перехода , определёнными на , (iii) функцией пометок . Чтобы построить семантику, необходимо сначала указать, что верно в состоянии s тогда и только тогда, когда верно для всех состояний t таких, что . Семантика оператора общего знания создаётся рефлексивным и транзитивным замыканием для всех агентов i в G (получаемое отношение обозначается как ) при условии, что верно в состоянии s тогда и только тогда, когда верно во всех состояниях t таких, что .

Теория множеств (семантическая характеристика)

Альтернативная, но эквивалентная формализация общего знания дана Робертом Ауманном в терминах теории множеств. Имеется множество состояний S. Его подмножества называются событиями. Для каждого индивида i определяется разбиение SPi. Разбиение служит для характеристики знания индивида в некотором состоянии. В состоянии s индивид i знает, что возникло какое-либо (но не какое именно) из состояний, входящих во множество Pi(s), которое является элементом разбиения Pi, содержащим s. В данной модели возможность ошибочного знания исключается.

Функция знания определяется так:

То есть Ki(e) является множеством состояний, в которых индивид знает о наступлении события e. Ki(e) есть подмножество e.

Тогда оператор «все знают о наступлении e» определяется как

Как и в случае модальной логики, функция E применяется итеративно, и . Функция общего знания выглядит следующим образом:

Эквивалентность подходов легко продемонстрировать. Если задана модель Ауманна, тогда можно определить соответствующую ей модель Крипке. Для этого необходимо (i) задать то же множество состояний S, (ii) задать отношения перехода , определяющие классы эквивалентности, соответствующие разбиениям , (iii) задать функцию пометок, присваивающую значение «верно» высказыванию p тогда и только тогда, когда состояния s такие, что , где есть событие из модели Ауманна, соответствующее высказыванию p. Нетрудно увидеть, что функция , определённая в прошлом разделе, соответствует наилучшему общему огрублению разбиений для всех , что есть конечная характеристика общего знания (также дана Ауманном в 1976 году).

Примеры

Понятие общего знания можно раскрыть на примере задачи о чумазых детях. На острове живут k людей с голубыми глазами, у всех остальных зелёные глаза. Исходно никто из жителей не знает цвета своих глаз. По закону, если островитянин узнаёт цвет своих глаз, он должен покинуть остров на восходе следующего дня. На острове все знают цвет глаз всех остальных жителей, нет никаких отражающих поверхностей и никогда не ведётся дискуссий про цвет глаз.

В какой-то момент на остров прибывает иностранец, собирает жителей острова и делает публичное объявление, говоря: «Как минимум один из вас имеет голубые глаза». Всем известно, что этот иностранец всегда говорит правду, и информация о том, что как минимум один островитянин имеет голубые глаза, становится общим знанием. Вопрос таков: если считать, что все жители острова логичны и это также является общим знанием, чем закончится дело?

Ответ таков: на k-ый рассвет после объявления все голубоглазые люди покинут остров. Решение может быть проведено по индукции. Если k=1, то есть на острове ровно один голубоглазый человек, то этот человек сразу осознает, что он один имеет голубые глаза, так как вокруг только зеленоглазые, и покинет остров с первым же рассветом. Если k = 2, то никто с первым рассветом остров не покинет, но эти двое, видя вокруг только по одному голубоглазому человеку и зная, что никто остров с первым рассветом не покинул (и поэтому k>1), покинут остров на второй рассвет. Легко доказать по индукции, что никто не покинет остров после первых k-1 рассветов в том и только том случае, если на острове не менее k голубоглазых людей, и что все голубоглазые люди покинут остров на k-й рассвет, если их ровно k.

В этом сценарии наибольший интерес представляет то, что при k>1 иностранец сообщает островитянам только то, что они знают и так: что среди них есть голубоглазые. Важно же то, что до того, как этот факт был озвучен, он не был общим знанием.

Примером задачи иллюстрирующем невозможность достичь общее знание в случае надёжного канала связи является задача двух генералов. Есть две армии, каждая руководимая своим генералом, готовятся к штурму города. Лагеря этих армий располагаются на двух холмах, разделённых долиной. Единственным способом связи между генералами является отправка посыльных с сообщениями через долину. Но долина занята противником и любой из посыльных может быть перехвачен. Проблема заключается в том, что, генералы заранее (пока была связь) приняли принципиальное решение о штурме, но не согласовали точное время штурма. Сложность задачи заключается в невозможности разработать алгоритм гарантированного обмена сообщениями.

Примечания

  1. Osborne, Martin J., and Ariel Rubinstein. A Course in Game Theory. Cambridge, MA: MIT, 1994. Print.
  2. Morris Friedell, "On the Structure of Shared Awareness," Behavioral Science 14 (1969): 28–39.
  3. Ian Stewart. I Know That You Know That... // Math Hysteria (англ.). Oxford University Press, 2004.

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.