3,971 research outputs found
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
The Encyclopedia of Neutrosophic Researchers - vol. 1
This is the first volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation. The authors are listed alphabetically. The introduction contains a short history of neutrosophics, together with links to the main papers and books. Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic and practical achievements
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
- …