Automated prover for attribute dependencies in data with grades

DOI10.1016/j.ijar.2015.12.007zbMath1351.68088OpenAlexW2202489923MaRDI QIDQ5963137

Ángel Mora, Manuel Enciso, Pablo Cordero, Radim Bělohlávek, 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

fuzzy logicsimilarityfunctional dependencyattribute implicationordinal dataordinary and graded completeness

Mathematics Subject Classification ID

Related Items (9)

Formal Methods in FCA and Big Data ⋮ Closure structures parameterized by systems of isotone Galois connections ⋮ Formal concept analysis approach to understand digital evidence relationships ⋮ Bireducts with tolerance relations ⋮ Rough-set-driven approach for attribute reduction in fuzzy formal concept analysis ⋮ Fuzzy functional dependencies: a comparative survey ⋮ Generating Fuzzy Attribute Rules Via Fuzzy Formal Concept Analysis ⋮ Knowledge implications in multi-adjoint concept lattices ⋮ A computational procedure for variable selection preserving different initial conditions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Globalization of intuitionistic set theory
• Metamathematics of fuzzy logic
• On very true
• Triangular norms
• A logical approach to fuzzy truth hedges
• Codd's Relational Model from the Point of View of Fuzzy Logic
• BASIC ALGORITHM FOR ATTRIBUTE IMPLICATIONS AND FUNCTIONAL DEPENDENCIES IN GRADED SETTING
• On Fuzzy Logic I Many‐valued rules of inference
• Fuzzy logics with truth hedges revisited
• Formal Concept Analysis
• Fuzzy logic. Mathematical tools for approximate reasoning

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