Skip to main content
SpringerLink
Log in

Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems

  • Conference paper
Conceptual Modeling for Advanced Application Domains (ER 2004)

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

Included in the following conference series:

Abstract

To specify, verify, and reason about mobile multi-agent systems, we need a fundamental logic system to provide us with a criterion of logical validity as well as a representation and specification language. Because design and development of mobile multi-agent systems primarily concern that what decisions and how the decisions can be made by mobile agents with incomplete or even inconsistent knowledge acting concurrently in spatial regions changing over time, the fundamental logic must be able to underlie truth-preserving and relevant reasoning in the sense of conditional, ampliative reasoning, paracomplete reasoning, paraconsistent reasoning, spatial reasoning, and temporal reasoning. Since no existing logic system can satisfy the requirements, this paper proposes a new family of logic, named “spatio-temporal relevant logic,” and shows that it is a hopeful candidate for the fundamental logic we need.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)

    MATH  Google Scholar 

  2. Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)

    MATH  Google Scholar 

  3. Burgess, J.P.: Basic Tense Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 7, pp. 1–42. Kluwer Academic, Dordrecht (2002)

    Google Scholar 

  4. Cardelli, L., Gordon, A.D.: Anytime, Anywhere: Modal Logics for Mobile Ambients. In: Proc. 27th ACM Symposium on Principles of Programming Languages, pp. 365–377. ACM Press, New York (2000)

    Google Scholar 

  5. Cheng, J.: The Fundamental Role of Entailment in Knowledge Representation and Reasoning. Journal of Computing and Information, Special Issue: Proceedings of the 8th International Conference of Computing and Information 2(1), 853–873 (1996)

    Google Scholar 

  6. Cheng, J.: EnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus. In: Terashima, N., Altman, E. (eds.) Advanced IT Tools, Proc. IFIP World Conference on IT Tools, IFIP 96 − 14th World Computer Congress, pp. 507–514. Chapman & Hall, London (1996)

    Google Scholar 

  7. Cheng, J.: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. In: Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. (eds.) Information Modelling and Knowledge Bases XI, pp. 136–159. IOS Press, Amsterdam (2000)

    Google Scholar 

  8. Cheng, J.: Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning - Reacting Systems. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference. AIP Conference Proceedings, vol. 718, American Institute of Physics, Melville (2004)

    Google Scholar 

  9. Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: RCC: A Calculus for Region based Qualitative Spatial Reasoning. GeoInformatica 1, 275–316 (1997)

    Article  Google Scholar 

  10. Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Representing and Reasoning with Qualitative Spatial Relations About Regions. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 97–134. Kluwer Academic, Dordrecht (1997)

    Chapter  Google Scholar 

  11. Cohn, A.G., Hazarika, S.M.: Qualitative Spatial Representation and Reasoning: An Overview. Fundamenta Informaticae 45, 1–29 (2001)

    MathSciNet  Google Scholar 

  12. Diaz, M.R.: Topics in the Logic of Relevance. Philosophia Verlag, Munchen (1981)

    MATH  Google Scholar 

  13. Dunn, J.M., Restall, G.: Relevance Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 6, pp. 1–128. Kluwer Academic, Dordrecht (2002)

    Google Scholar 

  14. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1999)

    Google Scholar 

  15. Egenhofer, M.J., Golledge, R.G. (eds.): Spatial and Temporal Reasoning in Geographic Information Systems. Oxford University Press, New York (1998)

    Google Scholar 

  16. Mares, E.D., Meyer, R.K.: Relevant Logics. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 280–308. Blackwell, Oxford (2001)

    Google Scholar 

  17. Merz, S., Wirsing, M., Zappe, J.: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 87–101. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  18. Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)

    Google Scholar 

  19. Randell, D., Cui, Z., Cohn, A.: A Spatial Logic Based on Regions and Connection. In: Proc. 3rd International Conference on Knowledge Representation and Reasoning, pp. 165–176 (1992)

    Google Scholar 

  20. Read, S.: Relevant Logic: A Philosophical Examination of Inference. Basil Blackwell, Oxford (1988)

    Google Scholar 

  21. Sangiorgi, D., Walker, D.: The Pi-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  22. Stock, O. (ed.): Spatial and Temporal Reasoning. Kluwer Academic, Dordrecht (1997)

    Google Scholar 

  23. van Benthem, J.: Temporal Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, pp. 241–350. Oxford University Press, Oxford (1995)

    Google Scholar 

  24. Venema, Y.: Temporal Logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 203–223. Blackwell, Malden (2001)

    Google Scholar 

  25. Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. The MIT Press, Cambridge (1999)

    Google Scholar 

  26. Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  27. Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Sciences, Saitama University, Saitama, 338-8570, Japan

    Jingde Cheng

Authors
  1. Jingde Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Key Laboratory of Data Engineering and Knowledge Engineering, (Renmin University of China), MOE, 100872, Beijing, P.R. China

    Shan Wang

  2. University of Kyoto, Japan

    Katsumi Tanaka

  3. Department of Computer Science and Engineering, Fudan University, 200433, China

    Shuigeng Zhou

  4. School of Computing, National University of Singapore,  

    Tok-Wang Ling

  5. Department of Computer Science and Technology, Tongji University, 201804, China

    Jihong Guan

  6. Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, China, School of Electronics Engineering and Computer Science, Peking University, China

    Dong-qing Yang

  7. Dipartimento di Elettronica, Informatica e Sistemistica, Alma Mater Studiorum – Università di Bologna, Italy

    Fabio Grandi

  8. School of Computer Science & Informatics, University College Dublinq, Belfield, Dublin 4, Ireland

    Eleni E. Mangina

  9. College of Information Science and Technology, Drexel University, USA

    Il-Yeol Song

  10. Institute for Applied Informatics, Alpen-Adria-Universität Klagenfurt, Austria

    Heinrich C. Mayr

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cheng, J. (2004). Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. In: Wang, S., et al. Conceptual Modeling for Advanced Application Domains. ER 2004. Lecture Notes in Computer Science, vol 3289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30466-1_43

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30466-1_43

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23722-8

  • Online ISBN: 978-3-540-30466-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation