|
|
 |
| |
|
|
|
A Resolution Method for Linguistic Many-valued Logic |
|
|
|
PP: 1193-1200 |
|
|
|
Author(s) |
|
|
|
Le Anh Phuong,
Tran Dinh Khang,
|
|
|
|
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. |
|
|
|
|
|
|
|
