Towards a sheaf semantics for cooperating agents scenarios

  • Viorica Sofronie
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1138)


The ultimate goal of our work is to show how sheaf theory can be used for studying cooperating robotics scenarios. In this paper we propose a formal definition for systems and define a category of systems. The main idea of the paper is that relationships between systems can be expressed by a suitable Grothendieck topology on the category of systems. We show that states and (parallel) actions can be expressed by sheaves and use this in order to study the behavior of systems in time.


Boolean Algebra Natural Transformation Atomic Action Heyting Algebra Sheaf Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Die90]
    V. Diekert. Combinatorics on Traces, volume 454 of Lecture Notes in Computer Science. Springer Verlag, 1990.Google Scholar
  2. [FS79]
    M. P. Fourman and D. S. Scott. Sheaves and Logic. In M. Fourman, editor, Durham Proceedings (1977). Applications of Sheaves, volume 753 of Lecture Notes in Mathematics, pages 302–401. Springer Verlag, 1979.Google Scholar
  3. [Gog75]
    J. Goguen. Objects. International Journal of General Systems, 1:237–243, 1975.Google Scholar
  4. [Gog92]
    J. Goguen. Sheaf Semantics for Concurrent Interacting Objects. Mathematical Structures in Computer Science, 11:159–191, 1992.Google Scholar
  5. [KC79]
    P. H. Krauss and D. M. Clark. Global Subdirect Products. Memoirs of the American Mathematical Society, 17(210):1–109, January 1979.Google Scholar
  6. [Lil93]
    J. Lilius. A Sheaf Semantics for Petri Nets. Technical Report A23, Dept. of Computer Science, Helsinki University of Technology, 1993.Google Scholar
  7. [Mal94]
    G. Malcolm. Interconnections of Object Specifications. In R. Wieringa and R. Feenstra, editors, Working Papers of the International Workshop on Information Systems — Correctness and Reusablity, 1994. Appeared as internal report IR-357 of the Vrije Universiteit Amsterdam.Google Scholar
  8. [MLM92]
    S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. Universitext. Springer Verlag, 1992.Google Scholar
  9. [MP86]
    L. Monteiro and F. Pereira. A Sheaf Theoretic Model for Concurrency. Proc. Logic in Computer Science (LICS'86), 1986.Google Scholar
  10. [Pfa91]
    J. Pfalzgraf. Logical Fiberings and Polycontextural Systems. In P. Jorrand and J. Kelemen, editors, Proc. Fundamentals of Artificial Intelligence Research, volume 535 of Lecture Notes in Computer Science (subseries LNAI), pages 170–184. Springer Verlag, 1991.Google Scholar
  11. [Pfa93]
    J. Pfalzgraf. On Mathematical Modeling in Robotics. In J. Calmet and J.A. Campbell, editors, AI and Symbolic Mathematical Computing. Proceedings AISMC-1, volume 737 of Lecture Notes in Computer Science, pages 116–132. Springer Verlag, 1993Google Scholar
  12. [Pfa95]
    J. Pfalzgraf. On Geometric and Topological Reasoning in Robotics. Annals of Mathematics and AI, special issue on AI and Symbolic Mathematical Computing, 1995. To appear.Google Scholar
  13. [PS95]
    J. Pfalzgraf and K. Stokkermans. On Robotics Scenarios and Modeling with Fibered Structures. In J. Pfalzgraf and D. Wang, editors, Springer Series Texts and Monographs in Symbolic Computation, Automated Practical Reasoning: Algebraic Approaches, pages 53–80. Springer Verlag, 1995.Google Scholar
  14. [PSS95]
    Jochen Pfalzgraf, Ute Cornelia Sigmund, and Karel Stokkermans. Modeling cooperative agents scenarios by deductive planning methods and logical fiberings. In Jacques Calmet and John A. Campbell, editors, 2nd Workshop on Artificial Intelligence and Symbolic Mathematical Computing, volume 958 of Lecture Notes in Computer Science, pages 167–190. Springer-Verlag, 1995.Google Scholar
  15. [PSS96]
    J. Pfalzgraf, U. Sigmund, and K. Stokkermans. Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. IGPL (Journal of the Interest Group in Pure and Applied Logics), 4(3):445–472, 1996.Google Scholar
  16. [Sof96]
    V. Sofronie. A sheaf theoretic approach to cooperating agents scenarios. Manuscript in preparation, 1996.Google Scholar
  17. [Sri93]
    Y.V. Srinivas. A Sheaf-theoretic Approach to Pattern Matching and Related Problems. Theoretical Computer Science, 112:53–97, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Viorica Sofronie
    • 1
  1. 1.RISC-LinzJohannes Kepler UniversityLinzAustria

Personalised recommendations