рдореИрдВрдиреЗ рдбреЗрдЯрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдкрд░ рдкрджреЛрдВ рдХреА рдПрдХ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдмрдирд╛рдиреЗ рдХрд╛ рдлреИрд╕рд▓рд╛ рдХрд┐рдпрд╛ред рдореИрдВ рдХрдИ рд╡рд░реНрд╖реЛрдВ рд╕реЗ рдХрдВрдкреНрдпреВрдЯрд░ рд╡рд┐рдЬреНрдЮрд╛рди рдХреЗ рдХреНрд╖реЗрддреНрд░ рдореЗрдВ (рдФрд░, рдЬреИрд╕рд╛ рдХрд┐ рдпрд╣ рдирд┐рдХрд▓рд╛, рдХрд╛рдлреА рджрд┐рд▓рдЪрд╕реНрдк) рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдХрд╛рдо рдХрд░ рд░рд╣рд╛ рд╣реВрдВред рдореИрдВ рдЖрдкрдХреЗ рдзреНрдпрд╛рди рдореЗрдВ рд▓рдЧрднрдЧ рдЕрдиреБрдорд╛рдирд┐рдд рд╕реЗрдЯ рдХреЗ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рдбреЗрдЯрд╛ рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рд▓рд╛рддрд╛ рд╣реВрдВред
рдЗрд╕рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХреНрдпрд╛ рд╣реЛрдЧрд╛?
рдЕрдирд┐рд╢реНрдЪрд┐рддрддрд╛, рдЕрд╢реБрджреНрдзрд┐ рдФрд░ рдЕрдирд┐рд╢реНрдЪрд┐рддрддрд╛ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рдирдП рдЧрдгрд┐рддреАрдп рджреГрд╖реНрдЯрд┐рдХреЛрдг рдХреЗ рд░реВрдк
рдореЗрдВ рд░рдл рд╕реЗрдЯреНрд╕ рдХреЗ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рд╡рд┐рдХрд╕рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ [Zdzis┼Вaw Pawlak, 1982]ред рдпрд╣ рдХрдерди рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ рдХрд┐ рдмреНрд░рд╣реНрдорд╛рдВрдб рдХреА рдкреНрд░рддреНрдпреЗрдХ рд╡рд╕реНрддреБ рдХреЗ рд╕рд╛рде рд╣рдо рдХреБрдЫ рдЬрд╛рдирдХрд╛рд░реА (рдбреЗрдЯрд╛, рдЬреНрдЮрд╛рди) рдХреЛ рдЬреЛрдбрд╝рддреЗ рд╣реИрдВред рд╕рдорд╛рди рдЬрд╛рдирдХрд╛рд░реА рдХреА рд╡рд┐рд╢реЗрд╖рддрд╛ рд╡рд╛рд▓реА рд╡рд╕реНрддреБрдПрдВ рдЙрдирдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдЙрдкрд▓рдмреНрдз рдЬрд╛рдирдХрд╛рд░реА рдХреЗ рд╕рдВрджрд░реНрдн рдореЗрдВ рдЕрд╡рд┐рднрд╛рдЬреНрдп (рд╕рдорд╛рди) рд╣реИрдВред рдЗрд╕ рддрд░рд╣ рд╕реЗ рдЙрддреНрдкрдиреНрди рдЕрд╡рд┐рднрд╛рдЬреНрдп рд╕рдВрдмрдВрдз рд▓рдЧрднрдЧ рдЕрдиреБрдорд╛рдирд┐рдд (рдЦреБрд░рджрд░реЗ) рд╕реЗрдЯ рдХреЗ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдЧрдгрд┐рддреАрдп рдЖрдзрд╛рд░ рд╣реИред
рдЕрдиреБрдорд╛рдирд┐рдд рд╕реЗрдЯ рдХреЗ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рдХрд╛ рдЖрдзрд╛рд░ рд╕реЗрдЯреЛрдВ рдХреЗ рд╕рдиреНрдирд┐рдХрдЯрди рдХреЗ рд╕рдВрдЪрд╛рд▓рди рд╣реИрдВред
рдЕрдм рд╣рдо рдЕрдиреБрдорд╛рдирд┐рдд рд╕реЗрдЯ рдХреЗ рд╕рдиреНрдирд┐рдХрдЯрди рдХреА рдЕрд╡рдзрд╛рд░рдгрд╛ рджреЗрддреЗ рд╣реИрдВ:
- рд╕реЗрдЯ X рдХрд╛ рдирд┐рдореНрди рд╕рдиреНрдирд┐рдХрдЯрди
рдРрд╕реЗ рддрддреНрд╡ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ рдЬреЛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рд╕реЗрдЯ рдПрдХреНрд╕ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИрдВред - рд╕реЗрдЯ X рдХрд╛ рдКрдкрд░реА рд╕рдиреНрдирд┐рдХрдЯрди
+
рдРрд╕реЗ рддрддреНрд╡ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ рдЬреЛ рд╕рдВрднрд╡рддрдГ рд╕реЗрдЯ рдПрдХреНрд╕ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИрдВред - рд╕реАрдорд╛ (рдКрдкрд░реА рдФрд░ рдирд┐рдЪрд▓реЗ рд╕рдиреНрдирд┐рдХрдЯрди рдХреЗ рдмреАрдЪ рдЕрдВрддрд░)
рдЕрд╡рд┐рднрд╛рдЬреНрдпрддрд╛ рдХрд╛ рдПрдХ рдХреНрд╖реЗрддреНрд░ рд╣реИред
рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдЖрд╡реЗрджрди
рдбреЗрдЯрд╛ рдЯреЗрдмрд▓ рдХреЗ рд╕рд╛рде рдХрд╛рдо рдХрд░рддреЗ рд╕рдордп рдЕрдиреБрдорд╛рдирд┐рдд рд╕реЗрдЯ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬрд┐рд╕реЗ рд╡рд┐рд╢реЗрд╖рддрд╛-рдореВрд▓реНрдп рддрд╛рд▓рд┐рдХрд╛ рдпрд╛ рд╕реВрдЪрдирд╛ рдкреНрд░рдгрд╛рд▓реА рдпрд╛ рдирд┐рд░реНрдгрдп рддрд╛рд▓рд┐рдХрд╛ рднреА рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред рдПрдХ рдирд┐рд░реНрдгрдп рддрд╛рд▓рд┐рдХрд╛ рдПрдХ рдЯреНрд░рд┐рдкрд▓ = = (рдпреВ, рд╕реА, рдбреА) рд╣реИ, рдЬрд╣рд╛рдВ
рдпреВ рдмрд╣реБрдд рд╕рд╛рд░реА рд╡рд╕реНрддреБрдПрдВ рд╣реИрдВ
рд╕реА рд╣рд╛рд▓рдд рд╡рд┐рд╢реЗрд╖рддрд╛рдУрдВ рдХрд╛ рдПрдХ рд╕реЗрдЯ рд╣реИ
рдбреА рдирд┐рд░реНрдгрдп рд╡рд┐рд╢реЗрд╖рддрд╛рдУрдВ рдХрд╛ рдПрдХ рд╕реЗрдЯ рд╣реИред
рддрд╛рд▓рд┐рдХрд╛ рдЙрджрд╛рд╣рд░рдг
рдпреВ | рд╕реА | рдбреА |
рд╕рд┐рд░рджрд░реНрдж | рддрд╛рдкрдорд╛рди | рдлреНрд▓реВ |
рдпреВ рез | рд╣рд╛рдВ | рд╕рд╛рдзрд╛рд░рдг | рдирд╣реАрдВ |
рдпреВ 2 | рд╣рд╛рдВ | рдЙрдЪреНрдЪ | рд╣рд╛рдВ |
рдпреВ рей | рд╣рд╛рдВ | рд╕рд╛рдзрд╛рд░рдг | рдирд╣реАрдВ |
рдпреВ рек | рд╣рд╛рдВ | рдмрд╣реБрдд рдКрдБрдЪрд╛ | рдирд╣реАрдВ |
рдпреВ рел | рдирд╣реАрдВ | рдЙрдЪреНрдЪ | рдирд╣реАрдВ |
рдпреВ рем | рдирд╣реАрдВ | рдмрд╣реБрдд рдКрдБрдЪрд╛ | рд╣рд╛рдВ |
рдпреВ 7 | рдирд╣реАрдВ | рдЙрдЪреНрдЪ | рд╣рд╛рдВ |
рдпреВ 8 | рдирд╣реАрдВ | рдмрд╣реБрдд рдКрдБрдЪрд╛ | рд╣рд╛рдВ |
рдЯреЗрдмрд▓ рд╡рд┐рд╢реНрд▓реЗрд╖рдг
рд╕реЗрдЯ:
U = {U
1 , U
2 , U
3 , U
4 , U
5 , U
6 , U
7 , U
8 }
рд╕реА = {рд╕рд┐рд░рджрд░реНрдж, рддрд╛рдкрдорд╛рди}
D = {рдлрд╝реНрд▓реВ}
рд╕рдВрднрд╛рд╡рд┐рдд рд╡рд┐рд╢реЗрд╖рддрд╛ рдорд╛рди:
V
рд╕рд┐рд░рджрд░реНрдж = {рд╣рд╛рдБ, рдирд╣реАрдВ}
рд╡реА
рддрд╛рдкрдорд╛рди = {рд╕рд╛рдорд╛рдиреНрдп, рдЙрдЪреНрдЪ, рдмрд╣реБрдд рдЕрдзрд┐рдХ}
рд╡реА
рдЗрдиреНрдлреНрд▓реБрдПрдВрдЬрд╛ = {рд╣рд╛рдБ, рдирд╣реАрдВ}
рд╕рд┐рд░рджрд░реНрдж рд╡рд┐рд╢реЗрд╖рддрд╛ рдХреЗ рдореВрд▓реНрдпреЛрдВ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╕реЗрдЯ рдпреВ рдХрд╛ рд╡рд┐рднрд╛рдЬрди рд╣реИ:
- рдПрд╕ рд╣рд╛рдВ = {рез, реи, рей, рек}
- рдПрд╕ рдирдВ = {рел, рем,,,,}
- рдПрд╕ = {{рез, реи, рей, рек}, {рел, рем, {,,}}
рддрд╛рдкрдорд╛рди рд╡рд┐рд╢реЗрд╖рддрд╛ рдХреЗ рдореВрд▓реНрдпреЛрдВ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╕реЗрдЯ рдпреВ рдХреЗ рд╡рд┐рднрд╛рдЬрди рдХреЗ рд░реВрдк рд╣реИрдВ:
- рдПрд╕ рд╕рд╛рдорд╛рдиреНрдп = {1, 3}
- S рдЙрдЪреНрдЪ = {2, 5, 7}
- S рдмрд╣реБрдд рдЕрдзрд┐рдХ рд╣реИ = {рек, рем}
- S = {{1, 3}, {2, 5, 7}, {4, 6}}
рд╕рдорд╛рдзрд╛рди U рдХреА рд╡рд┐рд╢реЗрд╖рддрд╛ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╕реЗрдЯ U рдХрд╛ рд╡рд┐рднрд╛рдЬрди
рдЗрдиреНрдлреНрд▓реБрдПрдВрдЬрд╛ рдХрд╛ рд░реВрдк рд╣реИ:
- рдПрд╕ рд╣рд╛рдВ = {реи, рем,,,,}
- рдПрд╕ рдирдВ = {рез, рей, рек, рел}
- S = {{2, 6, 7, 8}, {1, 3, 4, 5}}
рдЗрд╕ рддрд╛рд▓рд┐рдХрд╛ рдореЗрдВ рдкреНрд░рд╕реНрддреБрдд рдбреЗрдЯрд╛, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдпреВ
5 рдФрд░ рдпреВ
7, рд╡рд┐рд░реЛрдзрд╛рднрд╛рд╕реА рд╣реИрдВ, рдФрд░ рдпреВ
6 рдФрд░ рдпреВ
8 рджреЛрд╣рд░рд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
рдпреВ рел | рдирд╣реАрдВ | рдЙрдЪреНрдЪ | рдирд╣реАрдВ |
рдпреВ рем | рдирд╣реАрдВ | рдмрд╣реБрдд рдКрдБрдЪрд╛ | рд╣рд╛рдВ |
рдпреВ 7 | рдирд╣реАрдВ | рдЙрдЪреНрдЪ | рд╣рд╛рдВ |
рдпреВ 8 | рдирд╣реАрдВ | рдмрд╣реБрдд рдКрдБрдЪрд╛ | рд╣рд╛рдВ |
рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдЕрдиреБрдорд╛рдирд┐рдд рд╕реЗрдЯреЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╣рдо рдЧрд▓рдд, рд╡рд┐рд░реЛрдзрд╛рднрд╛рд╕реА рдбреЗрдЯрд╛ рдЬреЛ "рд╣рдорд╛рд░реЗ рд▓рд┐рдП рдЙрдкрдпреЛрдЧреА рд╣реИрдВ" рд╕реЗ "рдирд┐рдХрд╛рд▓" рд╕рдХрддреЗ рд╣реИрдВред
рд╣рдо рдХрд┐рд╕ рдкрд░ рдХрд╛рдо рдХрд░реЗрдВрдЧреЗ?
рдирд┐рдореНрди рдкрдж рдЗрд╕ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реБрдП рдбреЗрдЯрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреЗ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди (рдкрд╛рдпрдерди рдореЗрдВ) рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░реЗрдВрдЧреЗ, рдЬрд┐рд╕рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:
- рдирд┐рд░реНрдгрдп рд▓реЗрдиреЗ рд╡рд╛рд▓реЗ рдирд┐рд░реНрдгрдп рдЬреИрд╕реЗ "IF ... THEN ..." рд╕реЗ рдирд┐рд░реНрдгрдп рд▓реЗрдиреЗ рд╡рд╛рд▓рд╛ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо
- LEM рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо, LEM2 [Grzyma┼Вa-Busse, 1992] рдкреНрд░рдХрд╛рд░ рдХреЗ рдирд┐рд░реНрдгрдп рдирд┐рдпрдо рдЙрддреНрдкрдиреНрди рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП "IF ... TH ... ..."