An Axiomatizable Logical Foundation for Lattice-Ordered Qualitative Linguistic Approach for Reasoning with Words

Jun Liu, W.J. Li, S.W. Chen, Y. Xu

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

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 establish the formalized approach imitating the common way of human being’s to manipulate directly linguistic terms without numerical approximation to provide the rational decision is still an open research area. Investigations on the algebraic structure of linguistic term set for varied decision making applications (especially in social science) still lack a formalism for development of strict linguistic valued logic system as a theoretical foundation and its approximate reasoning scheme in practice. To attain this goal we characterize and construct a typical structure of commonly used linguistic term sets in natural language by a lattice-ordered algebra structure - lattice implication algebra (LIA), where Łukasiewicz implication algebra, as a special case of LIA, plays a substantial role. By using Łukasiewicz logic’s axiomatizability in terms of Pavelka type fuzzy logic, we propose a new axiomatizable lattice ordered qualitative linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic truth-valued logic based approximate reasoning and decision making with applications. This proposed logic system has a distinct feature of handling comparable or incomparable linguistic terms directly without numerical quantification, will be especially beneficial for perception-based decision making processes. It attempts to enhance the quantitative theory of decision science with qualitative, algebraic and logic-oriented approaches to achieve reasoning with words.
LanguageEnglish
Pages110-125
JournalInformation Sciences
Volume263
DOIs
Publication statusPublished - 2014

Fingerprint

Linguistics
Algebra
Decision making
Social sciences
Fuzzy logic

Cite this

@article{537e5d25c9fc45fa8e0696ae672419bb,
title = "An Axiomatizable Logical Foundation for Lattice-Ordered Qualitative Linguistic Approach for Reasoning with Words",
abstract = "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 establish the formalized approach imitating the common way of human being’s to manipulate directly linguistic terms without numerical approximation to provide the rational decision is still an open research area. Investigations on the algebraic structure of linguistic term set for varied decision making applications (especially in social science) still lack a formalism for development of strict linguistic valued logic system as a theoretical foundation and its approximate reasoning scheme in practice. To attain this goal we characterize and construct a typical structure of commonly used linguistic term sets in natural language by a lattice-ordered algebra structure - lattice implication algebra (LIA), where Łukasiewicz implication algebra, as a special case of LIA, plays a substantial role. By using Łukasiewicz logic’s axiomatizability in terms of Pavelka type fuzzy logic, we propose a new axiomatizable lattice ordered qualitative linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic truth-valued logic based approximate reasoning and decision making with applications. This proposed logic system has a distinct feature of handling comparable or incomparable linguistic terms directly without numerical quantification, will be especially beneficial for perception-based decision making processes. It attempts to enhance the quantitative theory of decision science with qualitative, algebraic and logic-oriented approaches to achieve reasoning with words.",
author = "Jun Liu and W.J. Li and S.W. Chen and Y. Xu",
year = "2014",
doi = "10.1016/j.ins.2013.09.010",
language = "English",
volume = "263",
pages = "110--125",

}

An Axiomatizable Logical Foundation for Lattice-Ordered Qualitative Linguistic Approach for Reasoning with Words. / Liu, Jun; Li, W.J.; Chen, S.W.; Xu, Y.

Vol. 263, 2014, p. 110-125.

Research output: Contribution to journalArticle

TY - JOUR

T1 - An Axiomatizable Logical Foundation for Lattice-Ordered Qualitative Linguistic Approach for Reasoning with Words

AU - Liu, Jun

AU - Li, W.J.

AU - Chen, S.W.

AU - Xu, Y.

PY - 2014

Y1 - 2014

N2 - 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 establish the formalized approach imitating the common way of human being’s to manipulate directly linguistic terms without numerical approximation to provide the rational decision is still an open research area. Investigations on the algebraic structure of linguistic term set for varied decision making applications (especially in social science) still lack a formalism for development of strict linguistic valued logic system as a theoretical foundation and its approximate reasoning scheme in practice. To attain this goal we characterize and construct a typical structure of commonly used linguistic term sets in natural language by a lattice-ordered algebra structure - lattice implication algebra (LIA), where Łukasiewicz implication algebra, as a special case of LIA, plays a substantial role. By using Łukasiewicz logic’s axiomatizability in terms of Pavelka type fuzzy logic, we propose a new axiomatizable lattice ordered qualitative linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic truth-valued logic based approximate reasoning and decision making with applications. This proposed logic system has a distinct feature of handling comparable or incomparable linguistic terms directly without numerical quantification, will be especially beneficial for perception-based decision making processes. It attempts to enhance the quantitative theory of decision science with qualitative, algebraic and logic-oriented approaches to achieve reasoning with words.

AB - 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 establish the formalized approach imitating the common way of human being’s to manipulate directly linguistic terms without numerical approximation to provide the rational decision is still an open research area. Investigations on the algebraic structure of linguistic term set for varied decision making applications (especially in social science) still lack a formalism for development of strict linguistic valued logic system as a theoretical foundation and its approximate reasoning scheme in practice. To attain this goal we characterize and construct a typical structure of commonly used linguistic term sets in natural language by a lattice-ordered algebra structure - lattice implication algebra (LIA), where Łukasiewicz implication algebra, as a special case of LIA, plays a substantial role. By using Łukasiewicz logic’s axiomatizability in terms of Pavelka type fuzzy logic, we propose a new axiomatizable lattice ordered qualitative linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic truth-valued logic based approximate reasoning and decision making with applications. This proposed logic system has a distinct feature of handling comparable or incomparable linguistic terms directly without numerical quantification, will be especially beneficial for perception-based decision making processes. It attempts to enhance the quantitative theory of decision science with qualitative, algebraic and logic-oriented approaches to achieve reasoning with words.

U2 - 10.1016/j.ins.2013.09.010

DO - 10.1016/j.ins.2013.09.010

M3 - Article

VL - 263

SP - 110

EP - 125

ER -