Decision making is the crucial step in many real applications such as organization
management, financial planning, products evaluation and recommendation. Rational …

In real decision making problems, it is always more natural for decision makers to use
linguistic terms to express their preferences/opinions in a qualitative way among alternatives …

Successful decision-making analysis needs to take both advantages of human analysts and
computers, and human knowledge is usually expressed in a qualitative way. Computer …

Key issues for resolution-based automated reasoning in lattice-valued first-order logic LF (X)
are investigated with truth-values in a lattice-valued logical algebraic structure–lattice …

This paper focuses on resolution-based automated reasoning theory in a lattice-valued logic
system with truth values that are defined in a lattice-valued logical algebraic structure-lattice …

In the semantics of natural language, quantification may have received more attention than
any other subject, and syllogistic reasoning is one of the main topics in many-valued logic …

It is commonsense that people do express, think, reason, and make decision directly using
linguistic terms in natural language rather than using numerical quantification. How to …

This paper is focused on resolution-based automated reasoning theory in linguistic truth-
valued lattice-valued logic based on linguistic truth-valued lattice implication algebra …

We focus on an extended resolution principle for resolution-based automated reasoning
theory in lattice-valued logic system. In the present paper, the α–generalized resolution …

As a continuation of our research work on resolution-based automated reasoning
approaches for lattice-valued logic systems with truth-values in a lattice-valued logical …