Zbirka zadataka iz Ekspertskih sistema

3.2. Metod zadovoljenja ograničenja 203
Y ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C100 ∈ {0, 1} O5: 1, S, 0, N, 5, R, D, Y su svi
C10 ∈ {0, 1} međusobno različiti
C1 ∈ {0, 1}
• Biramo S za razmatranje; ne može se eliminisati nijedna od vrednosti za S pa ga
označavamo neaktivnim.
• Biramo C100 za razmatranje. Prema O3 mora biti C100 = 0, u suprotnom bi desna strana
O3 bila veća od 10. Obeležavamo C100 neaktivnim, a S aktivnim (jer se pominje u O4
zajedno sa C100).
Aktivne: S N C10 R C1 D Y Neaktivne: E M O C100
M ∈ {1}
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
D ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O4: S + 1 = 10
Y ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C100 ∈ {0} O5: 1, S, 0, N, 5, R, D, Y su svi
C10 ∈ {0, 1} međusobno različiti
C1 ∈ {0, 1}
• Biramo S za razmatranje; iz O4 sledi da je S jednako 9. Obeležavamo S neaktivnim.
Aktivne: N C10 R C1 D Y Neaktivne: E M O C100 S
M ∈ {1}
S ∈ {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
D ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O4: 10 = 10
Y ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C100 ∈ {0} O5: 1, 9, 0, N, 5, R, D, Y su svi
C10 ∈ {0, 1} međusobno različiti
C1 ∈ {0, 1}