Lehetséges kérdések
Melyek a lehetséges fogalmak?
„ismeri-e a program a használt fogalmakat?”
Szabályosak-e a relációk?
„van-e értelme ennek a relációnak ezen a forrásokon?”
Lehet-e következetéseket levonni? Például:
„ha 'A' 'B'-től balra van, 'B' 'C'-től balra van, akkor
balra van-e 'A' 'C'-től?”
nekünk nyílvánvaló, egy programnak nem ...
levonhatják-e
a programok ezeket a következetetéseket?
Ha valaki más definiál egy állításhalmazt: ugyanaz-e?
nyilvánvaló probléma egy nemzetközi környezetben
Herman Iván
, a W3C Irodák Vezetője
2003 Május 13
15 (33)