Zbirka zadataka iz Ekspertskih sistema

3.2. Metod zadovoljenja ograničenja 205
O ∈ {0}
N ∈ {6} O1: D + 5 = Y + 10C1
E ∈ {5} O2: 14 + C1 = 15
R ∈ {8} O3: 6 = 6
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, 6, 5, 8, D, Y su svi
C10 ∈ {1} međusobno različiti
C1 ∈ {0, 1}
• Biramo C1 za razmatranje. Prema O2, imamo da je C1 jednako 1. Obeležavamo C1
neaktivnim.
Aktivne: D Y
M ∈ {1}
Neaktivne: E M O C100 S N C10 R C1
S ∈ {9} Ograničenja:
O ∈ {0}
N ∈ {6} O1: D + 5 = Y + 10
E ∈ {5} O2: 15 = 15
R ∈ {8} O3: 6 = 6
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, 6, 5, 8, D, Y su svi
C10 ∈ {1} međusobno različiti
C1 ∈ {1}
• Biramo D za razmatranje. Prema O1, važi da je D = Y + 5 pa sledi da je D veće od 4. Od
svih vrednosti za D ograničenje O5 dozvoljava samo D = 7. Obeležavamo D neaktivnim.
Aktivne: Y
D
M ∈ {1}
Neaktivne: E M O C100 S N C10 R C1
S ∈ {9} Ograničenja:
O ∈ {0}
N ∈ {6} O1: 7 + 5 = Y + 10
E ∈ {5} O2: 15 = 15
R ∈ {8} O3: 6 = 6
D ∈ {7} O4: 10 = 10