A Resolution Method for Linguistic Many-valued Logic

Authors

Le Anh Phuong, Department of Computer Science, Hue University of Education, Hue City, Vietnam
Tran Dinh Khang

Author Country (or Countries)

Vietnam

Abstract

This paper studies the linguistic truth value domain (AX) based on finite monotonous hedge algebra and then we extend lukasiewicz algebra on [0; 1] to linguistic lukasiewicz algebra on linguistic truth value domain (AX), in an attempt to propose a general resolution for linguistic many-valued logic based on hedge moving rules and linguistic lukasiewicz algebra for linguistic reasoning. Its theorems of soundness and completeness associated with general resolution are also proved. This reflects the symbolic approach acts by direct reasoning on linguistic truth value domain.

Suggested Reviewers

N/A

Recommended Citation

Anh Phuong, Le and Dinh Khang, Tran (2013) "A Resolution Method for Linguistic Many-valued Logic," Applied Mathematics & Information Sciences: Vol. 07: Iss. 3, Article 43.
Available at: https://digitalcommons.aaru.edu.jo/amis/vol07/iss3/43