?
О трудностях определения имплицитного знания группы
Статья посвящена трудностям определения имплицитного знания группы — знания, которое могло бы возникнуть в группе в результате полного обмена информацией. Обсуждаются два подхода к логическому моделированию этого типа группового знания: синтаксический подход (следствие из множества знаний отдельных агентов) и семантический подход (модальность пересечения индивидуальных отношений достижимости). Рассматриваются два соответствующих модальных оператора: оператор имплицитного знания, опирающийся на синтаксический подход, и оператор дистрибутивного знания, выражающий семантический подход. В статье демонстрируется, что в общем случае данные операторы не эквивалентны, но совпадают в классе конечных модаль- но различимых моделей. Утверждается, что несовпадение двух модальных операторов не означает, что мы имеем дело с двумя содержательно различными видами группового знания, а означает, что модели Крипке, которые не являются модально различимыми, не могут рассматриваться в качестве интуитивно приемлемого описания эпистемического сценария. Мы утверждаем, что принцип полной коммуникации, требующий возможно- сти полного обмена информацией между агентами группы, не совместим со стандартной версией оператора имплицитного знания и требует рассмотрения его компактных версий. Мы предлагаем четыре новых версии оператора компактного имплицитного знания, различающихся условием извлечения информации (общезначимость в модели, общее знание среди агентов группы, «каждый в группе знает», «хотя бы кто-то в группе знает»). Утверждается, что все рассмотренные версии оператора компактного импли- цитного знания в классе конечных модально различимых моделей совпадают с оператором дистрибутивного знания. Тем самым демонстрируется, что стандартное требование логического следования для условия извлечении информации является избыточным и может быть ослаблено до модальности «хотя бы кто-то в группе знает»