Copyright © 2004 Elsevier B.V. All rights reserved.
Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Received 5 March 2003;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Both Kripke models and interpreted systems have been put forward as basic models of multi-agent systems and for reasoning about Knowledge in such systems. This paper enriches previous comparisons of these two forms of semantics by considering categories of models in both cases and then shows that constructions given by Lomuscio and Ryan, extend to give an adjoint equivalence between the two settings. This equivalence is exploited in a discussion of colimits of interpreted systems.
Author Keywords: Categorical models; Knowledge representation; Epistemic logic; Multiagent systems






E-mail Article
Add to my Quick Links

Cited By in Scopus (0)






