О трудностях определения имплицитного знания группы
Author:
Долгоруков Виталий Владимирович
Abstract
Статья посвящена трудностям определения имплицитного знания группы $~-$ знания, которое могло бы возникнуть в группе в результате полного обмена информацией. Обсуждаются два подхода к логическому моделированию этого типа группового знания: синтаксический подход (следствие из множества знаний отдельных агентов) и семантический подход (модальность пересечения индивидуальных отношений достижимости). Рассматриваются два соответствующих модальных оператора: оператор имплицитного знания, опирающийся на синтаксический подход, и оператор дистрибутивного знания, выражающий семантический подход. В статье демонстрируется, что в общем случае данные операторы не эквивалентны, но совпадают в классе конечных модально различимых моделей. Утверждается, что несовпадение двух модальных операторов не означает, что мы имеем дело с двумя содержательно различными видами группового знания, а означает, что модели Крипке, которые не являются модально различимыми, не могут рассматриваться в качестве интуитивно приемлемого описания эпистемического сценария. Мы утверждаем, что принцип полной коммуникации, требующий возможности полного обмена информацией между агентами группы, не совместим со стандартной версией оператора имплицитного знания и требует рассмотрения его компактных версий. Мы предлагаем четыре новых версии оператора компактного имплицитного знания, различающихся условием извлечения информации (общезначимость в модели, общее знание среди агентов группы, <<каждый в группе знает>>, <<хотя бы кто-то в группе знает>>). Утверждается, что все рассмотренные версии оператора компактного имплицитного знания в классе конечных модально различимых моделей совпадают с оператором дистрибутивного знания. Тем самым демонстрируется, что стандартное требование логического следования для условия извлечении информации является избыточным и может быть ослаблено до модальности <<хотя бы кто-то к группе знает>>.
Publisher
Institute of Philosophy, Russian Academy of Sciences
Reference14 articles.
1. Agotnes, W´ang, 2017 – Agotnes, T., W´ang, Y. “Resolving distributed knowledge”, Artificial Intelligence, 2017, Vol. 252, pp. 1–21. 2. Blackburn et al., 2001 – Blackburn, P., de Rijke, M., Venema, Y. Modal logic. Cambridge: Cambridge University Press, 2001. 578 pp. 3. Fagin et al., 1992 – Fagin, R., Halpern, J., Vardi, M. “What Can Machines Know?”, Journal of the ACM, 1992, Vol. 39, No. 2, pp. 328–376. 4. Fagin et al., 1995 – Fagin, R., Halpern, J., Moses, Y., Vardi, M. Reasoning about Knowledge, Cambridge: MIT Press, 1995. 544 pp. 5. Gerbrandy, 1999 – Gerbrandy, J. “Bisimulations on Planet Kripke”, PhD Thesis. 1999 [https://pure.uva.nl/ws/files/3354085/34702_Gerbrandy.pdf, accessed on 02.03.2022]
|
|