<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>Just add fuzzy-set? to the provide specification of&nbsp;fuzzy-set-library. &nbsp;Also add other functions as needed and provide them.&nbsp;</div><div><br></div><div><br></div><br><div><div>On Aug 26, 2013, at 9:09 PM, Rian Shams wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div dir="auto"><div><span></span></div><div><div>Thank you,&nbsp;a fuzzy-set-library is exactly what I am looking for.&nbsp;Initially I tried to create this library using the methodology you describe from the chapter on sets in "The Little Schemer," but after discovering structs in Racket I switched over. More recently I have been trying to emulate the set.rkt file that is provided in collect, but am finding this overwhelming (at least for the time being).</div>
<div><br></div><div>In order to define the fuzzy set operators I believe I would need fuzzy-set? and then selectors that correspond to each field. I am unclear as to why fuzzy-set? doesn't seem to exist and am not sure how to create fuzzy-set-first and fuzzy-set-rest (along with all of the other operators such as fuzzy-union, fuzzy-intersect , etc...) without having a fuzzy-set? made available.</div>
<div><br></div><div style="">My question is given:</div><div style="">&nbsp;</div><div style=""><div>(fuzzy-set&nbsp;</div><div>&nbsp; (fuzzy-element 'a 1)</div><div>&nbsp; (fuzzy-element 'b .2)</div><div>&nbsp; (fuzzy-element 'c .2)</div><div>
&nbsp; (fuzzy-element 'd .3)))</div><div style=""><br></div><div style="">in the way you defined fuzzy-set above,&nbsp;how do you create the function fuzzy-set? and how do you create fuzzy-first and fuzzy-rest ?</div><div style=""><br></div>
<div style="">Thanks,</div><div style="">Rian</div></div><div><br></div><div>On Aug 23, 2013, at 8:02 PM, Matthias Felleisen &lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>&gt; wrote:<br>
<br></div><blockquote type="cite"><div><div><br></div><div>Here is one more alternative:&nbsp;</div><div><br></div><div><div><div>#lang racket</div><div><br></div><div>;; you can move the body of this module into a '#lang racket' file called fuzzy-set-library.rkt&nbsp;</div>


<div>(module fuzzy-set-library racket&nbsp;</div><div>&nbsp; ;; rename-out is an elegant version of the let()/define-values trick in Realm of Racket&nbsp;</div><div>&nbsp; (provide (rename-out (fuzzy-set0 fuzzy-set)) (struct-out fuzzy-element))</div>


<div>&nbsp;&nbsp;</div><div>&nbsp; (struct fuzzy-element (val degree) #:transparent)</div><div>&nbsp; ;; FE = (fuzzy-element Any [0,1))</div><div>&nbsp;&nbsp;</div><div>&nbsp; (struct fuzzy-set (vals)&nbsp;</div><div>&nbsp; &nbsp; #:transparent&nbsp;</div><div>&nbsp; &nbsp; #:guard&nbsp;</div>


<div>&nbsp; &nbsp; ;; [List-of FE] -&gt; Fuzzy-set</div><div>&nbsp; &nbsp; (lambda (le type-name)</div><div>&nbsp; &nbsp; &nbsp; (define-values (members _)</div><div>&nbsp; &nbsp; &nbsp; &nbsp; (for/fold ((s '()) (keys '())) ((x le))</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (unless (fuzzy-element? x)&nbsp;</div>


<div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (error type-name "fuzzy-element expected, given: ~e" x))</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (define k (fuzzy-element-val x))</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (if (member k keys)</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (values s keys)</div>


<div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (values (cons x s) (cons k keys)))))</div><div>&nbsp; &nbsp; &nbsp; (apply set members)))</div><div>&nbsp; ;; FuzzySet = (fuzzy-set [Set-of FE])</div><div>&nbsp;&nbsp;</div><div>&nbsp; (define (fuzzy-set0 . x) ;; &lt;--- this means take as many arguments as there are, as a list&nbsp;</div>


<div>&nbsp; &nbsp; (fuzzy-set x))</div><div>&nbsp;&nbsp;</div><div>&nbsp; ;; add</div><div>&nbsp; ;; -- fuzzy-add-element&nbsp;</div><div>&nbsp; ;; -- fuzzy-union&nbsp;</div><div>&nbsp; ;; etc.</div><div>&nbsp; )</div><div><br></div><div>;; this could be a '#lang racket' file too</div>


<div>(module fuzzy-set-client racket&nbsp;</div><div>&nbsp; ;; then you replace this with the usual require&nbsp;</div><div>&nbsp; (require (submod ".." fuzzy-set-library))</div><div><br></div><div>&nbsp; (fuzzy-set</div><div>&nbsp; &nbsp;(fuzzy-element 'a .1)</div>


<div>&nbsp; &nbsp;(fuzzy-element 'b .2)</div><div>&nbsp; &nbsp;(fuzzy-element 'c .3)</div><div>&nbsp; &nbsp;(fuzzy-element 'a .3)))</div><div><br></div><div>;; drop this, it exists to test&nbsp;</div><div>(require 'fuzzy-set-client)</div></div>


</div><div><br></div><div><br></div><br><div><div>On Aug 23, 2013, at 3:49 PM, Rian Shams wrote:</div><br><blockquote type="cite"><div dir="ltr"><div>Hello All,<br></div><div><br></div><div>My name is Rian and I am a new Racket user and a novice programmer (Racket is my first language). First let me say that I am very grateful for the resources available online and the books, HTDP and Realm of Racket. I find your teaching methods very clear and as a result I am picking up Racket faster than I originally thought.</div>



<div><br></div><div>I am a System Science graduate student whose primary research focus is on Fuzzy Set Theory.&nbsp;A fuzzy set is a collection of distinct elements where each element has a degree of membership associated with it.&nbsp;</div>



<div><br></div><div>The representation I am currently using for a fuzzy set is the following:</div><div>First I create a struct called fuzzy-element which consists of 2 fields; the first is the name of the element and the second is the elements degree of membership to the set which ranges from 0 to 1.</div>



<div><br></div><div>;; Data Definition</div><div><br></div><div>#lang racket</div><div><br></div><div>(struct fuzzy-element (member degree-of-membership)&nbsp;</div><div>&nbsp; #:transparent</div><div>&nbsp; #:guard (lambda (member degree-of-membership type-name)</div>




<div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (cond</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; [(not (and (number? degree-of-membership)</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(&lt;= 0 degree-of-membership 1) degree-of-membership))</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(error type-name</div>




<div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; "~e is not a number between 0 and 1"</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; degree-of-membership)]</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; [else (values member degree-of-membership)])))</div><div>
<br></div><div>;; fuzzy-element is (fuzzy-element Symbol Number[0, 1])</div><div>;; interp. a fuzzy-element as a struct in which:</div><div>;; &nbsp; &nbsp; &nbsp; &nbsp; -the first field is the member's name</div>
<div>;; &nbsp; &nbsp; &nbsp; &nbsp; -the second field is the respective members degree of membership</div><div><br></div><div>Then I combine them with a list so what I have now is a list of fuzzy elements.</div><div><br></div><div><div>
;; ListOfFuzzyElement is one of:</div><div>;; - empty</div><div>;; - (cons fuzzy-element ListOfFuzzyElement)</div></div><div><br></div><div>The problem with this data definition is that it allows for duplicate structs with the same field-1 elements.</div>



<div><br></div><div>What I am looking to create is</div><div><br></div><div>;; A Fuzzy-Set is one of:</div><div>;; - empty list</div><div>;;&nbsp;- (cons <b>distinct</b> fuzzy-element ListOfFuzzyElement)</div><div>
<br></div><div><br></div><div><div><br></div><div><div>Ideally the type of representation I would like to use should look like:&nbsp;</div><div><br></div><div><div>(fuzzy-set (fuzzy-element 'a .1)</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(fuzzy-element 'b .2)</div>



<div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(fuzzy-element 'c .3)</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(fuzzy-element 'a .3))</div><div><br></div><div>-&gt;&nbsp;(fuzzy-set (fuzzy-element 'a .1)</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(fuzzy-element 'b .2)</div>



<div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(fuzzy-element 'c .3))</div></div><div><br></div><div>Upon evaluation, the last element, (fuzzy-element 'a .3) is deleted because there already exists a member named 'a (fuzzy-element 'a .1).&nbsp;It should work exactly like the built in "set" data type, except in this case it is a set of structures that checks the first fields of all structures and eliminates latter duplicates.&nbsp;</div>



</div><div><br></div><div>Any guidance on how to create fuzzy-set representation this way or if you can suggest more concise and elegant methods I would be greatly appreciative.&nbsp;</div><div><br></div><div>Thanks,</div>
-- <br>Rian Shams
</div></div>
____________________<br> &nbsp;Racket Users list:<br> &nbsp;<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br></blockquote></div><br></div></blockquote></div></div></div>
</blockquote></div><br></body></html>