On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications

In this paper we analyse the benefits of incorporating interval-valued fuzzy sets into the Bousi-Prolog system. A syntax, declarative semantics and im- plementation for this extension is presented and formalised. We show, by using potential applications, that fuzzy logic programming frameworks enhanced with them can correctly work together with lexical resources and ontologies in order to improve their capabilities for knowledge representation and reasoning

Arguments Whose Strength Depends on Continuous Variation

Both the traditional Aristotelian and modern symbolic approaches to logic have seen logic in terms of discrete symbol processing. Yet there are several kinds of argument whose validity depends on some topological notion of continuous variation, which is not well captured by discrete symbols. Examples include extrapolation and slippery slope arguments, sorites, fuzzy logic, and those involving closeness of possible worlds. It is argued that the natural first attempts to analyze these notions and explain their relation to reasoning fail, so that ignorance of their nature is profound

Typicality, graded membership, and vagueness

This paper addresses theoretical problems arising from the vagueness of language terms, and intuitions of the vagueness of the concepts to which they refer. It is argued that the central intuitions of prototype theory are sufficient to account for both typicality phenomena and psychological intuitions about degrees of membership in vaguely defined classes. The first section explains the importance of the relation between degrees of membership and typicality (or goodness of example) in conceptual categorization. The second and third section address arguments advanced by Osherson and Smith (1997), and Kamp and Partee (1995), that the two notions of degree of membership and typicality must relate to fundamentally different aspects of conceptual representations. A version of prototype theory—the Threshold Model—is proposed to counter these arguments and three possible solutions to the problems of logical selfcontradiction and tautology for vague categorizations are outlined. In the final section graded membership is related to the social construction of conceptual boundaries maintained through language use

Case Based Reasoning for Chemical Engineering Design

With current industrial environment (competition, lower profit margin, reduced time to market, decreased product life cycle, environmental constraints, sustainable development, reactivity, innovation…), we must decrease the time for design of new products or processes. While the design activity is marked out by several steps, this article proposed a decision support tool for the preliminary design step. This tool is based on the Case Based Reasoning (CBR) method. This method has demonstrated its effectiveness in other domains (medical, architecture…) and more recently in chemical engineering. This method, coming from Artificial Intelligence, is based on the reusing of earlier experiences to solve new problems. The goal of this article is to show the utility of such method for unit operation (for example) pre-design but also to propose several evolutions for CBR through a domain as complex as the chemical engineering is (because of its interactions, non linearity, intensification problems…). During the pre-design step, some parameters like operating conditions are not precisely known but we have an interval of possible values, worse we only have a partial description of the problem.. To take into account this imprecision in the problem description, the CBR method is coupled with the fuzzy sets theory. After a mere presentation of the CBR method, a practical implementation is described with the choice and the pre-design of packing for separation columns

Measuring Relations Between Concepts In Conceptual Spaces

The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a high-dimensional space and concepts are represented by regions in this space. Our recent mathematical formalization of this framework is capable of representing correlations between different domains in a geometric way. In this paper, we extend our formalization by providing quantitative mathematical definitions for the notions of concept size, subsethood, implication, similarity, and betweenness. This considerably increases the representational power of our formalization by introducing measurable ways of describing relations between concepts.Comment: Accepted at SGAI 2017 (http://www.bcs-sgai.org/ai2017/). The final publication is available at Springer via https://doi.org/10.1007/978-3-319-71078-5_7. arXiv admin note: substantial text overlap with arXiv:1707.05165, arXiv:1706.0636