A Note on Granular Reasoning and Semantics of FourValued Logics
نویسندگان
چکیده
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.
منابع مشابه
Reasoning with Probabilistic Logics
The interest in the combination of probability with logics for modeling the world has rapidly increased in the last few years. One of the most effective approaches is the Distribution Semantics which was adopted by many logic programming languages and in Descripion Logics. In this paper, we illustrate the work we have done in this research field by presenting a probabilistic semantics for descr...
متن کاملA Note on Comparing Semantics for Conditionals
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popular system-of-spheres semantics of Lewis, an ordinal semantics making use of rankings, and a possibilistic semantics. As a common framework for the corresponding logics, we will use institutions which provide formal ri...
متن کاملA Note for Discussion: Treating Disjunctive Obligation and Conjunctive Action in Event Semantics with Disquotation
Standard deontic logics are about what obtains in deontically ideal worlds. Deontic reasoning from the perspective of event semantics and the disquotation (ESD) theory, which we describe briefly, is about individual obligations, permissions, etc. in this, admittedly non-ideal world. Standard deontic logics are beset with a number of puzzling paradoxes and anomalies. Our suggestion here is that ...
متن کاملBiconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness
We suggest a general formalism of four-valued reasoning, called biconsequence relations, intended to serve as a logical framework for reasoning with incomplete and inconsistent data. The formalism is based on a four-valued semantics suggested by Belnap. As for the classical sequent calculus, any fourvalued connective can be defined in biconsequence relations using suitable introduction and elim...
متن کاملEOLC: Efficiently Modelling Inconsistency for Commonsense Reasoning
This paper presents EOLC, a declarative rule language for commonsense reasoning incorporating non-monotonicity using a fourvalued logic, to explicitly model overspecified information, priorities among rules using an overrides predicate, arithmetic constraints, and optimization through an ordering operator rank. EOLC also supports the recursive definition of rules. We give the declarative semant...
متن کامل