You are here

Computational Transformation Between Different Symbolic Representations of BK Products of Fuzzy Relations

Title: Computational Transformation Between Different Symbolic Representations of BK Products of Fuzzy Relations.
Name(s): Hoang, Ha V. (Ha Viet), 1975-, author
Kohout, Ladislav J., professor directing dissertation
Seppala, Mika, outside committee member
Hawkes, Lois W., committee member
Levitz, Hilbert, committee member
Van Engelen, Robert, committee member
Department of Computer Science, degree granting department
Florida State University, degree granting institution
Type of Resource: text
Genre: Text
Issuance: monographic
Date Issued: 2007
Publisher: Florida State University
Place of Publication: Tallahassee, Florida
Physical Form: computer
online resource
Extent: 1 online resource
Language(s): English
Abstract/Description: Fuzzy relational calculi based on BK products of relations have representational and computational means for handling both concrete numerical representations of relations and symbolic manipulation of relations. BK calculus of relations together with fast fuzzy relational algorithms allows concrete numerical representations of relations to be used extensively in applications. On the other hand, when enriched by relational inequalities like BK Bootstrap or combined with other theories such as generalized morphisms, high level symbolic forms of relations can be used for symbolic manipulation of relations that have been abstracted from numerical representations. Furthermore, symbolic formulas of relations can be handled equationally. Equations over BK-products can characterize relational properties in a universal way. The research in this dissertation focuses on symbolic manipulations of BK products of fuzzy relations. We have developed as a proof-of-concept an automated tool that works with various representational forms of relations and facilitates transformations among them. Major contribution that this system brings into the field is that, it provides a link between numerical and symbolic representations of relations, which can substantially extend the applicability of fuzzy relations. The pilot implementation of the tool consists of two systems. At a high level of general fuzzy logic systems, the first system transforms BK-product formulas syntactically between three notational forms: matrix form, set form and predicate form. We have defined for each kind of BK-product representations a tree-type data structure, called a notational tree. All transformations are then carried out by set of transformational algorithms among the notational trees of BK representational forms. At a lower level of t-norm based residuated logic systems (BL logic), we have developed a second system which is a term rewriting theorem prover/checker that validates and generates proofs for theorems of BK relational calculi. For each given theorem, a derivation tree will first be generated. A matching of any node in that tree with the theorem's conclusion will validate it. We proposed a generate-and-match algorithm based on a breadth-first-search navigation process through theorems' derivation trees which guarantees a loop-free result for any derivable theorem (in a given theory). The original version of this algorithm has been improved further by applying a human-like proof strategy, which we called distance-first-search and optimized distance-first-search algorithms. These optimized versions improve the performance of our system significantly, reducing both number of logical inferences and the CPU's time required. The experiments also showed that proofs in BK calculi are significantly shorter than in predicate calculus of BL logic. Interestingly enough, proofs generated by the tool are the same as those done by hand. This illustrates the successfulness of our human-like strategy.
Identifier: FSU_migr_etd-4020 (IID)
Submitted Note: A Dissertation submitted to the Department of Computer Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy.
Degree Awarded: Summer Semester, 2007.
Date of Defense: April 25, 2007.
Keywords: Fuzzy Relational Transformations, BK Products, Symbolic Computations, Human-Like Theorem Prover, Artificial Intelligence
Bibliography Note: Includes bibliographical references.
Advisory Committee: Ladislav J. Kohout, Professor Directing Dissertation; Mika Seppala, Outside Committee Member; Lois W. Hawkes, Committee Member; Hilbert Levitz, Committee Member; Robert van Engelen, Committee Member.
Subject(s): Computer science
Persistent Link to This Record:
Owner Institution: FSU

Choose the citation style.
Hoang, H. V. (H. V. ). (2007). Computational Transformation Between Different Symbolic Representations of BK Products of Fuzzy Relations. Retrieved from