On the Relation between Interpreted Systems and Kripke Models

Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a map from the class of hypercube systems to the class of Kripke frames, another in the opposite direction, and study their properties and compositions. We show that it is possible to characterise semantically the frames that are images of the hypercube systems.

• Type: Conference
• Year: 1997
• Where: AUSAI
• Authors: Alessio Lomuscio, Mark Ryan
• Keywords: Artificial Intelligence, AUSAI 1997, Hypercube Systems, Kripke Models, Simpli Ed Notion