fismatpc.ps

a collection of M-files to study concepts in the following areas of Fuzzy-Set-Theory: Fuzzy or Multi

7E4848137E48487FA248C7EA1F80A24815C0007E140FA200FE15E0A9007E15C0007F141FA26C15
806D133F001F15006C6C137E6C6C5B6C6C485A3900FC07E090383FFF80D907FCC7FC23227DA12A
>79 D<3801FC043807FF8C381F03FC383C007C007C133C0078131CA200F8130CA27E1400B4FC13
E06CB4FC14C06C13F06C13F86C13FC000313FEEA003FEB03FFEB007F143FA200C0131FA36C131E
A26C133C12FCB413F838C7FFE00080138018227DA11F>83 D<13FE3807FFC0380F83E0381E00F0
003E13F848137CA300FC137EA7007C137CA26C13F8381F01F0380F83E03807FFC03800FE001716
7E951C>111 D<487EA41203A21207A2120F123FB5FCA2EA0F80ABEB8180A5EB8300EA07C3EA03
FEEA00F811207F9F16>116 D E /Fr 23 123 df<1403A34A7EA24A7EA3EC17E01413A2EC23F0
1421A2EC40F8A3EC807CA20101137EEC003EA20102133F81A2496D7EA3496D7EA2011880011FB5
FCA29039200003F01501A249801500A249147CA348C87EA248153F825AD81F80EC3F80D8FFE090
3803FFFCA22E327EB132>65 D<B612E015FC3907E0003E0003EC0F80ED07C0ED03E0150116F015
0016F8A616F01501A2ED03E0ED07C0ED0F80ED1F00157C90B55A9038E0001FED0780ED03E0ED01
F0ED00F81678167CA2163EA7167CA316F8ED01F0ED03E0ED07C00007EC3F80B6EAFE0015F82731
7CB02F>I<B712C0A23907E0001F00031403ED01E015001660A21620A41610A315801600A41401
A2140790B5FCA2EBE0071401A21400A592C7FCAD487EB512C0A224317CB02B>70
D<B51280A23807F0006C5AB3B3A7487EB51280A211317DB017>73 D<B512C0A2D807F0C8FC6C5A
B3AA1640A41680A41501A21503A21507ED0F00153F000714FFB7FCA222317CB029>76
D<D8FFF0ED7FF8A200071700D802F815BEA3017CEC013EA26D1402A36D1404A36D6C1308A36D6C
1310A36D6C1320A26D6C1340A36D6C1380A391387C0100A3EC3E02A36E5AA2EC0F88A3EC07D0A3
EC03E0A300076D5AD80F80157FD8FFF891380FFFF8EC008035317CB03D>I<90387F80203801FF
E03907C07860380F001C001EEB06E048130300381301007813001270156012F0A21520A37E1500
127C127E7E13C0EA1FF86CB47E6C13F86C7FC613FF010F1380010013C0EC1FE01407EC03F01401
140015F8A26C1478A57E15706C14F015E07E6CEB01C000ECEB038000C7EB070038C1F01E38807F
FCEB0FF01D337CB125>83 D<007FB712E0A23A7E000F8007007815010070150000601660004016
20A200C01630A2481610A6C71500B3AC4A7E010FB57EA22C317EB030>I<EA078012FFA2120F12
07AFEB81FCEB860790388801C090389000E001A0137001C01378491338153CA2151EA2151FA915
1E153E153CA215786D1370012013F0EC01E039061803809038060F00380401F820327EB125>98
D<EB3F80EBE06038038018380700045A001E131E001C133E123C127C14080078130012F8A91278
127CA2003C13017E14027E6C1304380380183800E060EB3F80181F7D9E1D>I<EB3F80EBE0E038
0380383807003C000E7F121E001C7F123C127C00781480140712F8A2B6FC00F8C8FCA61278127C
123C15807E000EEB0100000F1302EA07803801C00C3800F030EB1FC0191F7E9E1D>101
D<EB07E0EB1C10EB3838EB707C13E01201EBC03800031300ACB512C0A23803C000B3A8487EEA7F
FFA216327FB114>I<EA078012FFA2120F1207B3B3A7EA0FC0EAFFFCA20E327EB112>108
D<260780FEEB1FC03BFF83078060F0903A8C03C180783B0F9001E2003CD807A013E4DA00F47F01
C013F8A2495BB3A2486C486C133F3CFFFC1FFF83FFF0A2341F7E9E38>I<380780FE39FF830780
90388C03C0390F9001E0EA07A06E7E13C0A25BB3A2486C487E3AFFFC1FFF80A2211F7E9E25>I<
EB1FC0EBF0783801C01C38070007481480001EEB03C0001C1301003C14E0A248EB00F0A300F814
F8A8007814F0007C1301003C14E0A26CEB03C0A26CEB07803907800F003801C01C3800F078EB1F
C01D1F7E9E21>I<380783E038FF8C18EB907C120FEA07A0EBC0381400A35BB3487EEAFFFEA216
1F7E9E19>114 D<3801FC10380E0330381800F048137048133012E01410A37E6C1300127EEA3F
F06CB4FC6C13C0000313E038003FF0EB01F813006C133CA2141C7EA27E14186C1338143000CC13
6038C301C03880FE00161F7E9E1A>I<1340A513C0A31201A212031207120F381FFFE0B5FC3803
C000B01410A80001132013E000001340EB78C0EB1F00142C7FAB19>I<D8078013F000FF131FA2
000F130100071300B31401A300031302EBC0040001497E3A007030FF80EB1FC0211F7E9E25>I<
39FFF803FFA2390FE001F8D803C013E001E01380000191C7FC6C6C5AEB7802EB7C04EB3C086D5A
EB0F3014A0EB07C01303806D7E1302EB0478EB087CEB183EEB101E497E01407F9038C007C0EB80
0300016D7E000780001F497E3AFFC007FFC0A2221F7F9E23>120 D<3AFFF801FF80A23A0FC000
7C006C4813386D133000031420A26C6C5BA27F00005CA2D97801C7FCA2137CEB3C02A26D5AA213
1F6D5AA2EB0790A214D0EB03E0A26D5AA36D5AA249C8FCA31302A25B1270EAF80C13085BEA7030
EA3040EA1F80212D7F9E23>I<003FB5FC383E001E12380030133C00201378A2006013F0384001
E0A2EB03C0EB07801200EB0F00131EA25B5BA2EBF001EA01E0A2EA03C0EA07801403380F000212
1E14065A48130E147EB512FE181F7E9E1D>I E end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 300
TeXDict begin @a4
%%EndSetup
%%Page: 1 1
bop 374 628 a Fr(F)-6 b(uzzy)22 b(Inference)g(Systems)f(to)r(olb)r(o)n(x)g
(for)h(MA)-6 b(TLAB)922 719 y(FISMA)g(T)954 845 y Fq(A.)19
b(Lot\014)494 903 y Fp(Dep)n(artment)e(of)g(Ele)n(ctric)n(al)i(and)e
(Computer)h(Engine)n(ering)782 961 y(University)g(of)f(Que)n(ensland)716
1019 y(St.)23 b(Lucia,)17 b(Qld.)23 b(4072,)17 b(A)o(ustr)n(alia)717
1078 y Fo(Email:)52 b(lot\[e-mail])1039 2628 y
Fn(1)p eop
%%Page: 0 2
bop 300 445 a Fm(In)n(tro)r(duction)300 547 y Fn(F)l(uzzy)16
b(inference)h(systems)d(ha)o(v)o(e)h(found)h(man)o(y)e(applications)j(in)f
(recen)o(t)f(y)o(ears.)20 b(The)300 603 y(simplicit)o(y)e(of)d(the)h(design)g
(pro)q(cedure)h(of)e(suc)o(h)h(systems)g(is)g(a)f(dominan)o(t)h(attraction)
300 660 y(in)f(v)m(arious)f(industrial)i(as)e(w)o(ell)h(as)f(household)h(pro)
q(ducts.)20 b(In)14 b(most)f(cases,)h(the)g(fuzzy)300 716 y(inference)h
(system)e(design)i(pro)q(cedure)g(is)f(related)g(to)f(an)h(exp)q(ert)g(or)f
(a)g(skilled)j(h)o(uman)300 773 y(op)q(erator)f(in)h(that)e(sp)q(ecial)k
(domain.)i(Among)15 b(the)h(v)m(arious)g(successful)g(applications)300
829 y(of)c(fuzzy)h(inference)h(systems,)e(w)o(e)g(can)h(men)o(tion)g(the)f
(application)i(of)e(fuzzy)h(theory)f(in)300 885 y(the)h(sub)o(w)o(a)o(y)f
(system)h(in)h(the)f(cit)o(y)h(of)e(Sendai,)j(Japan)e([1];)g(the)g(detection)
h(of)e(load)i(and)300 942 y(con)o(trol)j(of)g(the)g(w)o(ashing)g(cycle)i(of)e
(a)g(w)o(ashing)g(mac)o(hine,)h(the)f(automatic)g(fo)q(cusing)300
998 y(of)e(the)g(video)h(camera,)e(n)o(uclear)i(reactor)f(con)o(trol)f([2].)
371 1055 y(Despite)21 b(the)g(brisk)h(and)f(stim)o(ulating)h(promotion)f(of)f
(fuzzy)i(theory)f([3])f(from)300 1111 y(academic)d(researc)o(h)f(to)g(pro)q
(duction)i(line,)g(there)e(is)h(still)h(a)e(lac)o(k)g(of)g(a)h(fuzzy)f
(system)300 1168 y(theory)j(for)f(the)h(study)g(of)f(fuzzy)i(inference)g
(systems.)31 b(Although)19 b(some)g(attempts)300 1224 y(ha)o(v)o(e)c(recen)o
(tly)h(b)q(een)g(made)f([4],)f(most)g(researc)o(h)h(is)h(domain)g(dep)q
(enden)o(t)g(and)g(there-)300 1281 y(fore)f(a)g(general)g(metho)q(d)h(is)f
(required.)371 1337 y(In)d(this)f(short)g(note)g(at)g(\014rst)g(w)o(e)g(will)
i(in)o(tro)q(duce)g(F)l(uzzy)e(Inference)i(Systems)e(\(FIS\))300
1394 y(and)k(follo)o(wing)h(that)f(dev)o(elop)q(ed)i(to)q(olb)q(o)o(x)e(for)f
Fl(M)5 b(AT)h(LAB)1340 1377 y Fk(T)f(M)1421 1394 y Fn(Will)17
b(b)q(e)f(explained.)300 1537 y Fm(F)-6 b(uzzy)23 b(Inference)f(Systems)300
1638 y Fn(A)e(crucial)h(step)f(in)h(the)f(design)h(of)f(FIS's)g(is)g(ho)o(w)g
(to)f(determine)i(the)f(kno)o(wledge-)300 1695 y(base)e(parameters)643
1678 y Fj(1)662 1695 y Fn(.)29 b(A)18 b(kno)o(wledge)h(base)f(consists)g(of)g
(three)g(ma)s(jor)f(sub-systems)300 1751 y(whic)o(h)e(can)f(b)q(e)h(v)m
(aried)g(in)g(the)f(design)h(pro)q(cedure)g(of)f(a)g(FIS)g([5].)19
b(These)14 b(three)g(ma)s(jor)300 1808 y(sub-systems)h(are:)368
1914 y Fi(\017)23 b Fn(A)d(data-base)g(con)o(taining)h(mem)o(b)q(ership)h
(function)f(of)f(linguistic)j(v)m(alues)f(for)414 1970 y(b)q(oth)15
b(the)g(an)o(teceden)o(t)h(and)f(the)g(consequen)o(t)368 2064
y Fi(\017)23 b Fn(The)15 b(fuzzy)h(reasoning)f(mec)o(hanism)368
2158 y Fi(\017)23 b Fn(The)15 b(n)o(um)o(b)q(er)h(of)e(rules)i(used)g(in)g
(the)f(fuzzy)h(rule-base)371 2264 y(Consider)h(a)f(general)h(inference)i(mec)
o(hanism)e(whic)o(h)g(is)h(often)e(used)h(in)h(the)f(rep-)300
2321 y(resen)o(tation)e(of)g(h)o(uman)g(reasoning)g(ma)o(y)g(b)q(e)h(describ)
q(ed)h(as)e(follo)o(ws.)p 300 2360 600 2 v 352 2387 a Fh(1)369
2403 y Fg(In)f(con)o(trol)h(engineering)h(literature,)g(this)e(ma)o(y)g(b)q
(e)g(referred)g(to)g(as)g(a)f(F)m(uzzy)i(Logic)f(Con)o(troller)300
2449 y(\(FLC\).)p eop
%%Page: 1 3
bop 414 445 a Fl(P)449 429 y Fj(1)469 445 y Fn(:)20 b(If)15
b(X)g(is)h Fi(A)678 429 y Fj(1)713 445 y Fn(then)g(Y)f(is)h
Fi(B)943 429 y Fj(1)978 445 y Fn(,)f(else)414 502 y(.........)o(...)o(..)o
(...)o(...)o(..)o(...)o(...)o(..)o(...)o(...)o(..)o(...)o(...)o(..)414
558 y Fl(P)449 542 y Fk(i)463 558 y Fn(:)20 b(If)c(X)f(is)g
Fi(A)672 542 y Fk(i)702 558 y Fn(then)h(Y)f(is)g Fi(B)931 542
y Fk(i)961 558 y Fn(,)g(else)414 615 y(.........)o(...)o(..)o(...)o(...)o(..)
o(...)o(...)o(..)o(...)o(...)o(..)o(...)o(...)o(..)414 671
y Fl(P)449 655 y Fk(n)473 671 y Fn(:)k(If)d(X)f(is)h Fi(A)682
655 y Fk(n)721 671 y Fn(then)f(Y)h(is)f Fi(B)950 655 y Fk(n)989
671 y Fn(,)g(else)414 728 y(Q:)75 b(X)16 b(is)f Fi(A)668 711
y Ff(0)414 784 y Fn(..)369 b(Y)16 b(is)f Fi(B)935 768 y Ff(0)300
940 y Fn(The)e(an)o(teceden)o(t)f(v)o(ector)g Fl(X)k Fn(=)d([)p
Fl(x)890 947 y Fj(1)909 940 y Fl(;)8 b(x)956 947 y Fj(2)975
940 y Fl(;)g(:::;)g(x)1082 947 y Fk(m)1112 940 y Fn(])k(is)h(a)f
Fl(m)h Fn(v)o(ector)e(with)i(elemen)o(ts)g(whic)o(h)300 996
y(are)21 b(linguistic)i(v)m(ariables)g(in)f(the)f(univ)o(erse)h(of)f
Fl(U)27 b Fn(=)c([)p Fl(U)1321 1003 y Fj(1)1341 996 y Fl(;)8
b(U)1393 1003 y Fj(2)1411 996 y Fl(;)g(:::;)g(U)1523 1003 y
Fk(m)1554 996 y Fn(].)37 b(The)22 b(con-)300 1053 y(sequen)o(t)h(v)o(ector)e
Fl(Y)35 b Fn(=)25 b([)p Fl(y)771 1060 y Fj(1)791 1053 y Fl(;)8
b(y)834 1060 y Fj(2)853 1053 y Fl(;)g(:::;)g(y)956 1060 y Fk(k)975
1053 y Fn(])22 b(is)g(a)g Fl(k)i Fn(v)o(ector)d(with)i(elemen)o(ts)g(whic)o
(h)g(are)300 1109 y(linguistic)i(v)m(ariables)e(in)g(the)f(univ)o(erse)h(of)e
Fl(V)34 b Fn(=)24 b([)p Fl(V)1244 1116 y Fj(1)1263 1109 y Fl(;)8
b(V)1311 1116 y Fj(2)1329 1109 y Fl(;)g(:::;)g(V)1437 1116
y Fk(k)1456 1109 y Fn(].)39 b(V)l(ectors)22 b Fi(A)1726 1093
y Fk(i)1765 1109 y Fn(=)300 1166 y([)p Fl(A)347 1149 y Fk(i)347
1177 y Fj(1)366 1166 y Fl(;)8 b(A)421 1149 y Fk(i)421 1177
y Fj(2)440 1166 y Fl(;)g(:::;)g(A)555 1149 y Fk(i)555 1178
y(j)571 1166 y Fl(;)g(:::;)g(A)686 1149 y Fk(i)686 1177 y(m)717
1166 y Fn(])15 b(and)g Fi(B)864 1149 y Fk(i)891 1166 y Fn(=)e([)p
Fl(B)988 1149 y Fk(i)986 1177 y Fj(1)1006 1166 y Fl(;)8 b(B)1063
1149 y Fk(i)1061 1177 y Fj(2)1081 1166 y Fl(;)g(:::;)g(B)1198
1149 y Fk(i)1196 1178 y(j)1212 1166 y Fl(;)g(:::;)g(B)1329
1149 y Fk(i)1327 1179 y(k)1346 1166 y Fn(])14 b(are)h(v)o(ectors)g(of)g
(linguis-)300 1222 y(tic)g(v)m(alues)h(\(linguistic)g(lab)q(els\))g
(referring)f(to)f(the)g(fuzzy)h(v)m(ariables)h(X)f(and)f(Y)h(resp)q(ec-)300
1279 y(tiv)o(ely)l(.)k(V)l(ector)10 b Fi(A)612 1262 y Ff(0)635
1279 y Fn(is)g(the)h(fuzzy)f(observ)m(ation)h(v)o(ector)f(and)g
Fi(B)1345 1262 y Ff(0)1367 1279 y Fn(is)h(the)f(fuzzy)h(conclusion)300
1335 y(v)o(ector.)18 b(F)l(uzzy)12 b(sets)g(corresp)q(ond)g(to)f(eac)o(h)h
(fuzzy)h(v)m(ariable)g(can)f(b)q(e)g(sho)o(wn)g(as)f(follo)o(ws;)525
1431 y Fl(A)559 1413 y Fk(i)559 1443 y(j)590 1431 y Fn(=)i
Fi(f)p Fl(\026)688 1444 y Fk(A)714 1432 y Fe(i)714 1455 y(j)733
1431 y Fn(\()p Fl(u)p Fn(\))p Fl(=u)p Fi(g)29 b Fl(u)12 b Fi(2)h
Fl(U)1008 1438 y Fk(j)1057 1431 y Fl(j)i Fn(=)e(1)p Fl(;)8
b Fn(2)p Fl(;)g(::;)f(m)27 b(i)13 b Fn(=)g(1)p Fl(;)8 b Fn(2)p
Fl(;)g(::;)f(n)538 1545 y(B)574 1526 y Fk(i)572 1556 y(j)603
1545 y Fn(=)13 b Fi(f)p Fl(\026)701 1557 y Fk(B)730 1546 y
Fe(i)728 1569 y(j)746 1545 y Fn(\()p Fl(v)r Fn(\))p Fl(=v)r
Fi(g)29 b Fl(v)14 b Fi(2)f Fl(V)1011 1552 y Fk(j)1059 1545
y Fl(j)i Fn(=)e(1)p Fl(;)8 b Fn(2)p Fl(;)g(::;)f(k)28 b(i)13
b Fn(=)g(1)p Fl(;)8 b Fn(2)p Fl(;)g(::;)f(n)371 1634 y Fn(W)l(e)14
b(assume)f(that)h(the)g(univ)o(erse)h(of)e(an)o(teceden)o(t)h(and)g
(consequen)o(t)h(i.e.)k Fl(U)g Fn(and)14 b Fl(V)300 1690 y
Fn(are)h(limited)i(to)d(a)h(sp)q(eci\014c)i(domain)f(in)o(terv)m(al,)g(i.e.)
353 1786 y Fl(U)384 1793 y Fk(j)415 1786 y Fn(=)d([)p Fl(U)512
1767 y Ff(\000)507 1799 y Fk(j)571 1786 y Fl(U)607 1767 y Fj(+)602
1799 y Fk(j)637 1786 y Fn(])p Fl(;)37 b(j)15 b Fn(=)e(1)p Fl(;)8
b Fn(2)p Fl(;)g(:::)o(;)g(m)p Fn(;)155 b Fl(V)1164 1793 y Fk(j)1195
1786 y Fn(=)13 b([)p Fl(V)1292 1767 y Ff(\000)1283 1799 y Fk(j)1352
1786 y Fl(V)1388 1767 y Fj(+)1379 1799 y Fk(j)1418 1786 y Fn(])p
Fl(;)37 b(j)15 b Fn(=)e(1)p Fl(;)8 b Fn(2)p Fl(;)g(:::;)f(k)300
1883 y Fn(V)l(ector)15 b Fl(X)j Fn(con)o(tains)e Fl(m)f Fn(linguistic)i(v)m
(ariables)g(whic)o(h)f(are)f(connected)h(together)e(b)o(y)h(a)300