Mészáros Krisztián <mk491(a)hszk.bme.hu> writes:
Sziasztok!
Elég érdekes jelenségre bukkantam, s nem nagyon értem.
Az alábbi jelenség akkor állt elõ, ha a kérdezõ indexikálisokban az X-re
írtam fel kifejezést.
Viszont ha mindezt a Z-re teszem meg, akkor rendesen lefut.
fdcheck mindkét esetben hibátlanul lefut 0..9 tartományt használva.
Ha az fdcheck lefut, akkor az indexikalisok szemantikaja jo, tehat az
eltero viselkedes valoszinuleg abbol fakad, hogy az X-re felirt kifejezes
nem antimonoton. Nezd meg ebbol a szempontbol.
Krisztián
> -----Original Message-----
> From: Mészáros Krisztián [mailto:mk491@hszk.bme.hu]
> Sent: Wednesday, January 05, 2005 10:20 PM
> To: 'A Nagyhatékonyságú Logikai Programozás c. tárgy listája'
> Subject: khf3
>
> Hello!
>
> Igazából nem nagyon szeretném feldobni a házimat, így viszont egy kissé
> béna lesz a kérdés:
>
> Szóval reifikációnál bár mindkét futásnak azonos eredményt kéne hoznia,
> nem az lesz.
>
> A következõ mûveletekrõl van szó:
> 1. (((8..sup) /\ 8..9) ? (inf..sup)) \/ (8..sup)
> 2. (((8..sup) /\ 9) ? (inf..sup)) \/ (8..sup)
Igen, bar a 2. sorban a 9 gyanus, talan {9} kellene. Amugy tenyleg azonos
eredmenyt adnak. De ha az fdcheck nem jelez hibat, akkor nem is a
tartománykifejezes kiertekelese korul, hanem az antimonotonitas korul van a
baj, arrol meg ez a ket sor nem ad infot.
Ha vegkepp elakadsz irj nekem maganmailt.
-Peter