A Note on Granular Reasoning and Semantics of Four-Valued Logics
Yasuo Kudo · AIP conference proceedings · 2006
Zooming reasoning systems is a mechanism for reasoning using granular computing. The key concept of the zooming reasoning system is focus, which represents sentences we use in the current step of reasoning. Murai et al. has proposed a three‐valued valuation based on focus. On the other hand, the authors have proposed another concept of granularity, called visibility, and constructed a four‐valued truth valuation based on visibility and focus. However, our formulation of the four‐valued valuation causes some difficulties to extend to all non‐modal sentences. In this paper, we explore and refine connections between granular reasoning and semantics of four‐valued logic. In particular, we refine the four‐valued semantics based on visibility and focus, and demonstrate some properties of the four‐valued semantics.