2012/1/3 Zsolnai Károly <keeroy(a)gmail.com>
Sziasztok!
Alant olvasható mai kínzattatásom tárgya.
------------------------
16 megoldás jó a 17-ből.
------------------------
A legelső test case hibázik, mégpedig:
Comparing clause +: , indexical No. 1: X in (...) (itt egy kódrészlet van,
ezt kitöröltem innen)
with relation Z>max(X,Y),
using interval 1..2 ...
'z>max(x,y)'(1,2,2) holds, while 2>max(1,2) is not true
Kipróbáltam lokálon, hogy tényleg így van-e. A using interval 1..2
kifejezést úgy értekeltem, hogy az egy domain(...), de megnéztem anélkül is.
domain([X,Y,Z], 1, 2), X#=1, Y#=2, Z#=2, 'z>max(x,y)'(X,Y,Z).
-> no
Ha CSAK a kifogasolt indexikalist tartod meg az FD predikatumban, akkor
yes-t mond, kiprobaltam.
(egyebkent a tarsashaz elv miatt a masik ket jo indexikalis valamelyiket is
hasznalhatja a rendszer, es ez esetben jo valaszt kapunk).
Tudok róla, hogy fdcheck-kel is kellene vizsgálni, de
nem sikerült
futtatni az alábbi eljárást:
fd_pred_semantics(Head, Rel).
Az összes többi "valódi" test case jól lefut. Én néztem el valamit?
+1: másoknak esetleg hasznos lehet a lenti link.
http://sziami.cs.bme.hu/**pipermail/nhlp-l/2004-**December/000042.html<h…
Koszonom, hogy megirtad. Frissitettem a honlapon az fdcheck.pl-t tartalmazo
csomagot, a SICStus 4-es valtozatahoz igazitva:
http://www.cs.bme.hu/~szeredi/nlp/fdpred_semantics_v4.tgz
Peter