Ideal Agents Sharing (some!) Knowledge

A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted systems, which we call hypercube systems, that share information among themselves. Hypercube systems arise by taking the full Cartesian product of the state space of interpreted systems. We analyse hypercube systems by taking their semantically equivalent Kripke frames and we present a sound and complete axiomatisation for them. The logic thus obtained, which we study in some detail, is a proper extension of the system S5n, commonlystudied for modelling knowledge for a community of ideal agents.

• Type: Conference
• Year: 1998
• Where: ECAI
• Authors: Alessio Lomuscio, Mark Ryan
• Keywords: Artificial Intelligence, ECAI 1998, Hypercube Systems, Interpreted Systems, Models Knowledge-based Agents