Geometric aspects of multiagent systems

Electronic Notes in Theoretical Computer Science

Volumn 81, Issue , 2003, Pages 73-98

  Porter, Timothy ^a  

^a BANGOR UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; LINEAR ALGEBRA; SEMANTICS; THEOREM PROVING;

DISTRIBUTED SYSTEMS; EPISTEMIC LOGIC; HOMOTOPY; MULTIAGENT MODELS;

MULTI AGENT SYSTEMS;

EID: 4243126443     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80837-5     Document Type: Conference Paper

References (26)

1. A. Bak, Global Actions: The algebraic counterpart of a topological space, Uspeki Mat. Nauk., English Translation: Russian Math. Surveys, 525, (1997), 955-996.
2. Bak A. Topological Methods in Algebra. Caenepeel S., Verschoren A. Rings, Hopf Algebras and Brauer Groups. number 197 in Lect. Notes in Pure and Applied Math :1998;M. Dekker, New York
3. A. Bak, R. Brown, G. Minian, and T. Porter, Global Actions, Groupoid Atlases and Related Topics, Draft lecture notes, Bangor, 2002.
4. Blackburn P., de Rijke M., Venema Y. Modal Logic. 2001;Cambrige Tracts in Theoretical Computer Science, Cambridge U.P
5. Dowker C.H. Homology Groups of Relations. Annals of Maths. 56:1952;84-95
6. Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. Reasoning about Knowledge. 1995;MIT Press
7. Goldblatt R. Algebraic Polymodal Logic: A Survey, published in the. Logic Journal of the IGPL. 8:2000;393-450. Special Issue on Algebraic Logic, edited by Istvan Nemeti and Ildiko Sain
8. E. Goubault, Some Geometric Perspectives in Concurrency Theory, Submitted (2001) (Available from http://www.di.ens.fr/~goubault/GOUBAULTpapers.html).
9. J. Goubault-Larrecq and E. Goubault, Order theoretic, geometric and combinatorial models for intuitionistic S4 proofs, in IMLA'99, 1999.
10. J. Goubault-Larrecq and E. Goubault, On the geometry of Intuitionistic S4 proofs, submitted to Homotopy, Homology and its Applications.
11. Grandis M. An intrinsic homotopy theory for simplicial complexes, with applications to image analysis. Appl. Categ. Structures. 10:2002;99-155
12. Halpern J.Y., Moses Y. Knowledge and Common knowledge in a Distributed Environment. J.A.C.M. 37:(3):1990;549-587
13. Halpern J.Y., Moses Y. Using counterfactuals in Knowledge-based programming. Gilboa Y. Theoretical Aspects of Rationality and Knowledge. 1999
14. Kracht M. Tools and Techniques in Modal Logic. Studies in Logic No. 142 :1999;Elsevier
15. Latch D.M. The connection between the fundamental groupoid and a unification algorithm for syntatactil algebras (Extended Abstract). Cahiers Topol. Géom. Diff catǵoriques. XXXII:1991;203-242
16. A. Lomuscio and M. Ryan, On the relation between Interpreted Systems and Kripke Models, Proceedings of the AI97 Workshop on Theoretical and Practical Foundation of Intelligent Agents and Agent-Oriented Systems, Perth (WA), December. Springer lecture notes in AI vol. 1441.
17. th European Conference on Artificial Intelligence, John Wiley & Sons, 5pp, 1998.
18. A. Lomuscio and M. Ryan, A spectrum of modes of knowledge sharing between agents, Proceedings of the sixth international workshop on Agent Theories, Architectures, and Languages (ATAL-99), Springer LNAI © volume 1757.
19. A. Lomuscio and 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), 23pp, 1999.
20. A. Lomuscio and M. Wooldridge, Multi-Agent VSK Logic, Proceedings of JELIA2000, 7th European Workshop on Logic in Artificial Intelligence. Malaga. October. Springer LNAI © volume 1919.
21. Meyer J.-J., van der Hoek W. Epistemic Logic for AI and Computer Science. Number 41 in Cambridge Tracts in Theoretical Computer Science :1995;Cambridge University Press
22. Minian E.G. Generalized cofibration categories and global actions. K-Theory. 20:2000;37-95
23. Pfalzgraf J., Sigmund U.C., Stokkermans K. Towards a General Approach for Modelling Actions and Change in Cooperating Agents Scenarios. J. of the ICPL. 4:1996;445-472
24. T. Porter, Interpreted systems and Kripke models for multiagents systems from a categorical perspective, preprint, UWB, School of Informatics, 2002.
25. T. Porter, Categorical perspectives on multiagent systems, Research Report, UWB, School of Informatics, in preparation.
26. D. S. Scott, A new category? Domains, Spaces and Equivalence Relations, Unpublished Manuscript, available http://www.cs.cmu.edu/Groups/LTC/.