Many Agent States of Knowledge


    Ann is sitting on a chair in front of which there is a vase with a dozen roses in it. Bob can see both Ann and the roses. Charlie can see Ann and Bob and the roses. We could now ask: • Does Ann know p? where p = There are roses in front of her. I.e., K a (p) ? • Does Bob know that she knows? (K b K a (p) ?) • Does Charlie know that Bob knows that Ann knows… (More)


    • Presentations referencing similar topics