A Declarative Semantics for CLP with Qualification and Proximity

Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this paper we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an implementation-independent notion of goal solutions.Comment: 17 pages, 26th Int'l. Conference on Logic Programming (ICLP'10

Interval linear systems as a necessary step in fuzzy linear systems

International audienceThis article clarifies what it means to solve a system of fuzzy linear equations, relying on the fact that they are a direct extension of interval linear systems of equations, already studied in a specific interval mathematics literature. We highlight four distinct definitions of a systems of linear equations where coefficients are replaced by intervals, each of which based on a generalization of scalar equality to intervals. Each of the four extensions of interval linear systems has a corresponding solution set whose calculation can be carried out by a general unified method based on a relatively new concept of constraint intervals. We also consider the smallest multidimensional intervals containing the solution sets. We propose several extensions of the interval setting to systems of linear equations where coefficients are fuzzy intervals. This unified setting clarifies many of the anomalous or inconsistent published results in various fuzzy interval linear systems studies

A kernel-based framework for learning graded relations from data

Driven by a large number of potential applications in areas like bioinformatics, information retrieval and social network analysis, the problem setting of inferring relations between pairs of data objects has recently been investigated quite intensively in the machine learning community. To this end, current approaches typically consider datasets containing crisp relations, so that standard classification methods can be adopted. However, relations between objects like similarities and preferences are often expressed in a graded manner in real-world applications. A general kernel-based framework for learning relations from data is introduced here. It extends existing approaches because both crisp and graded relations are considered, and it unifies existing approaches because different types of graded relations can be modeled, including symmetric and reciprocal relations. This framework establishes important links between recent developments in fuzzy set theory and machine learning. Its usefulness is demonstrated through various experiments on synthetic and real-world data.Comment: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessibl