DocumentCode
3319517
Title
Proof System for Enriched Fuzzy BK Relational Calculi: Pt. 1 - Transforming Notations
Author
Hoang, Ha ; Kohout, Ladislav J.
Author_Institution
Florida State Univ., Tallahassee
fYear
2007
fDate
23-26 July 2007
Firstpage
1
Lastpage
6
Abstract
Enriched fuzzy relational algebras based on BK-products of relations have representational and computational means for handling both, concrete numerical representations of relations extensively used in applications, as well as high level symbolic forms. Such forms can be used for symbolic manipulation of relations that have been abstracted from numerical representations. Symbolic forms can be handled equationally. Equations over BK-products can characterise relational properties in a universal way. The described tool facilitates transformations between these different forms.
Keywords
relational algebra; symbol manipulation; theorem proving; BK relational calculi; enriched fuzzy relational algebras; numerical representations; proof system; symbolic manipulation; Algebra; Concrete; Decision making; Equations; Fuzzy control; Fuzzy systems; Information retrieval; Multivalued logic; Protection; Tensile stress;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems Conference, 2007. FUZZ-IEEE 2007. IEEE International
Conference_Location
London
ISSN
1098-7584
Print_ISBN
1-4244-1209-9
Electronic_ISBN
1098-7584
Type
conf
DOI
10.1109/FUZZY.2007.4295622
Filename
4295622
Link To Document