Fuzzy sets and fuzzy logic: theory and applications
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy logic: mathematical tools for approximate reasoning
Fuzzy logic: mathematical tools for approximate reasoning
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Fuzzy Relational Systems: Foundations and Principles
Fuzzy Relational Systems: Foundations and Principles
Theory of Relational Databases
Theory of Relational Databases
Codd's Relational Model of Data and Fuzzy Logic: Comparisons, Observations, and Some New Results
CIMCA '06 Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Attribute implications in a fuzzy setting
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Derivation digraphs for dependencies in ordinal and similarity-based data
Information Sciences: an International Journal
Hi-index | 0.00 |
The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form $A\Rightarrow B$ where Aand Bare fuzzy sets of attributes. A formula $A\Rightarrow B$ represents a dependency which is true in a data table with fuzzy attributes iff each object having all attributes from Ahas also all attributes from B, membership degrees in Aand Bplaying a role of thresholds. We study axiomatic systems of fuzzy attribute logic which result by adding a single deduction rule, called a rule of multiplication, to an ordinary system of deduction rules complete w.r.t. bivalent semantics, i.e. to well-known Armstrong axioms. In this paper, we concentrate on the rule of multiplication and its role in fuzzy attribute logic. We show some advantageous properties of the rule of multiplication. In addition, we show that these properties enable us to reduce selected problems concerning proofs in fuzzy attribute logic to the corresponding problems in the ordinary case. As an example, we discuss the problem of normalization of proofs and present, in the setting of fuzzy attribute logic, a counterpart to a well-known theorem from database theory saying that each proof can be transformed to a so-called RAP-sequence.