A Relation-Algebraic Approach to L - Fuzzy Topology

Any science deals with the study of certain models of the real world. However, a model is always an abstraction resulting in some uncertainty, which must be considered. The theory of fuzzy sets is one way of formalizing one of the types of uncertainty that occurs when modeling real objects. Fuzzy sets have been applied in various real-world problems such as control system engineering, image processing, and weather forecasting systems. This research focuses on applying the categorical framework of abstract L - fuzzy relations to L-fuzzy topology with ideas, concepts and methods of the theory of L-fuzzy sets. Since L-fuzzy sets were introduced to deal with the problem of approximate reasoning, t − norm based operations are essential in the definition of L - fuzzy topologies. We use the abstract theory of arrow categories with additional t − norm based connectives to define L - fuzzy topologies abstractly. In particular, this thesis will provide an abstract relational definition of an L - fuzzy topology, consider bases of topological spaces, continuous maps, and the first two separation axioms T0 and T1. The resulting theory of L - fuzzy topological spaces provides the foundation for applications and algorithms in areas such as digital topology, i.e., analyzing images using topological features

Relational Approach to the L-Fuzzy Concept Analysis

Modern industrial production systems benefit from the classification and processing of objects and their attributes. In general, the object classification procedure can coincide with vagueness. Vagueness is a common problem in object analysis that exists at various stages of classification, including ambiguity in input data, overlapping boundaries between classes or regions, and uncertainty in defining or extracting the properties and relationships of objects. To manage the ambiguity mentioned in the classification of objects, using a framework for L-fuzzy relations, and displaying such uncertainties by it can be a solution. Obtaining the least unreliable and uncertain output associated with the original data is the main concern of this thesis. Therefore, my general approach to this research can be categorized as follows: We developed an L-Fuzzy Concept Analysis as a generalization of a regular Concept Analysis. We start our work by providing the input data. Data is stored in a table (database). The next step is the creation of the contexts and concepts from the given original data using some structures. In the next stage, rules, or patterns (Attribute Implications) from the data will be generated. This includes all rules and a minimal base of rules. All of them are using L-fuzziness due to uncertainty. This requires L-fuzzy relations that will be implemented as L -valued matrices. In the end, everything is nicely packed in a convenient application and implemented in Java programming language. Generally, our approach is done in an algebraic framework that covers both regular and L -Fuzzy FCA, simultaneously. The tables we started with are already L-valued (not crisp) in our implementation. In other words, we work with the L-Fuzzy data directly. This is the idea here. We start with vague data. In simple terms, the data is shown using L -valued tables (vague data) trying to relate objects with their attributes at the start of the implementation. Generating attribute implications from many-valued contexts by a relational theory is the purpose of this thesis, i.e, a range of degrees is used to indicate the relationship between objects and their properties. The smallest degree corresponds to the classical no and the greatest degree corresponds to the classical yes in the table

Object Classification using L-Fuzzy Concept Analysis

Object classification and processing have become a coordinated piece of modern industrial manufacturing systems, generally utilized in a manual or computerized inspection process. Vagueness is a common issue related to object classification and analysis such as the ambiguity in input data, the overlapping boundaries among the classes or regions, and the indefiniteness in defining or extracting features and relations among them. The main purpose of this thesis is to construct, define, and implement an abstract algebraic framework for L-fuzzy relations to represent the uncertainties involved at every stage of the object classification. This is done to handle the proposed vagueness that is found in the process of object classification such as retaining information as much as possible from the original data for making decisions at the highest level making the ultimate output or result of the associated system with least uncertainty

L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation

A unified theory of granularity, vagueness and approximation

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations

Data mining using L-fuzzy concept analysis.

Association rules in data mining are implications between attributes of objects that hold in all instances of the given data. These rules are very useful to determine the properties of the data such as essential features of products that determine the purchase decisions of customers. Normally the data is given as binary (or crisp) tables relating objects with their attributes by yes-no entries. We propose a relational theory for generating attribute implications from many-valued contexts, i.e, where the relationship between objects and attributes is given by a range of degrees from no to yes. This degree is usually taken from a suitable lattice where the smallest element corresponds to the classical no and the greatest element corresponds to the classical yes. Previous related work handled many-valued contexts by transforming the context by scaling or by choosing a minimal degree of membership to a crisp (yes-no) context. Then the standard methods of formal concept analysis were applied to this crisp context. In our proposal, we will handle a many-valued context as is, i.e., without transforming it into a crisp one. The advantage of this approach is that we work with the original data without performing a transformation step which modifies the data in advance

“Almost Identical with Itself” : A Search for a Logic of Fuzzy Identity

This thesis grows out of a fascination with the vagueness of natural language, its manifestation in the ancient Sorites paradox, and the way in which the paradox is dealt with in fuzzy logic. It is an attempt to resolve the tension between two versions of the paradox, and the related problem of whether identity can be fuzzy. If it can be fuzzy, then the most popular argument against vague objects is mistaken, which would be great news for those who hold that there can be vagueness in the world independently of our representation or knowledge of it. The standard Sorites is made up of conditionals about an ordinary predicate (e.g. “heap”) by the rule of modus ponens. It is typically solved in fuzzy logic by interpreting the predicate as a fuzzy relation and showing that the argument fails as a result. There is another, less known version of the paradox, based on the identity predicate and the rule of substitutivity of identicals. The strong analogy between the two versions suggests that their solutions might be analogical as well, which would make identity just as vague as any relation. Yet the idea of vague identity has traditionally been rejected on both formal and philosophical grounds. Even Nicholas J. J. Smith, who is known for his positive attitude toward fuzzy relations in general, denies that identity could be fuzzy. The opposite position is taken by Graham Priest, who argues for a fuzzy interpretation of identity as a similarity relation. Following Priest, I aim to show that there is a perfectly sensible logic of fuzzy identity and that a fuzzy theoretician of vagueness therefore cannot rule out fuzzy identity on logical grounds alone. I compare two fuzzy solutions to the identity Sorites: Priest’s solution, based on the notion of local validity, and B. Jack Copeland’s solution, based on the failure of contraction in sequent calculus. I provide a synthesis of the two solutions, suggesting that Priest’s local validity counts as a genuine kind of validity even if he might not think so himself. The substitutivity of identicals is not locally valid in Priest’s logic, however; his solution only applies to a special case with the rule of transitivity. Applying L. Valverde’s representation theorem and other mathematical results, I lay the foundation for a stronger logic where the substitutivity rule is locally valid and the two Sorites merge into one paradox with one solution. Finally, I defend fuzzy identity against Gareth Evans’ argument that vague identity leads to contradiction, and Smith’s argument that vague identity is not really identity. The former relies on a fallacious application of the substitutivity rule; to the latter, my principal response is to question Smith’s understanding of identity and argue for a broader one. I conclude that not only is fuzzy identity logically possible, but it also has potential applicability in metaphysics and elsewhere