Fuzzy logic programming reduced to reasoning with attribute implications

DOI10.1016/j.fss.2014.04.013zbMath1360.68311OpenAlexW1971922025MaRDI QIDQ529051

Tomas Kuhr, Vilem Vychodil

Publication date: 18 May 2017

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2014.04.013

zbMATH Keywords

logic programmingfunctional dependenciesresiduated latticesattribute implicationsleast model propertyordinal scales

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (9)

Fuzzy closure systems: motivation, definition and properties ⋮ Closure structures parameterized by systems of isotone Galois connections ⋮ Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts ⋮ Fuzzy logic programs as hypergraphs. Termination results ⋮ Fuzzy closure relations ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ On reductants in the framework of multi-adjoint logic programming ⋮ Generating Fuzzy Attribute Rules Via Fuzzy Formal Concept Analysis ⋮ Knowledge implications in multi-adjoint concept lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Discovery of optimal factors in binary data via a novel method of matrix decomposition
• Fuzzy Horn logic. II. Implicationally defined classes.
• Residuated lattices. An algebraic glimpse at substructural logics
• Globalization of intuitionistic set theory
• Constructive versions of Tarski's fixed point theorems
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On very true
• Triangular norms
• A logical approach to fuzzy truth hedges
• The logic of inexact concepts
• Fuzzy Horn logic. I. Proof theory.
• A lattice-theoretical fixpoint theorem and its applications
• Similarity issues of confluence of fuzzy relations
• Formal concept analysis and linguistic hedges
• Fuzzy attribute logic over complete residuated lattices
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Logics in Artificial Intelligence
• Fuzzy Closure Operators with Truth Stressers
• AI 2005: Advances in Artificial Intelligence
• Formal Concept Analysis
• Fuzzy logic. Mathematical tools for approximate reasoning
• Fuzzy logic programming

This page was built for publication: Fuzzy logic programming reduced to reasoning with attribute implications