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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)
Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)
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)
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)
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)
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)
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)
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)
Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: RCC: A Calculus for Region based Qualitative Spatial Reasoning. GeoInformatica 1, 275–316 (1997)
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)
Cohn, A.G., Hazarika, S.M.: Qualitative Spatial Representation and Reasoning: An Overview. Fundamenta Informaticae 45, 1–29 (2001)
Diaz, M.R.: Topics in the Logic of Relevance. Philosophia Verlag, Munchen (1981)
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)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1999)
Egenhofer, M.J., Golledge, R.G. (eds.): Spatial and Temporal Reasoning in Geographic Information Systems. Oxford University Press, New York (1998)
Mares, E.D., Meyer, R.K.: Relevant Logics. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 280–308. Blackwell, Oxford (2001)
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)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
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)
Read, S.: Relevant Logic: A Philosophical Examination of Inference. Basil Blackwell, Oxford (1988)
Sangiorgi, D., Walker, D.: The Pi-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Stock, O. (ed.): Spatial and Temporal Reasoning. Kluwer Academic, Dordrecht (1997)
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)
Venema, Y.: Temporal Logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 203–223. Blackwell, Malden (2001)
Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. The MIT Press, Cambridge (1999)
Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)
Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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