Article thumbnail
Location of Repository

Information sharing among ideal agents

By A. Lomuscio

Abstract

Multi-agent systems operating in complex domains crucially require agents to interact with each other. An important result of this interaction is that some of the private knowledge of the agents is being shared in the group of agents. This thesis investigates the theme of knowledge sharing from a theoretical point of view by means of the formal tools provided by modal logic. More specifically this thesis addresses the following three points. First, the case of hypercube systems, a special class of interpreted systems as defined by Halpern and colleagues, is analysed in full detail. It is here proven that the logic S5WDn constitutes a sound and complete axiomatisation for hypercube systems. This logic, an extension of the modal system S5n commonly used to represent knowledge of a multi-agent system, regulates how knowledge is being shared among agents modelled by hypercube systems. The logic S5WDn is proven to be decidable. Hypercube systems are proven to be synchronous agents with perfect recall that communicate only by broadcasting, in separate work jointly with Ron van der Meyden not fully reported in this thesis. Second, it is argued that a full spectrum of degrees of knowledge sharing can be present in any multi-agent system, with no sharing and full sharing at the extremes. This theme is investigated axiomatically and a range of logics representing a particular class of knowledge sharing between two agents is presented. All the logics but two in this spectrum are proven complete by standard canonicity proofs. We conjecture that these two remaining logics are not canonical and it is an open problem whether or not they are complete. Third, following a influential position paper by Halpern and Moses, the idea of refining and checking of knowledge structures in multi-agent systems is investigated. It is shown that, Kripke models, the standard semantic tools for this analysis are not adequate and an alternative notion, Kripke trees, is put forward. An algorithm for refining and checking Kripke trees is presented and its major properties investigated. The algorithm succeeds in solving the famous muddy-children puzzle, in which agents communicate and reason about each other's knowledge. The thesis concludes by discussing the extent to which combining logics, a promising new area in pure logic, can provide a significant boost in research for epistemic and other theories for multi-agent systems

Publisher: University of Birmingham
Year: 1999
OAI identifier: oai:eprints.ucl.ac.uk.OAI2:1122
Provided by: UCL Discovery

Suggested articles

Citations

  1. (1996). A counterexample in tense logic.
  2. (1993). A market-oriented programming environment and its application to distributed multicommodity flow problems.
  3. (1980). A note on syntactical treatments of modality.
  4. (1996). A situated action approach to impleminting characters in computer games.
  5. (1997). Agent-based software engineering.
  6. (1993). Agent-oriented programming.
  7. (1998). Canonicity for Intensional Logics.
  8. (1990). Constructive modal logics I.
  9. (1992). Generalized Kripke models for epistemic logic.
  10. (1980). Independent propositional modal logics. Studia Logica,
  11. (1995). Intelligent agents: theory and practice.
  12. (1992). On Partial Logic and Knowledge Representation.
  13. (1998). Pitfalls of agent-oriented development.
  14. (1992). The McKinsey axiom is not compact.
  15. (1990). Truth and Modality for Knowledge Representation.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.