Skip to main content
SpringerLink
Log in
Book cover

International Conference on Artificial Intelligence and Symbolic Mathematical Computing

AISMC 1996: Artificial Intelligence and Symbolic Mathematical Computation pp 289–304Cite as

Towards a sheaf semantics for cooperating agents scenarios

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1138))

Abstract

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.

Partially supported by the Austrian Science Foundation under ESPRIT BRP 6471 “MEDLAR II”

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. V. Diekert. Combinatorics on Traces, volume 454 of Lecture Notes in Computer Science. Springer Verlag, 1990.

    Google Scholar 

  2. 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. J. Goguen. Objects. International Journal of General Systems, 1:237–243, 1975.

    Google Scholar 

  4. J. Goguen. Sheaf Semantics for Concurrent Interacting Objects. Mathematical Structures in Computer Science, 11:159–191, 1992.

    Google Scholar 

  5. 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. J. Lilius. A Sheaf Semantics for Petri Nets. Technical Report A23, Dept. of Computer Science, Helsinki University of Technology, 1993.

    Google Scholar 

  7. 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. S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. Universitext. Springer Verlag, 1992.

    Google Scholar 

  9. L. Monteiro and F. Pereira. A Sheaf Theoretic Model for Concurrency. Proc. Logic in Computer Science (LICS'86), 1986.

    Google Scholar 

  10. 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. 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, 1993

    Google Scholar 

  12. 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. 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. 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. 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. V. Sofronie. A sheaf theoretic approach to cooperating agents scenarios. Manuscript in preparation, 1996.

    Google Scholar 

  17. Y.V. Srinivas. A Sheaf-theoretic Approach to Pattern Matching and Related Problems. Theoretical Computer Science, 112:53–97, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RISC-Linz, Johannes Kepler University, A-4040, Linz, Austria

    Viorica Sofronie

Authors
  1. Viorica Sofronie
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet John A. Campbell Jochen Pfalzgraf

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sofronie, V. (1996). Towards a sheaf semantics for cooperating agents scenarios. In: Calmet, J., Campbell, J.A., Pfalzgraf, J. (eds) Artificial Intelligence and Symbolic Mathematical Computation. AISMC 1996. Lecture Notes in Computer Science, vol 1138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61732-9_64

Download citation

  • DOI: https://doi.org/10.1007/3-540-61732-9_64

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61732-7

  • Online ISBN: 978-3-540-70740-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation