Abstract
To specify, verify, and reason about various reciprocal relationships in a human society and/or a cyber space, we need a right fundamental logic system to provide us with a criterion of logical validity of reasoning as well as a representation and specification language. This paper proposes a new family of conservative extensions of relevant logic, named “reciprocal logic,” for specifying, verifying, and reasoning about reciprocal relationships. The paper shows that various reciprocal logics can be obtained by introducing predicates and related axioms about reciprocal relationships into strong relevant logics and spatial-temporal relevant logics. A case study is focused on trust relationships.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
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)
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.: Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. In: Palade, V., Howlett, R.J., Jain, L. (eds.) KES 2003. LNCS, vol. 2773, pp. 68–80. Springer, Heidelberg (2003)
Cheng, J.: Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems (Invited Paper). In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference. AIP Conference Proceedings, vol. 718, pp. 362–375. American Institute of Physics, Melville (2004)
Cheng, J.: Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Mobile Multi-agent Systems. In: Wang, S., Tanaka, K., Zhou, S., Ling, T.-W., Guan, J., Yang, D.-q., Grandi, F., Mangina, E.E., Song, I.-Y., Mayr, H.C., et al. (eds.) ER Workshops 2004. LNCS, vol. 3289, pp. 470–483. Springer, Heidelberg (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)
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, Oxford (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cheng, J. (2005). Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552451_58
Download citation
DOI: https://doi.org/10.1007/11552451_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28895-4
Online ISBN: 978-3-540-31986-3
eBook Packages: Computer ScienceComputer Science (R0)