Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Handling the valuation of the predicates in a fuzzy model
Genito D., Gerla G., Vignes A. Fuzzy Sets and Systems186 (1):81-99,2012.Type:Article
Date Reviewed: May 29 2012

If an application has to make decisions based on inexact concepts, it may not be a priori clear which semantic interpretation to choose for these concepts, and which (if any) consequences the choice of an alternative might have on the outcome of the decision process. This paper addresses this problem of fuzzy semantics by exploring which properties are preserved in a fuzzy logic formula under different transformations of the structure in which the formula is evaluated.

To make the paper self-contained, the authors first provide an exhaustive introduction to the fundamental concepts of fuzzy model theory, to provide a basis on which the presented results can be understood. Then, they show under which constraints the essential properties of a formula remain unchanged, if the valuation of the basic predicates is modified by applying a homomorphism to another suitable valuation structure. Next, they generalize this result to a modification of the operations of the valuation structure, which shows that, in a sense, the scale of the structure can be modified in an almost arbitrary way. Finally, they describe how the results also apply to a “cutting” process by which all the properties are forced to be precise.

The authors state, “All [of] the results are either easy to prove or well known.” Nevertheless, the paper presents a comprehensive picture of the topic. By choosing a slight modification to the generally used “approach to fuzzy semantics in which the valuation structures can vary freely,” it also puts forward a question and indicates possible paths.

Reviewer:  Wolfgang Schreiner Review #: CR140202 (1210-1049)
Bookmark and Share
  Featured Reviewer  
 
Logics And Meanings Of Programs (F.3 )
 
 
Semantics Of Programming Languages (F.3.2 )
 
Would you recommend this review?
yes
no
Other reviews under "Logics And Meanings Of Programs": Date
 A practical theory of reactive systems: incremental modeling of dynamic behaviors (Texts in Theoretical Computer Science)
Kurki-Suonio R., Springer-Verlag New York, Inc., Secaucus, NJ, 2005.  418, Type: Book (9783540233428)
Apr 18 2006
Proofs and computations
Schwichtenberg H., Wainer S., Cambridge University Press, New York, NY, 2012.  480, Type: Book (978-0-521517-69-0)
Oct 30 2012
A formalization of programs in first-order logic with a discrete linear order
Lin F. Artificial Intelligence 235(C): 1-25, 2016. Type: Article
May 24 2016
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy