Ù"Þ""‡ÞÛÚÚ"ÛÙ"ÙÙ"ÚÞÛ"""UV IA41 – Automne 2006Initiation à l'Intelligence Artificielle et représentation de s connaissancesExame n Final(Correction)Coefficient : 40%Document autorisé : ensemble de s cours+ TD+ TP.Remarques et conseils :– Lisez attentivement chaque que stion a vant d'y r épondre.– Indiquer clairement le num éro de la que stion a vant d'y r épondre.– Expliquez autant que pos sible les choix que vous faîtes lorsque vous dé finissez de s pr édicats.Partie I : Questions de logique (7 points)Question 1 ( 4 points) :Réécrire en logique des prédicats du premier or dre et indiquer le programme PROLOG de s énoncés suivants :a) « Tout nom bre impair ou é gal à 2 peut être un nom bre pr emier. »x (impair(x) (x=2)) premier(x)premier(X):-(X mod 2) =:= 1.premier(X):-(X =:= 2) .b) « Pour tout entier X et Y, X est le maximum de X et de Y si et seulement si X est supérieur ou égal à Y, sinon Y est le m aximum. »x y (x y max( x,y)=x) (x < y max( x,y)=y)max( X,X ,Y ):-X>=Y .max( Y,X ,Y ):-X
Voir