М.Н.Рыбаков

Операторы всеобщего и распределённого знания: дополнительное выразительные средства в логиках знания

В этой работе рассматривается подход к формализации понятия знания, который приводит к полимодальным логикам. В зависимости от того, как мы понимаем, что означают фразы вроде <<некто знает φ>>, или какие свойства мы склонны приписывать оператору <<знать>>, мы можем получать различные логики, которые описывают это понятие. Важным моментом при изучении свойств знания является взаимодействие знаний, которыми обладают т.н. агенты знания. В результате возникают новые виды знания. Здесь рассматриваются два из них - всеобщее и распределённое знание. Доказывается, что операторы всеобщего и распределённого знания не выражаются через операторы знания агентов.