A
1995-78
NGT GEODESIA
Wtot< 100
Woï=H'i'S+H/ss
0ss=20000Wss
Ovs=50000Wvs
0tot=0vs+0ss
Om dit te kunnen uitvoeren, wordt tijdens het toekennen Fig. 2.
van de waarde bijgehouden vanuit welke constraints een Het constraint-
waardetoekenning heeft plaatsgevonden. Het netwerk van netwerk na
constraints en variabelen dat op deze manier ontstaat, wordt filtering.
het explanation-net genoemd. Deze term is gekozen omdat
dit netwerk ook kan worden gebruikt voor de uitleg aan de
gebruikers. Immers om te weten te komen waarom een varia
bele een bepaalde waarde heeft gekregen, kan eenvoudig het
netwerk worden doorlopen om de verschillende resultaten
voor het toekennen van waarden in te zien. Een explanation-
net zou er op een bepaald moment kunnen uitzien zoals in
fig. 3. Bij dit netwerk wordt ervan uit
gegaan dat de totale opbrengsten maxi
maal dienen te zijn (Maximaliseer otot)
Op het moment dat er een inconsisten
tie optreedt, dus als één van de domei
nen leeg wordt, of het minimum van
een domein wordt groter dan het maxi
mum van het domein, wordt het vol
gende gedaan:
neem het lege domein en creëer een
vergelijking waarin het minimum ge
lijk wordt gesteld aan het maximum,
in de vorm Maximum Minimum
0;
vervang die termen in het explana
tion-net waarvoor een knooppunt
van de constraints (bijvoorbeeld otot
in fig. 1 en 2) bestaat door de bijbe
horende termen van de constraint.
Dus vervang bijvoorbeeld het Mini
mum in de bovenstaande vergelijking
door termen die het minimum be
schrijven en waarvan men wel waar
den weet. Resultaat is een herschre
ven constraint die oplosbaar is;
het nieuwe maximum of minimum
kan nu worden uitgerekend door
eerst de doelvariabele links te schrij
ven. Daarna worden waarden van de
termen in de resulterende vergelij
king gesubstitueerd met de waarde
die deze hadden voor de laatste waar-
detoekenning. Resultaat is een nieu
we waarde voor de doelvariabele;
Oplossen van conflicten
Een variabele die problemen geeft in het netwerk van fig. 2,
is wvs. Het domein is leeg. Daarvoor zal een oplossing moe
ten worden gevonden. Er moet een nieuwe waarde komen.
Deze waarde is echter niet zomaar te vinden. Eerst dient de
waarde voor otot te worden gevonden, die als randvoor
waarde werkt voor de nieuwe waarde van ivvs. Basis voor
deze bepaling vormt de vergelijking:
Max(wvs) - Min(wvs) 0.
Vervolgens worden de termen in de bovenstaande ver
gelijking vervangen door delen van de constraints die in het
explanation-net voorkomen. Dit leidt er bijvoorbeeld toe
(als we letten op de laatste constraint in de rechter
tak van het netwerk) dat Max(wvs) vervangen wordt
door Max(ivtot) - Min(wss) en Min(wss) weer door
Min(oss_)l20.000 enz. Uiteindelijk ontstaat de volgende
vergelijking:
Max(wtot) - (7/100.000) *Max(otot) (1/20.000) *Max(oJ
(1/50.000) Max(oss) 0.
Hieruit volgt de afleiding van Max(om) middels:
Max(otot) 100.000/7) *Max(wtot) (5/7)*Max(oJ
(2/7)*Max(oss).
Met de oude grenswaarden Max(wtot100, Max(ovs)
5.000.000 en Max(oss) 2.000.000, levert dit de nieuwe
domeingrens voor otot op van 5.571.428,6.
Met deze nieuwe waarde van otot is de waarde voor het
probleemgeval wvs te vinden. De nieuwe waarde van wvs is
te berekenen door uit te gaan van het explanation-net en de
nieuwe waarde voor otot.
Gestart wordt met de constraint Min(ovsMin(otot)
Max(oss). Hierin is volgens de eerste vergelijking Min(otot)
te vervangen door Max(otot) (die we kennen) en dan
ontstaat:
Min(ovs) Max(om) - Max(oss).
Invullen van deze vergelijking in Min(wvs) Min(ovs)/
50.000 levert de vergelijking:
Min(wvs) (Max(om) Max(oss))/50.000 op.
Toepassen van de waarde Max(otot) 5.571.428,6 en
Max(oss) 2.000.000 geeft dan 71,4 voor Min(wvs). Dit is
de nieuwe waarde die aan wvs wordt toegekend.
340
