Similarity-Based Constraint Solving Modulo Commutativity: A Unified Framework

This paper introduces a similarity-based constraint-solving algorithm modulo commutativity, extending classical methods to accommodate fuzzy relations and approximate reasoning. We present a framework capable of solving equations even with function symbol mismatches. We prove the soundness, completeness, and termination of the proposed algorithm. The algorithm is implemented via a web-based interface, improving accessibility and usability.

• Publication year

  2025

• Venue

  IEEE International Conference on Fuzzy Systems

• Publication date

  2025-07-06

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/FUZZ62266.2025.11152220
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Certified First-Order AC-Unification and Applications

  2024cited by this paper
• Proximity-Based Unification and Matching for Fully Fuzzy Signatures

  2021cited by this paper
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach

  2020cited by this paper
• The Fuzzy Logic Programming language FASILL: Design and implementation

  2020cited by this paper
• Constraint Solving over Multiple Similarity Relations

  2020cited by this paper
• Solving Proximity Constraints

  2019cited by this paper
• Proximity-based unification theory

  2015cited by this paper
• Constraint Logic Programming for Hedges: A Semantic Reconstruction

  2014cited by this paper
• The OCaml system release 4.07: Documentation and user's manual

  2013cited by this paper
• Approximate reasoning by similarity-based SLD resolution

  2002cited by this paper
• Term rewriting and all that

  1998cited by this paper
• Constraint Logic Programming: A Survey

  1994cited by this paper
• Unification in Commutative Theories

  1989cited by this paper
• Unification theory

  1986cited by this paper
• A Unification Algorithm for Associative-Commutative Functions

  1981cited by this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Clp(h): Constraint Logic Programming for Hedges

  year unknowncited by this paper

• No citing papers are available for this paper.