Université de Jijel Module 

: Intelligence Artificielle
Faculté des sciences exactes et de l’informatique
Département d’informatique
2015-2016
Série de TD N°2 (Calcul des prédicats)

Exercice 1 :
Considérez les phrases suivantes :
– Jean aime tous ce qui est comestible.
– Les pommes sont comestibles.
– Le saucisson est comestible.
– Tous ce qu’on peut manger et qui ne tue pas est comestible.
– Chacun qui a été tué par quelque chose n’est plus vivant.
– Bertrand mange des cacahuètes et vit toujours.
– Suzanne mange tout ce que mange Bertrand.
Traduisez ces phrases en formules de la logique du premier ordre.

Exercice 2
1. SI X aime la musique classique et les maths ALORS il pourrait aimer Bach
2. Si X aime la musique classique et est de tempérament romantique ALORS il pourrait
aimer Schubert.
3. SI X est de tempérament romantique ALORS il pourrait aimer Cabrel.
4. SI X écrit des poèmes ALORS il est de tempérament romantique.
Questions :
a- Modéliser ces quatre règles avec la logique de prédicats.
b- qu’on ajoute au programme précédent les deux clauses suivantes : aime(toto, musiqueC).
ecritPoeme (toto).
Résoudre le but peutAimer(toto,X)