16 May
2021
16 May
'21
12:14 p.m.
Sziasztok!
Aki még a nagyházin dolgozik, de elakadt, keressen meg, és megpróbálok
segíteni.
Egy közérdeklődésre számot tartó kérdés és válasz:
A mintabeszámoló CHR-es feladatával kapcsolatban lenne
egy kérdésem. A
megoldásban a második "min2" szabálytüzelés után az "ants" szabály
tüzel.
Ezt nem értem, hogy miért. Az éppen létrejött "B leq A" miért nem ébreszti
fel előbb az "lm1" szabályt a "min(A,B,C)"-t felhasználva?
Igen, valószínűleg igazad van. Ezen a web-lapon
<https://sicstus.sics.se/sicstus/docs/latest/html/sicstus/CHR-Semantics.html#CHR-Semantics>
található
a CHR szemantika leírása, ez sajnos nem túl precíz, de lényegében arra utal
amit írsz.
A bizonytalanságok miatt a CHR feladat megoldásaként minden olyan lépést
elfogadunk, amely az adott célsorozatban lehetséges, függetlenül attól,
hogy az a célsorozat hogyan jött létre (pl. hogy melyik benne levő korlát
az aktív).
Remélem minél többen el tudtok jönni a holnapi konzultációra.
Péter