Foundations for Knowledge and Belief Management

Three foundational principles are introduced: intelligent systems such as those that would pass the Turing test should display multi-agent or interactional intelligence; multi-agent systems should be based on conceptual structures common to all interacting agents, machine and human; and multi-agent systems should have an underlying interactional logic such as dialogue logic. In particular, a multi-agent rather than an orthodox analysis of the key concepts of knowledge and belief is discussed. The contrast that matters is the difference between the different questions and answers about the support for claims to know and claims to believe. A simple multi-agent system based on dialogue theory which provides for such a difference is set out.