Arc consistency and generalized arc consistency are two of the most important local consistency techniques for binary and non-binary classic constraint satisfaction problems (CSPs). Based on the Semiring CSP and Valued CSP frameworks, arc consistency has also been extended to handle soft constraint satisfaction problems such as fuzzy CSP, probabilistic CSP, max CSP, and weighted CSP. This exten...

In some multi-attribute decision making (MADM) problems, various relationships among the decision attributes should be considered. This paper investigates the prioritization relationship of attributes in MADM with trapezoidal intuitionistic fuzzy numbers (TrIFNs). TrIFNs are a special intuitionistic fuzzy set on a real number set and have the better capability to model ill-known quantities. Fir...

Dechter et al. [5] proposed solving the Temporal Constraint Satisfaction Problem (TCSP) by modeling it as a metaCSP, which is a finite CSP with a unique global constraint. The size of this global constraint is exponential in the number of time points in the original TCSP, and generalized-arc consistency is equivalent to finding the minimal network of the TCSP, which is NP-hard. We introduce AC,...

In this paper, the solution to Fuzzy sequential Fractional Initial Value Problem [FFIVP] under Caputo type fuzzy fractional derivatives by a modified fractional Euler method is presented. The Caputo-type fuzzy fractional derivatives are defined based on Hukuhara difference and strongly generalized fuzzy differentiability. The modified fractional Euler method based on a generalized Taylors formu...

A b s t r a c t . Numerous authors have proposed functions to quantify the degree of similarity between two fuzzy numbers using various descriptive parameters, such as the geometric distance, the distance between the centers of gravity or the perimeter. However, these similarity functions have drawbacks for specific situations. We propose a new similarity measure for generalized trapezoidal fuz...

a disk wang-bézier type generalized ball curve is a wang-bézier type generalized ball curve whose control points are disks in a plane. it can be viewed as a parametric curve with error tolerances. in this paper, we discuss the problem of degree reduction of disk wang-bézier type generalized ball curve, that is, bounding disk wang-bézier type generalized ball curves with lower degree disk wang-b...

This paper revisits the tree constraint introduced in [2] which partitions the nodes of a n-nodes, m-arcs directed graph into a set of node-disjoint anti-arborescences for which only certain nodes can be tree roots. We introduce a new filtering algorithm that enforces generalized arc-consistency in O(n + m) time while the original filtering algorithm reaches O(nm) time. This result allows to ta...

Simple Tabular Reduction algorithms (STR) work well to establish Generalized Arc Consistency (GAC) on positive table constraints. However, the existing STR algorithms are useless for negative table constraints. In this work, we propose a novel STR algorithm and its improvement, which work on negative table constraints. Our preliminary experiments are performed on some random instances and a cer...

Abstract Numerous research papers and several engineering applications have proved that the fuzzy set theory is an intelligent effective tool to represent complex uncertain information. In multi-criteria decision-making (fuzzy MCDM) methods, information system control-theoretic models, qualitative are extracted from expert’s knowledge as linguistic variables modeled by linear/non-linear numbers...