Automated prover for attribute dependencies in data with grades

DOI10.1016/J.IJAR.2015.12.007MaRDI QIDQ5963137zbMATH OpenOpenAlexFDO

Authors Radim Belohlavek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilem Vychodil

Publication date 4 March 2016

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2015.12.007

zbMATH Keywords

attribute implicationfunctional dependencyfuzzy logicordinal dataordinary and graded completenesssimilarity

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in computer science (03B70) Database theory (68P15)

Recommendations

• A logic of graded attributes
• Attribute dependencies for data with grades I^,
• Derivation digraphs for dependencies in ordinal and similarity-based data
• Closure via functional dependence simplification
• scientific article; zbMATH DE number 3974346

Cites work

• A logical approach to fuzzy truth hedges
• BASIC ALGORITHM FOR ATTRIBUTE IMPLICATIONS AND FUNCTIONAL DEPENDENCIES IN GRADED SETTING
• Codd's relational model from the point of view of fuzzy logic
• Formal Concept Analysis
• Fuzzy logic. Mathematical tools for approximate reasoning
• Fuzzy logics with truth hedges revisited
• Globalization of intuitionistic set theory
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 1953894 (Why is no real title available?)
• scientific article; zbMATH DE number 2140439 (Why is no real title available?)
• scientific article; zbMATH DE number 2199279 (Why is no real title available?)
• Metamathematics of fuzzy logic
• On Fuzzy Logic I Many‐valued rules of inference
• On very true
• Residuated lattices. An algebraic glimpse at substructural logics
• Triangular norms

Cited in

(15)

• Closure structures parameterized by systems of isotone Galois connections
• Knowledge implications in multi-adjoint concept lattices
• Bireducts with tolerance relations
• Rough-set-driven approach for attribute reduction in fuzzy formal concept analysis
• Attribute dependencies for data with grades I^,
• A computational procedure for variable selection preserving different initial conditions
• Formal Methods in FCA and Big Data
• Generating Fuzzy Attribute Rules Via Fuzzy Formal Concept Analysis
• Formal concept analysis approach to understand digital evidence relationships
• Bimorphisms and attribute implications in heterogeneous formal contexts
• Theories, models and bases of attribute implications in multi-adjoint concept lattices with hedges
• Attribute implications with unknown information based on weak Heyting algebras
• An exploration of weak Heyting algebras: characterization and properties
• Fuzzy functional dependencies: a comparative survey
• A logic of graded attributes

This page was built for publication: Automated prover for attribute dependencies in data with grades

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5963137)