História Základy teórie fuzzy množín
História Základy teórie fuzzy množín
História Základy teórie fuzzy množín
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Inferencia<br />
Dva základné druhy inferencie:<br />
1.) Inferencia podľa jednotlivých pravidiel (angl. individual rule based inference) –<br />
k<br />
k<br />
čiastkové predpoklady LX i sa spoja do celkového predpokladu LA pre každé<br />
pravidlo zvlášť.<br />
k<br />
k<br />
k<br />
AK x1 je LX AND ... AND xn je LX POTOM u je LU<br />
i<br />
AK 1<br />
k<br />
( x ,..., x ) je LA POTOM u je<br />
n<br />
n<br />
k<br />
LU<br />
k k<br />
LX1 , LX 2,...,<br />
LX n<br />
k k<br />
a LU - FP charakterizujúce konkrétne hodnoty lingvistických<br />
premenných v pravidle k.<br />
2.) Kompozičná inferencia(angl. composition based inference) – z relácií predstavujúcich<br />
jednotlivé pravidlá sa vytvorí jedna veľká relácia, ktorá popisuje celú bázu znalostí<br />
a tá sa naraz, ako jeden celok, vyhodnotí. Výsledkom je celkový akčný zásah za celú<br />
bázu pravidiel LU. Inferencia splýva s kompozíciou.<br />
k<br />
k<br />
k<br />
AK x1 je LX1 & AK x2 je LX 2 & … & AK xn je LX n POTOM u je LUk<br />
I. etapa T I. etapa I. etapa<br />
C<br />
III. etapa<br />
vlastná<br />
II. etapa<br />
inferencia<br />
- porovnávam 2 <strong>fuzzy</strong> množiny, výsledok musí byť tiež <strong>fuzzy</strong> množina.<br />
- porovnávanie – Compatibility TC<br />
- konjuktívny kanonický tvar (predpoklady sú pospájané pomocou & a pravidlá pomocou<br />
OR).<br />
- implikátor je špeciálnym prípadom inferencie.<br />
- každý operátor inferencie spĺňa aj podmienky T-normy, každý operátor inferencie je aj<br />
T-normou TI<br />
- I.+II.+III. – inferencia v širšom slova zmysle<br />
- ak množina je neprázdna, pravidlo sa odpálilo (fired)<br />
- ak pravidlo je vzdialené od predpokladov, neodpáli sa<br />
- akumulácia – spájanie SA<br />
- I.+II.+III.+SA – inferencia v najširšom slova zmysle<br />
Predpokladajme, že použijem singletonovú fuzzifikáciu.<br />
Predpokladajme, že TC bude operátor minima.