Multi-agent Only Knowing

摘要

Levesque introduced a notion of 'only knowing', with the goal of capturing certain types of non-monotonic reason- ing. Levesque's logic dealt with only the case of a single agent. Recently, both Halpern and Lakemeyer indepen- dently attempted to extend Levesque's logic to the multi-agent case. Although there are a number of similarities in their approaches, there are some significant differences.