Zbirka zadataka iz Ekspertskih sistema

202 3. Strategije rešavanja problema
E ∈ {5} O2: N + R + C1 = 5 + 10C10
R ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O3: 5 + O + C10 = N + 10C100
D ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O4: S + 1 + C100 = O + 10
Y ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C100 ∈ {0, 1} O5: 1, S, O, N, 5, R, D, Y su svi
C10 ∈ {0, 1} međusobno različiti
C1 ∈ {0, 1}
• Bira se S za razmatranje; da bi O4 bilo zadovoljeno, S mora imati vrednost 8 ili 9 jer je
desna strana O4 veća ili jednaka 10. Drugo ograničenje koje pominje O5 je S i ono ne
doprinosi daljoj redukciji mogućih vrednosti. S se označava neaktivnim.
Aktivne: O C100 N C10 R C1 D Y
M ∈ {1}
Neaktivne: E M S
S ∈ {8, 9} Ograničenja:
O ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
N ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O1: D + 5 = Y + 10C1
E ∈ {5} O2: N + R + C1 = 5 + 10C10
R ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O3: 5 + O + C10 = N + 10C100
D ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O4: S + 1 + C100 = O + 10
Y ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C100 ∈ {0, 1} O5: 1, S, O, N, 5, R, D, Y su svi
C10 ∈ {0, 1} međusobno različiti
C1 ∈ {0, 1}
• Bira se O za razmatranje; na osnovu O3 ne može se eliminisati nijedna od mogućih
vrednosti za O. Iz O4 sledi da je O jednako ili 0 ili 1 jer je S ili 8 ili 9 a C100 je 0 ili 1. Iz
O5 sledi sa O ne može biti 1 (jer je M=1). Znači da je O = 0. Obeležavamo O neaktivnim,
a S aktivnim, jer se pojavljuje u ograničenjima zajedno sa O, a nije mu utvrđena konačna
vrednost.
Aktivne: S C100 N C10 R C1 D Y
M ∈ {1}
Neaktivne: E M O
S ∈ {8, 9} Ograničenja:
O ∈ {0}
N ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O1: D + 5 = Y + 10C1
E ∈ {5} O2: N + R + C1 = 5 + 10C10
R ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O3: 5 + C10 = N + 10C100
D ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O4: S + 1 + C100 = 10