Proceedings of the 9th Joint International Conference on Information Sciences (JCIS-06)

Pavelka-style fuzzy logic for attribute implications

Authors
Radim Belohlavek1, Vilem Vychodil
1Palacky University
Corresponding Author
Radim Belohlavek
Available Online October 2006.
DOI
10.2991/jcis.2006.282How to use a DOI?
Keywords
attribute dependency, fuzzy logic, attribute implication, Armstrong axioms, graded completeness
Abstract

We present Pavelka-style fuzzy logic for reasoning about attribute implications, i.e. formulas $A\Rightarrow B$. Fuzzy attribute implications allow for two different interpretations, namely, in data tables with graded (fuzzy) attributes and in data tables over domains with similarity relations. The axioms of our logic are inspired by well-known Armstrong axioms but the logic allows us to infer partially true formulas from partially true formulas. We prove soundness and completeness of our logic in graded style, i.e. we prove that a degree to which an attribute implication $A\Rightarrow B$ semantically follows from a collection $T$ of partially true attribute implications equals a degree to which $A\Rightarrow B$ is provable from $T$.

Copyright
© 2006, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 9th Joint International Conference on Information Sciences (JCIS-06)
Series
Advances in Intelligent Systems Research
Publication Date
October 2006
ISBN
978-90-78677-01-7
ISSN
1951-6851
DOI
10.2991/jcis.2006.282How to use a DOI?
Copyright
© 2006, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Radim Belohlavek
AU  - Vilem Vychodil
PY  - 2006/10
DA  - 2006/10
TI  - Pavelka-style fuzzy logic for attribute implications
BT  - Proceedings of the 9th Joint International Conference on Information Sciences (JCIS-06)
PB  - Atlantis Press
SN  - 1951-6851
UR  - https://doi.org/10.2991/jcis.2006.282
DO  - 10.2991/jcis.2006.282
ID  - Belohlavek2006/10
ER  -