Teoria do cwiczen 1 - Wydział Matematyki i Informatyki UWM

Teoria do cwiczen 1 - Wydział Matematyki i Informatyki UWM

Teoria do cwiczen 1
Piotr Artiemjew
Katedra Metod Matematycznych Informatyki
Wydział Matematyki i Informatyki
Uniwersytet Warmińsko Mazurski
email: [email protected]
webpage: http://wmii.uwm.edu.pl/∼artem
Piotr Artiemjew
Teoria do cwiczen1
Sposoby zapisu deskryptora
(a = a(v ))
(a = v )
(a, a(v ))
(a, v )
Znaczenie: (a = a(v )), atrybut a ma wartość v
System Informacyjny: (U, A)
U - uniwersum obiektów;
A - zbiór atrybutów warunkowych;
Przykład:(U, A), U = {ob1 , ob2 , ob3 }, A = {a1 , a2 , a3 }
a1 a2 a3
ob1 1
2
3
ob2 3
2
5
ob3 10 2 17
Piotr Artiemjew
Teoria do cwiczen1
System Decyzyjny: (U, A, d)
U - uniwersum obiektów;
A - zbiór atrybutów warunkowych;
d - atrybut decyzyjny
d 6∈ A
Przykład
(U, A, d)
U = {ob1 , ob2 , ob3 }
A = {a1 , a2 , a3 }
d ∈ D = {1, 2}
a1 a2 a3 d
ob1 7
2
3 1
ob2 3
3
5 2
ob3 10 45 4 1
Piotr Artiemjew
Teoria do cwiczen1
Reguły decyzyjne niesprzeczne
(a1 = 1) ⇒ (d = 1)
(a1 = 2) ∧ (a2 = 7) ⇒ (d = 1)
(pogoda = słoneczna) ∧ (żona = w pracy ) ∧ (czas = wolny ) ⇒
(decyzja = park)
(pogoda = słoneczna) ∧ (żona = w domu) ∧ (czas = wolny ) ⇒
(decyzja = dom)
Piotr Artiemjew
Teoria do cwiczen1
Reguły decyzyjne sprzeczne
(a1 = 1) ⇒ (d = 1)
(a1 = 1) ⇒ (d = 2)
(pogoda = słoneczna) ∧ (żona = w pracy ) ∧ (czas = wolny ) ⇒
(decyzja = park)
(pogoda = słoneczna) ∧ (żona = w pracy ) ∧ (czas = wolny ) ⇒
(decyzja = dom)
Reguła z alternatywną decyzją
(pogoda = słoneczna) ∧ (żona = w pracy ) ∧ (czas = wolny ) ⇒
(decyzja = park) ∨ (decyzja = dom)
Piotr Artiemjew
Teoria do cwiczen1
Reguły EXHAUSTIVE - metoda standardowa
ob1
ob2
ob3
a1
1
1
2
a2
2
5
2
Rząd I:
z ob1
(a1 = 1) ⇒ (d
(a2 = 2) ⇒ (d
(a3 = 1) ⇒ (d
(a4 = 2) ⇒ (d
z ob2
(a1 = 1) ⇒ (d
(a2 = 5) ⇒ (d
(a3 = 7) ⇒ (d
(a4 = 8) ⇒ (d
a3
1
7
7
a4
2
8
2
d
1
2
1
= 1) sprzeczna z ob2
= 1)[2] dobra, pasuje do ob1 i ob3
= 1) dobra
= 1)[2] dobra, pasuje do ob1 i ob3
= 2)
= 2)
= 2)
= 2)
sprzeczna, z ob1
dobra
sprzeczna, z ob3
dobra.
Piotr Artiemjew
Teoria do cwiczen1
Reguły EXHAUSTIVE - metoda standardowa
ob1
ob2
ob3
a1
1
1
2
a2
2
5
2
a3
1
7
7
a4
2
8
2
d
1
2
1
Rząd I: c.d.
z ob3
(a1 = 2) ⇒ (d = 1) dobra
(a3 = 7) ⇒ (d = 1) sprzeczna, z ob2
Rząd II:
z ob1 brak reguł
z ob2 (a1 = 1) ∧ (a3 = 7) ⇒ (d = 2) dobra
z ob3 brak reguł
Rząd III:
Warunek stopu spełniony: brak kandydatów na reguły
Piotr Artiemjew
Teoria do cwiczen1