__________________________________________________________________

Epreuve d’intelligence artificielle

Examen ( Janvier 2019 )
Durée : 2 heures

Problème 1.
Étant donné le texte suivant, pouvez-vous prouver que la licorne est mythique ?
Qu’elle est magique ? Qu’elle a une corne ?
Si la licorne est mythique alors elle est immortelle. Si elle n’est pas mythique
c’est un mammifère mortel. Si la licorne est soit immortelle soit un mammifère,
alors elle a une corne. La licorne est magique si elle a une corne.
On attribue les variables propositionnelles suivantes :
– M : la licorne est un animal mythique.
– I : la licorne est un animal immortel.
– A : la licorne est un mammifère.
– C : la licorne a une corne.
– G : la licorne est un animal magique.
On rappelle que « soit... soit... » correspond au “ou exclusif”, qui s’interprète
comme la négation d’une équivalence.
Appliquez l’algorithme de robinson, à savoir le principe de résolution, pour
répondre aux questions posées.

Problème 2.
En utilisant les symboles de prédicat suivantes :
O(X) : X est un ogre
E(X) : X est un elfe
N(X) : X est un Nain
M(X,Y) : X est un ennemi de Y
A(X,Y) : X est un ami de Y

Traduire les propositions suivantes :

 Les elfes sont des ennemis des ogres, mais ils ne sont pas ami des nains.
 Tout nain qui est ennemi de quelque ogre est ami de tout elfe
 Il y a un nain et un elfe qui sont ami l’un de l’autre.
En utilisant l’algorithme de Robinson, démontrer la validité de ce résonnement.

______________________________________________________________________________ 1
A. ELKARI, docteur d’Etat