Fuzzy Inference Full Implication Method Based on Single Valued Neutrosophic t-Representable t-Norm "2279

As a generalization of intuitionistic fuzzy sets, single-valued neutrosophic sets have certain advantages for solving indeterminate and inconsistent information. In this paper, we study the fuzzy inference full implication method based on a single-valued neutrosophic t-representable t-norm. Firstly, single-valued neutrosophic fuzzy inference triple I principles for fuzzy modus ponens and fuzzy modus tollens are shown. Then, single-valued neutrosophicR-type triple I solutions for fuzzy modus ponens and fuzzy modus tollens are given. Finally, the robustness of the full implication of the triple I method based on a left-continuous single-valued neutrosophic t-representable t-norm is investigated. As a special case in the main results, the sensitivities of full implication triple I solutions, based on three special single-valued neutrosophic t-representable t-norms, are given.


Introduction
It is widely known that fuzzy reasoning plays an important role in fuzzy set theory. Particularly, the most basic forms of fuzzy reasoning are fuzzy modus ponens (FMP for short) and fuzzy modus tollens (FMT for short), which can be shown as follows [1,2]: FMP (A, B, A * ): given fuzzy rule A → B and premise A * , attempt to reason a suitable fuzzy consequent, B * .
FMT (A, B, B * ): given fuzzy rule A → B and premise B * , attempt to reason a suitable fuzzy consequent, A * .
In the above models, A, A * ∈ F(Y) and B, B * ∈ F(Y), where F(X) and F(Y) denote fuzzy subsets of the universes X and Y, respectively.
The most famous method to solve the above models is the compositional rule of inference (CRI for short), which is presented by Zadeh [2,3]. However, the CRI method lacks clear logical semantics and reductivity. In order to overcome these shortcomings, Wang [1] proposed the fuzzy reasoning full implication triple I method, which can bring fuzzy reasoning into the framework of logical semantics [4]. In recent years, many scholars have studied the fuzzy reasoning full implication method. Wang et al. [5] provided unified forms for the fuzzy reasoning full implication method based on normal and regular implications. Pei [6] provided a unified form for the fuzzy reasoning full implication method based on the residual implication induced by left-continuous t-norms. Moreover, Pei [7] established a solid logical foundation for the fuzzy reasoning full implication method based on leftcontinuous t-norms. Liu et al. [8] provided a unified form for the solutions of the fuzzy reasoning full implication method. Luo and Yao [9] studied the fuzzy reasoning triple I method based on Schweizer-Sklar operators.
Although fuzzy set theory has been successfully applied in many fields, there are some defects in dealing with fuzzy and incomplete information. Turksen [10] proposed interval-valued fuzzy sets, which represented a subinterval in [0, 1] membership function. In recent years, some high-quality research results on interval-valued fuzzy reasoning have been achieved. Li et al. [11] extended CRI method on interval-valued fuzzy sets. Additionally, Luo et al. [12][13][14][15] studied the interval-valued fuzzy reasoning full implication triple I method and reverse triple I method based on the interval-valued-associated tnorm. Moreover, Luo et al. [16] studied the fuzzy reasoning triple I method based on the interval-valued t-representable t-norm.
Although the interval-valued fuzzy set has some advantages in dealing with fuzzy and incomplete information, it has defects in dealing with fuzzy, incomplete and inconsistent information. In order to deal with these issues, Smarandache [17] and Wang et al. [18] proposed the single-valued neutrosophic set-the truth-membership, indeterminacymembership and falsity-membership degree are real numbers in the unit interval [0, 1]. In recent years, scholars have paid attention to studying the single-valued neutrosophic set. Smarandache [19] proposed n-norm and n-conorm in neutrosophic logic. Alkhazaleh [20] has provided some norms and conorms based on the neutrosophic set. Zhang et al. [21] provided new inclusion relations for neutrosophic sets. Hu and Zhang [22] constructed the residuated lattices based on the neutrosophic t-norms and neutrosophic residual implications. Zhao et al. [23] studied reverse triple I algorithms based on the single-valued neutrosophic fuzzy inference. So far, there is only a little research on the fuzzy reasoning method based on single-valued neutrosophic sets. Therefore, we studied the fuzzy reasoning triple I method based on a class single-valued neutrosophic triangular norm.
The structure of this paper is as follows: some basic concepts for single-valued neutrosophic sets are reviewed in Section 2. In Section 3, we give fuzzy inference triple I principles based on left-continuous single-valued neutrosophic t-representable t-norms, and the corresponding solutions of single-valued neutrosophic triple I methods. In Section 4, the robustness of the triple I method based on left-continuous single-valued neutrosophic t-representable t-norm is investigated. Finally, the conclusions are given in Section 5.

Preliminaries
In this section, we review some basic concepts for the single-valued neutrosophic set, single-valued neutrosophic t-norm and single-valued neutrosophic residual implication, which will be used in this article.

Definition 1 ([18])
. Let X be a universal set. A single-valued neutrosophic set A on X is characterized by three functions, i.e., a truth-membership function t A (x), an indeterminacy-membership function i A (x), and a falsity-membership function f A (x). A single-valued neutrosophic set A can be defined as follows: The family of all single-valued neutrosophic sets on X is denoted by SV NS(X).
The set of all single-valued neutrosophic numbers denoted by SV NN, i.e., 1, 1 and 1 * = 1, 0, 0 are the smallest element and the greatest element in SV NN, respectively. It is easy to verify that (SV NN, ≤) is a complete lattice [18].
is a single-valued neutrosophic t-norm, which is called a singlevalued neutrosophic t-representable t-norm, where T is a t-norm and S is its dual t-conorm on [0, 1]. T is called a left-continuous single-valued neutrosophic t-representable t-norm if T is left-continuous and S is right-continuous.
which is the single-valued neutrosophic residual implication induced by left-continuous single-valued neutrosophic t-representable t-norm, where R T is the residual implication induced by the left-continuous t-norm T; R S is the coresidual implication induced by the right-continuous t-conorm S.

Example 1 ([23]
). The following are three important single-valued neutrosophic t-representable t-norms and their residual implications.
(1) The single-valued neutrosophic Łukasiewicz t-norm and its residual implication: (2) The single-valued neutrosophic Gougen t-norm and its residual implication: . odel t-norm and its residual implication:  (x), B(y)), R(A * (x), C(y))) = P(x, y), x ∈ X, y ∈ Y}. If there exist the smallest element of the set B(A, B, A * ) (denoted by B * ), then B * is called the single-valued neutrosophic fuzzy inference triple I solution for FMP.

Definition 6 ([4]). A method for FMP is called recoverable if
Then, d is a metric on SV NS(X), which is called a distance on SV NS(X).

Conclusions
In this paper, we extend the fuzzy inference triple I method on single-valued neutrosophic sets. The single-valued neutrosophic fuzzy inference triple I Principle for FMP and FMT are proposed. Moreover, the single-valued neutrosophic fuzzy inference triple I solutions for FMP and FMT are given, respectively. The reductivity and the robustness of the single-valued neutrosophic fuzzy inference triple I methods are studied.
The logical basis of a fuzzy inference method is very important. In future, we will consider building the strict logical foundation for the triple I method based on left-continuous single-valued neutrosophic t-representable t-norms, and bring the single-valued neutrosophic fuzzy inference method within the framework of logical semantics.