Interpreted systems and Kripke models for multiagent systems from a categorical perspective

Theoretical Computer Science

Volumn 323, Issue 1-3, 2004, Pages 235-266

  Porter, Timothy ^a  

^a BANGOR UNIVERSITY   (United Kingdom)

Author keywords

Categorical models; Epistemic logic; Knowledge representation; Multiagent systems

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER SCIENCE; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SEMANTICS;

CATEGORICAL MODELS; EPISTEMIC LOGIC; INTERPRETED SYSTEMS; KRIPKE MODELS;

MULTI AGENT SYSTEMS;

EID: 4243138154     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.04.005     Document Type: Article

References (20)

1. S. Awodey, J. Hughes, Modal operators for coequations, preprint, August 2001.
2. Borceux F. Handbook of Categorical Algebra. 1994;Cambridge University Press, Cambridge.
3. R. Fagin, J.Y. Halpern, A formal model of knowledge, action and communication in distributed systems, in: Proc. fourth ACM Symp. on Principles of Distributed Computing, 1985, pp. 224-236.
4. Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. Reasoning about Knowledge. 1995;MIT Press, Cambridge, MA.
5. Fagin R., Halpern J.Y., Vardi M.Y. What can machines know? On the properties of knowledge in distributed systems. J. ACM. 39:1992;328-376.
6. R. Goldblatt, Algebraic polymodal logic: a survey, published in the Logic J. IGPL 8 (2000) 393-450 (Special issue on Algebraic Logic, edited by Istvan Nemeti and Ildiko Sain).
7. Hintikka J. Knowledge and Belief, An Introduction to the Logic of the Two Notions. 1962;Cornell University Press, Ithica and London.
8. Jacobs B. Towards a duality result in the modal logic of coalgebras. Electron. Notes in Comput. Sci. 33:2000;. (Special issue on the workshop Coalgebraic Methods in Computer Science (CMCS 2000)).
9. Johnstone P.T. Stone Spaces. 1982;Cambridge University Press, Cambridge, MA.
10. Kracht M. Tools and Techniques in Modal Logic. Studies in Logic. Vol. 142:1999;Elsevier, Amsterdam.
11. A. Kurz, Coalgebras and Modal Logic, Course Notes for ESSLLI 2001 (available from http://www.cwi.nl/~kurz ).
12. A. Lomuscio, M.D. Ryan, On the relation between interpreted systems and Kripke models, Proc. AI97 Workshop on Theoretical and Practical Foundation of Intelligent Agents and Agent-Oriented Systems, Perth, WA, December, Springer Lecture Notes in Artificial Intelligence, Vol. 1441, Springer, Berlin.
13. A. Lomuscio, M.D. Ryan, Ideal agents sharing (some!) knowledge, Proc. ECAI-98. 13th European Conf. on Artificial Intelligence, Wiley, New York, 1998, 5pp.
14. A. Lomuscio, M.D. Ryan, An algorithmic approach to knowledge evolution, Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), Vol. 13, No. 2 (Special issue on Temporal Logic in Engineering), 1999, 23pp.
15. A. Lomuscio, R. van der Meyden, M.D. Ryan, Knowledge in multi-agent systems: initial configurations and broadcast, ACM Transactions on Computational Logic (TOCL), Vol. 1, issue 2, ACM Press, New York, October 2000, pp. 247-284.
16. Meyer J.-J., van der Hoek W. Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science. Vol. 41:1995;Cambridge University Press, Cambridge, MA.
17. Porter T. Geometric aspects of multiagent systems. Electron. Notes Theoret. Comput. Sci. 81:2003;. (A shorter version appeared in the proceedings of both the GETCO2002 meeting in Toulouse and the 2002 UKMAS meeting in Liverpool.).
18. Rutten J. Universal coalgebra. a theory of systems Theoret. Comput. Sci. 249:2000;3-80.
19. M. Wooldridge, A. Lomuscio, A logic of visibility, perception, and knowledge: completeness and correspondence results, in: J. Cunningham (Ed.), Proc. Third Internat. Conf. on Pure and Applied Practical Reasoning (FAPR-2000), London, UK, 2000.
20. M. Wooldridge, A. Lomuscio, Multi-agent VSK logic, Proc. Seventh European Workshop on Logics in Artificial Intelligence (JELIA-2000), Springer, Berlin, 2000.