Computer Science – Multiagent Systems
Scientific paper
2002-10-25
Computer Science
Multiagent Systems
14 pages, 1 eps figure, prepared for GETCO2002
Scientific paper
Recent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems Theory, have used various combinatorial structures that model both the geometry of the systems and the Kripke model structure of models for the logic. Examining one of the simpler versions of these models, interpreted systems, and the related Kripke semantics of the logic $S5_n$ (an epistemic logic with $n$-agents), the similarities with the geometric / homotopy theoretic structure of groupoid atlases is striking. These latter objects arise in problems within algebraic K-theory, an area of algebra linked to the study of decomposition and normal form theorems in linear algebra. They have a natural well structured notion of path and constructions of path objects, etc., that yield a rich homotopy theory.
No associations
LandOfFree
Geometric Aspects of Multiagent Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Geometric Aspects of Multiagent Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Geometric Aspects of Multiagent Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-614343