TD d'Intelligence Artificielle N° 1 Pr C. TANGHA Exercice I Soient les propositions Pil fait froid q: il pleut Enoncer les phrases simples qui tradui “p - pag - pg { les formules suivantes panq & Sac Exercice I Soie t les propositions p:ilest grand q:ilest beau Ecrire sous forme symbolique en utilisant p et q les énoncés suivants 1- Il est grand et beau 2- Mest grand mais pas beau 3- Ilest faux qu'il soit petit ou beau 4- Il n’est ni grand, ni beau 3- Il est grand ou petit et beau 6- Il n’est pas vrai qu'il soit petit ou pas beau Exercice III Simplifier chacune des formules suivantes en appliquant des lois cc chaque fois laquelle) 1 pv (prq) 2- = (pvq) v (=paq) ues (préciser ercice IV ractériser chacune des formules suivantes 1- py ~ (paq) 2 (pag) - (pvq) wv. ous forme de formules les énoncés suivants, puis utiliser des lois pour les donner les énoncés plus simples correspondants : p’est pas vrai que sa mere soit béninoise et son pére camerounais pas vrai qu’il étudie la physique mais pas les mathématiques pas vrai que les ventes décroissent et que les prix augmentent s vai qu'il ne fait pas froid ou qu'il pleut.Exercice VI Tester la validite du raisonnement suivant je travaille, je ne manquerai pas mon examen d’Informatique Si je ne vais pas au cinéma, alors je travaille -Jai échoué & mon examen d’Informatique -Par conséquent, j‘ai été au cinéma Exercice VII On suppose, par definition, que la valeur de vérité d’une clause est V (Vrai) On voudrai uver les valeurs de vérité des propositions ou littéraux qui les ensembles de clauses ou systémes suivants. Dire alors si chacun de ces sy indécidable, inconsistant ov temes consistant VS, =pv-s, —svr, s} pyqyt, srvqv-s, =pyq, =} pvq, =gvr, p, =r} Yq, 4, Pvavr} al a = (4rV-svt, spvr, spvs, ph { ae Exercice VIII Mettre sous forme conjonctive normale (ou encore for Suivantes et préciser aa nature 1- FI = ((pq) 4 (q>r)) |= (p> ( 2. F2=((paq) vt) = (pa (qvr)) ) chacune des formu e clausal r))TD d'Intelligence Artificielle n° 4 Pr C. TANGHA Exereice I Mettre sous forme prenexe, de skolem, puis clausale les formules suivantes a) (Ax¥yP(x, y) AVy3x—P(x, y)) b) AxVyWaw(P(x, y)A—P(y, x)) » ©) (A(WXG(x)VIAN(y))V(V2G(z)v3w=N(w))) d) (WxP(x)AaxP(X)) e) AxVyP(x.y)aVy3x(PCy, x)>P(x, x))) A) (YX(PO)Q(x))AVxAy(P(x) =P(y))) 8) Vx(P(x, x)AdyP(x,y))AVyVz((P(x, y)AP(y, Z)) 2P(%.2))) h) VxVy3z(P(x, z) A-P(z, y)) i) YxVy3z((P(x, y) AP(y, z)) >P(x, z)) j) AxdyP(, y) = VxVyP(x, y) Exercice II On donne 2 substitutions S1=(f(x, y)/z, a(b)/v, y/w, h(a, x)/u, g(b)/y} et $2 ={a/x, v/w, h(u, x)/y, b/z}. | Est-ce que $1°S2 est-il identique 4 $2°S1 ? Justifier votre réponse. Exercice I On donne le raisonnement constitué par les formules suivantes : VV vVu(Yx(S(x, x) DU(x, x))) (5 (TG, f(v)) AUC, fv) (vy(R(y, 2) v Sy, u))) Par conséquent 3x4y(T(x, y) R(x, y)) _ a) Donner I’ensemble des clauses qui constituent ce raisonnement b) Donner le graphe de dérivation de ce raisonnementTD d'Intelligence Artificielle n° 3 Pr C. TANGHA ‘On donne les propositions suivantes pil cultive le champ il produit des truits Fil vend des récoltes ule temps est favorable Vv: iLest paresseux Eerire les tormules correspondant aux assertions suivantes 1 = Ilest paresseux, mais il cultive le champ. 2= Ine cultive pas le champ, bien qu’il ne soit pas paresseux 3 ~ I produits des fruits et vend des récoltes si le temps est favorable 4 Le temps n’est pas favorable, pourtant il cultive le champ 5-S'il cultive le champ et le temps n’est pas favorable, alors soit il ne produit pas de fruits, soit il ne vend pas de récolte. 6~ Il ne vend pas de récolte ps e qu'il est paresseux ou il n’a rien produit 7- Il n'est pas vrai qu'il soit paresseux, avec un temps favorable et il ne produit pas de fruit 8~ Il est faux qu'il ne cultive pas le champ alors que le temps est favorable, b) Traduire en frangais correct les formules suivantes 1=(par) S5v 2 = (uvv) 5-4 3 - pav 4-3 (pasw) 0-0) c) Donner la nature du raisonnement exprimé par l'ensemble des expressions suivantes {pv-gvr, vv, vanp, -vvu} b =q xercice I On donne les formules suivantes. Pour chacune d’elles, indiquer sa forme conjonctive normale, sa forme clausale et sa nature a) FI =((AvB) AC) > ((BvC) nA) b) F2=((AvB) 5C) > (BvC) ©) F3= (Aa (BsC)) > (ByC) Exercice HI: Metre les formules suivantes sous forme prennex €, puis clausale a) Fa = Wx(2(R(z, x) >(yR(y.x) A (B1(R(t, x) AR(t, 2)))))) b) FS = WyxR(x, y) eV2WxR(z, x) EX‘TD - Intellegence Artificielle N° 2 Pr, Claude TANGHA Exercice 1 | ‘On donne les propositions sui . Pp: il gagne r:ilse drogue q: il est malade s+ ilest sporti f: illest de sexe féminin ‘Traduire en frangais correct les formules suivantes a) (ras) Sp b) q>-p. ©) (fagyvr d) spa(saar) e) (fSr)a—p z 1) (Aoap Ecrire les formules correspondant aux phrases suivantes : a) Un malade qui se drogue ne peut pas gagner b) Un joueur de sexe féminin gagne s'il est sportif c) Il n'est pas vrai qu’il se drogue et ne gagne pas d) Iln’est pas un sportif malade qui gagne et ne se drogue pas Exercice II On donne les formules suivantes représentant un raisonnement A> (BVvC) AB> (AnD) D>(Byv-C) Par conséquent : B Est-il valide ? Expliquer trés clairement votre démarche. Exercice HII Meitre sous forme conjonctive normale les formules suivantes : 4) Fl=(A=4B) > (C>A)) b) F2=((4An=B) 3( =A vC)) ©) F3=—(A vB) 3C) iv F4=—(((A>B) >-B) 2B) (A vB) a (-BvC)) 3(AvC))