title: |
Axiomatization of fuzzy attribute logic over complete residuated lattices |
|
publication: |
||
part of series: |
Advances in Intelligent Systems Research | |
ISBN: |
978-90-78677-01-7 | |
ISSN: |
1951-6851 | |
DOI: |
doi:10.2991/jcis.2006.281 (how to use a DOI) | |
author(s): |
Radim Belohlavek, Vilem Vychodil |
|
corresponding author: |
||
publication date: |
October 2006 |
|
keywords: |
completeness, residuated lattice, fuzzy logic, fuzzy attribute, graded completeness, if-then rule |
|
abstract: |
The paper deals with fuzzy attribute logic (FAL) and shows its completeness
over all complete residuated lattices. FAL is a calculus for reasoning with
if-then rules describing particular attribute dependencies in
object-attribute data. Completeness is proved in two versions:
classical-style completeness and graded-style completeness.
|
|
copyright: |
©
Atlantis Press. This article is distributed under the
terms of the Creative Commons Attribution License, which permits
non-commercial use, distribution and reproduction in any medium,
provided the original work is properly cited. |
|
full text: |