We consider the problem of reasoning about the cognitive state of communicating agents. In order to compute belief revisions resulting from information exchanges, these agents could be ascribed models of explicit mental states. Towards this end, we introduce a model of distributed beliefs based on formalizing the assertion fact P is believed by agent X in context C . These developments give rise to a meta-logic program embodying the various computational aspects (object class and instance creation, proof system, message interpreter) of a complete agent test bed.
展开▼