CONTROLE CONTINU 35 bac : Chasse: rics DUREE : o1n? EC : PROGRAMMATION LOGIQUE pee oa sity ANNEE ACADEMIQUE : 2016.2017- ENSEIGNANT : ERENEZER Mara teak Aucun document nest Autorisé autre que la feuille de composition EXERCICE 1: LOGIQUE DU PREMIER ORDRE (1x-4=4pts) 1. Représ ‘eprésenter en logique des prédicats les énonces suivants a. Mya des crimes. b. Les gens mathonnétes arrétés ne commettent pas de crimes. 2. Traduire en francais les expressions en logique du premier ordre ci-dessous a. Yx(poisson( x)» —requin( x) -» sysenfant(y) > gentil(x. y)) b. 3x (etudiant(x) .vylenseignant(y) »aime(x. y)) EXERCICE 2 : MAITRISE DES REGLES DE PROLOG (0,75x10=7,5pts) On considare les prédicats, homme(x) et femme(x) qui signifient respectivement que X est un homme et que X est une femme. Expliciter sous forme de régles la definition des relations suivantes : a. parent (ou enfant, suivant le choix fait initialement). b. fils, fille. c. pere, mere 4. grand_parent, grand_pére, grand_mere. e. petit_fils, petite_fille. EXERCICE 3 : PROGRAMMAION LOGIQUE (8,5 pts) Ecrire les clauses Prolog correspondant au fait que les animaux sont herbivores ou carnivores, les carnivores mangent de la viande et des herbivores, lesquels mangent de (herbe. Tous boivent de (eau. Les animaux féroces sont carnivores, le lion est féroce alors que Lantilope est un herbivore. Qui consomme quoi ? NB : L'étudiant utilisera essentiellement les prédicats ci-dessous. ° animal * herbivore * carnivore * feroce «mange © boit * consomme Tout ce qui est déclaré sans preuve peut étre nié sans preuve...Alors soyez loziaueeen ee SS PS Gee eek ee SE Ie tl [ EXAMEN DE FIN DE SEMESTRE CLASSE : TTIC3 DUREE : O1H30 EC : PROGRAMMATION LOGIQUE DATE : JUILLET 2017 ANNEE ACADEMIQUE : 2016.2017 ENSEIGNANT : EBENEZER MAKA MAKAl | -Aucun document n’est autorisé autre que la feuille de composition EXERCICE 1 : LOGIQUE DU PREMIER ORDRE (1x6=6pts) On considére les relations suivantes : chat(x) : x est un chat ; chien(x) : x est un chient ; connait (x,y) : x connait y 5 deteste(y,x) :y deteste x; —_poisson(x}: x est un poisson; —_requin(x) : x est un requin 5 enfant(x) : x est un enfant; aime(x,y) :x aime y gentil(x,y) : x est gentil avec y 5 1. Représenter en logique des prédicats les énoncés suivants : a. Tous les poisons, sauf les requins, sont gentils avec les enfants. b. Chaque personne aime queiqu’ un et personne n’aime tout le monde, ou bien quetqu’un aime tout le monde et quelqu’un n’aime personne cc. Chaque chat connait un chien qui le déteste. 2. Traduire en francais les expressions en logique du premier ordre ci-dessous a v(homme(:c) 0 mechant(x))) be xii) smnlx)} €. Axthomme(x)a Ys(Femme(y) > aime(x, »)) EXERCICE 2 : MAITRISE DES REGLES DE PROLOG (0,5x10+0,5x6=8pts) ‘On considére le programme ci-dessous écrit en langage PROLOG. 5. mange(, Y) t= carnivore (X) 6. wanga(x, viande) t- carniver 7. boit(S, eau) :- animal (x). 8, mange (X, herbe) i- herbivore ( ¥) t- mange (%, ¥). ro boiti(%, Y) Commenter chaque ligne de ce programme puis donner fe nombre de solutions renvoyer par le but « consomme(X,¥) » et expliciter les valeurs de X et Y correspondants pour chaque solution.~ dacumant n’ect autarica atifre que la Teulic GL Lipa EXERCICE 3: PROGRAMMAION LOGIQUE (6 pts) L'inspecteur AbdouraBojik veut connaitre les suspects quil doit interroger pour un certain nombre de faits : i tient un individu pour suspect dés quill était present dans un tyeu, un jour ol} un vol a été commis et si a pu voler la victime. Un individu a pu voter, soit sil était sans argent, soit par jalousie. On dispose de faits sur les vols, par exemple, Marie a ¢té volée lund a Uhippodrome, Jean, mardi au bar, Luc, jeudi au stade. Il sait que Max est sans argent et redi, Eric au bar u've est trés jalouse de Marie. Il est attesté par ailleurs que Max au bar me mardi. Et quéve était a Uhppodrome tundi. (On ne prend pas en compte la presence des mictimes comme possibilité quits alent ete aussi voleurs ce jour-la). Ecrire le programme Prolog qui, & la question suspect(X), renverra toutes les reponses possibles On vous donne le debut du programme & écrire ci-dessous, il sutfit juste de compléter les 8 lignes restantes : 9. 10. We | | I Ou: present (X,L,J) signifie que X était au lieu L le jour J apuvoler (x,V): Xa pu voler V. sansargent (X) : X est sans argent jaloux (x,¥) : X est jaloux de Y vol (L,J,V) : Va été volé le jour J au lieu L Que renvoi la question: ? suspect (x). Tout ce qui est declaré sans preuve peut étre nié sans preuve....Alors sayez logique