An axiomatizable lattice-ordered linguistic truth-valued logic

Research output: Contribution to report/book/conference proceedingsIn-proceedings paper

Authors

Documents & links

Abstract

Investigations on an algebraic structure of linguistic truth values in decision making and social science applications still lack a formalism for development of strict linguistic truth-valued logic system and its approximate reasoning scheme in practice. To attain this goal we characterize and construct the structure of linguistic value sets in natural language by a lattice-valued 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 linguistic truth-valued logic system based on LIA to place an important foundation for further establishing formal linguistic valued logic based approximate reasoning systems. This proposed logic system has a distinct advantage of handling incomparable linguistic terms in perception-based decision making processes.

Details

Original languageEnglish
Title of host publicationComputational Intelligence -- Foundations and Applications
Place of PublicationSingapore, Singapore
Pages72-78
Volume1
Publication statusPublished - Aug 2010
EventThe 9th International FLINS Conference - FLINS2010, Chengdu, China
Duration: 2 Aug 20104 Aug 2010

Publication series

NameComputer Engineering and Information Science
Number4

Conference

ConferenceThe 9th International FLINS Conference
CountryChina
CityChengdu
Period2010-08-022010-08-04

Keywords

  • linguistic truth values, decision making, lattice implication algebra

ID: 63126