Abstract:Classical logic is not adequate to face the essential vagueness of human reasoning, which is approximate rather than precise in nature. The logical treatment of the concepts of vagueness and approximation is of increasing importance in artificial intelligence and related research. Consequently, many logicians have proposed different systems of many-valued logic as a formalization of approximate reasoning (see, for example, Goguen [G], Gerla and Tortora [GT], Novak [No], Pavelka [P], and Takeuti and Titani [TT]). As far as we know, all the proposals are obtained by extending the range of truth values of propositions. In these logical systems reasoning is still exact and to make a conclusion the antecedent clause of its rule must match its premise exactly. In addition. Wang [W] pointed out: “If we compare calculation with proving,... Procedures of calculation... can be made so by fairly well-developed methods of approximation; whereas... we do not have a clear conception of approximate methods in theorem proving.... The concept of approximate proofs, though undeniably of another kind than approximations in numerical calculations, is not incapable of more exact formulation in terms of, say, sketches of and gradual improvements toward a correct proof” (see pp, 224–225). As far as the author is aware, however, no attempts have been made to give a conception of approximate methods in theorem proving. The purpose of this paper is. unlike all the previous proposals, to develop a propositional calculus, a predicate calculus in which the truth values of propositions are still true or false exactly and in which the reasoning may be approximate and allow the antecedent clause of a rule to match its premise only approximately. In a forthcoming paper we shall establish set theory, based on the logic introduced here, in which there are ∣ L ∣ binary predicates ∈ λ , λ ∈ L such that R (∈, ∈ λ ) = λ where ∈ stands for ∈ 1 and 1 is the greatest element in L , and x ∈ λ y is interpreted as that x belongs to y in the degree of λ , and relate it to intuitionistic fuzzy set theory of Takeuti and Titani [TT] and intuitionistic modal set theory of Lano [ L ]. In another forthcoming paper we shall introduce the resolution principle under approximate match and illustrate its applications in production systems of artificial intelligence.

A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA

Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic Based on Lia

Weak Completeness of Resolution in A Linguistic Truth-Valued Propositional Logic

A Resolution Method for Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic

Alpha-Generalized Lock Resolution Method In Linguistic Truth-Valued Lattice-Valued Logic

α-Lock resolution method for a lattice-valued first-order logic

Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework

Linguistic Modelling Based on Semantic Similarity Relation among Linguistic Labels

Resolution in Linguistic First Order Logic based on Linear Symmetrical Hedge Algebra

A Multi-linguistic-Valued Modal Logic.

Continuous-Valued Logic Algebra Studies on the Basic of Mathematical Dialectical Propositional Logic

A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic.

A Class of Strict-t-morms-based Propositional Logic

On the Propositional SLDNF-Resolution

Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

Flexibility of the Interval-valued Logics

A Propositional Calculus Formal Deductive System $\mathcal{L}^{U}$ of Universal Logic and Its Completeness

An approach for solving fuzzy multi-criteria decision problem under linguistic information

Ultraproduct of First-Order Lattice-Valued Logic Lf(X) Based on Finite Lattice Implication Algebra

Another Useful Four-Valued Logic.

A logic for approximate reasoning