Reciprocal logic: logics for specifying, verifying, and reasoning about reciprocal relationships

Authors:
Jingde Cheng
Affiliations:
Department of Information and Computer Sciences, Saitama University, Saitama, Japan
Venue:
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Year:
2005

Citing 3
Cited 0

Temporal logic

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

Geoinformatica
Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.