Similarity-based unification: A multi-adjoint approach
From MaRDI portal
Publication:1876499
DOI10.1016/j.fss.2003.11.005zbMath1073.68026OpenAlexW2102885020MaRDI QIDQ1876499
Jesús Medina, Manuel Ojeda Aciego, Peter Vojtáš
Publication date: 20 August 2004
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2003.11.005
Related Items (53)
Similarity-Based Equality with Lazy Evaluation ⋮ On the use of thresholds in multi-adjoint concept lattices ⋮ Beyond multi-adjoint logic programming ⋮ Meta-logic programming for a synonymy logic ⋮ On fuzzy unfolding: A multi-adjoint approach ⋮ Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ Measures of inclusion and entropy based on the \(\varphi\)-index of inclusion ⋮ Seeking a safe and efficient similarity-based unfolding rule ⋮ Fuzzy logic programs as hypergraphs. Termination results ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ Algebraic structure and characterization of adjoint triples ⋮ A logical characterization of multi-adjoint algebras ⋮ Heterogeneous formal context and its decomposition by heterogeneous fuzzy subsets ⋮ Immediate consequences operator on generalized quantifiers ⋮ Tabulation proof procedures for fuzzy linguistic logic programming ⋮ Multi-adjoint algebras versus non-commutative residuated structures ⋮ On stability of fuzzy formal concepts over randomized one-sided formal context ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ The fuzzy logic programming language FASILL: design and implementation ⋮ Multi-adjoint property-oriented and object-oriented concept lattices ⋮ Functional degrees of inclusion and similarity between \(L\)-fuzzy sets ⋮ Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ Fuzzy data exchange ⋮ Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges ⋮ A Transformation-based implementation for CLP with qualification and proximity ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding ⋮ Proximity-based unification theory ⋮ Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. ⋮ Multi-adjoint t-concept lattices ⋮ Rough sets based on Galois connections ⋮ Unnamed Item ⋮ A sound and complete semantics for a similarity-based logic programming language ⋮ On reductants in the framework of multi-adjoint logic programming ⋮ Implication operators generating pairs of weak negations and their algebraic structure ⋮ Multi-adjoint lattices from adjoint triples with involutive negation ⋮ Extending fuzzy logics with many hedges ⋮ Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs ⋮ On Fuzzy Generalizations of Concept Lattices ⋮ Symbolic Unfolding of Multi-adjoint Logic Programs ⋮ Modeling Interpretive Steps in Fuzzy Logic Computations ⋮ On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs ⋮ Fuzzy linguistic logic programming and its applications ⋮ Adjoint Triples and Residuated Aggregators ⋮ A Fuzzy Extension of Data Exchange ⋮ Formal concept analysis via multi-adjoint concept lattices ⋮ An improved reductant calculus using fuzzy partial evaluation techniques ⋮ A hybrid programming scheme combining fuzzy-logic and functional-logic resources ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices ⋮ Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification ⋮ Randomized Fuzzy Formal Contexts and Relevance of One-Sided Concepts ⋮ Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding ⋮ On heterogeneous formal contexts
Uses Software
Cites Work
- A formula for incorporating weights into scoring rules
- Approximate reasoning by similarity-based SLD resolution.
- Should fuzzy equality and similarity satisfy transitivity? Comments on the paper by M. De Cock and E. Kerre
- Computational methods in neural modeling. 7th international work-conference on artificial and natural neural networks, IWANN 2003, Maó, Menorca, Spain, June 3--6, 2003. Proceedings, Part I.
- On Fuzzy Logic I Many‐valued rules of inference
- Residuated Lattices
- Fuzzy logic programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Similarity-based unification: A multi-adjoint approach
