An axiomatizable lattice-ordered linguistic truth-valued logic

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

Standard

An axiomatizable lattice-ordered linguistic truth-valued logic. / Liu, Jun; Xu, Yang; Ruan, Da; Wagemans, Jan (Peer reviewer).

Computational Intelligence -- Foundations and Applications. Vol. 1 Singapore, Singapore, 2010. p. 72-78 (Computer Engineering and Information Science; No. 4).

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

Harvard

Liu, J, Xu, Y, Ruan, D & Wagemans, J 2010, An axiomatizable lattice-ordered linguistic truth-valued logic. in Computational Intelligence -- Foundations and Applications. vol. 1, Computer Engineering and Information Science, no. 4, Singapore, Singapore, pp. 72-78, The 9th International FLINS Conference, Chengdu, China, 2010-08-02.

APA

Liu, J., Xu, Y., Ruan, D., & Wagemans, J. (2010). An axiomatizable lattice-ordered linguistic truth-valued logic. In Computational Intelligence -- Foundations and Applications (Vol. 1, pp. 72-78). (Computer Engineering and Information Science; No. 4). Singapore, Singapore.

Vancouver

Liu J, Xu Y, Ruan D, Wagemans J. An axiomatizable lattice-ordered linguistic truth-valued logic. In Computational Intelligence -- Foundations and Applications. Vol. 1. Singapore, Singapore. 2010. p. 72-78. (Computer Engineering and Information Science; 4).

Author

Liu, Jun ; Xu, Yang ; Ruan, Da ; Wagemans, Jan. / An axiomatizable lattice-ordered linguistic truth-valued logic. Computational Intelligence -- Foundations and Applications. Vol. 1 Singapore, Singapore, 2010. pp. 72-78 (Computer Engineering and Information Science; 4).

Bibtex - Download

@inproceedings{cfc29c4b4d7141008e6f8645dddcb51f,
title = "An axiomatizable lattice-ordered linguistic truth-valued logic",
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.",
keywords = "linguistic truth values, decision making, lattice implication algebra",
author = "Jun Liu and Yang Xu and Da Ruan and Jan Wagemans",
note = "Score = 3",
year = "2010",
month = "8",
language = "English",
isbn = "978-981-4324-69-4",
volume = "1",
series = "Computer Engineering and Information Science",
number = "4",
pages = "72--78",
booktitle = "Computational Intelligence -- Foundations and Applications",

}

RIS - Download

TY - GEN

T1 - An axiomatizable lattice-ordered linguistic truth-valued logic

AU - Liu, Jun

AU - Xu, Yang

AU - Ruan, Da

A2 - Wagemans, Jan

N1 - Score = 3

PY - 2010/8

Y1 - 2010/8

N2 - 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.

AB - 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.

KW - linguistic truth values

KW - decision making

KW - lattice implication algebra

UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_109450

UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_109450_2

UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_109450_3

UR - http://knowledgecentre.sckcen.be/so2/bibref/7413

M3 - In-proceedings paper

SN - 978-981-4324-69-4

VL - 1

T3 - Computer Engineering and Information Science

SP - 72

EP - 78

BT - Computational Intelligence -- Foundations and Applications

CY - Singapore, Singapore

ER -

ID: 63126