Solution TD Jeux LPO

UNIVERSITE CADDI AYYAD
FACULTE DES SCIENCES SEMLALIA

INFORMATIQUE LPI
INTELLIGENCE ARTIFICIELLE
Exercice 1- Considérons le jeu suivant :
5 2 6 6 7 1 1 8 3 1 1 1 2 3 4 5 6
Utiliser MiniMax puis Alpha-Beta
Exercice 2
Considérez l'arbre de jeu suivant:
- Donnez des valeurs aux feuilles de sorte que l'algorithme ne coupe aucune branche, si on parcourt l'arbre de gauche
à droite.
- Donnez des valeurs aux feuilles de sorte que l'algorithme ne coupe aucune branche, si on parcourt l'arbre de droite
à gauche.
- Est-ce qu'on peut donner des valeurs aux feuilles de sorte que l'algorithme ne coupe aucune branche, si on parcourt
l'arbre de gauche à droite et l'algorithme ne coupe aucune branche, si on parcourt l'arbre de droite à gauche ?
Justifiez.
Exercice 3 :
Formaliser en calcul des prédicats du premier ordre les énoncés suivants :

1. Tout utilisateur a la permission d'écriture sur au moins un fichier.
2. Personne n'a la permission d'écriture sur tous les fichiers.
3. Au moins un utilisateur a la permission de lecture sur tous les fichiers.
4. Si un utilisateur a la permission d'écriture d'un fichier alors il a aussi la permission de lecture de ce fichier.
5. Ce n'est pas vrai que tout utilisateur ayant la permission de lecture sur un fichier a aussi la permission d'écriture
sur celuici.
Pour la formalisation, on utilisera (exclusivement) les prédicats U, F et P :

* U à un argument. Signification intuitive de U(x) : x est un utilisateur.
* F à un argument. Signification intuitive de F (x) : x est un fichier.
* P à trois arguments. Signification intuitive de P (x, z, y) : x a la permission de l'opération z sur y.
et les constantes w (écriture) et r (lecture).
Exercice 4: forme normale conjonctive

Transformer l’expression suivante, écrite en logique du premier ordre, pour qu’elle soit
en forme normale conjonctive.
Exercice 5 : Unification
a) Pour chaque paire de formules, donnez l’unificateur le plus général s’il existe:
1. p(A,C,C);p(x,y,z)
2. q(y,G(A,B));q(G(x,x),y)
3. plus_jeune(fils(y),y);plus_jeune(fils(x),moha)
4. connait(fils(y),y);connait(x,x)
Exercice 5 : Résolution
1) a : constante ; x,y,w,z : variables. Donner la réfutation de l’ensemble :
2)
SOLUTION :
Voici une réfutation de cet ensemble de clauses :
5. q(v4,v6)  q(v6,f(f(v4))) 3-4 RES ; { v7  f(f(v4)) ; v5  v4}

6. q(v4,v1)  q(f(v4),f(f(v4))) 1-5 RES ; { v4  v0 ; v6  f(v0) }
7. q(f(v4),f(f(v4))) 2-6 RES ; { v1  g(v2) ; v2  v4}
8. q(f(v4),v1) 1-7 RES ; { v0  f(v4) }
9.  2-8 RES ; { v1  g(v2) ; v2  f(v4)}
3)
Prouver en utilisant la résolution (réfutationcomplete) que ''Tigres mangent les zèbres'' à partir
des phrases suivantes :
a) les carnivores mangent les animaux.
b) les tigres sont des carnivores.
c) les zèbres sont des animaux.
SOLUTION :
 x Tigre(x)  carnivore(x)
 y Zebre(y)  Animal(y)
 x  y ((Carnivore(x)  Animal(y))  mange(x,y))
 x  y ((Tigre(x)  zebre(y))  mange(x,y))
Forme Clausale (avec négation de la dernière phrase) :

1. Tigre(x)  Carnivore(x)
2. Zebre(y)  Animal(y)
3. Carnivore(x1)  Animal(y1)  mange(x1,y1)
4. Tigre(a)
5. Zebre(b)
6. mange(a,b)
Voici une réfutation de ces clauses :

7. Carnivore(a) 1-4 RES {x  a}
8. Animal(b) 2-5 RES {y  b}
9. Animal(y1)  mange(a,y1) 3-7 RES {x1  a}
10. mange(a,b) 8-9 RES {y1  b}
11.  6-10 RES
4)
Dans cet exercice, on s'intéresse à ces interprétations correspondant à des graphes orientés non vides (i.e. ayant au
moins un sommet), où chaque sommet peut avoir ou pas une (ou plusieurs)
parmi trois propriétés P 1 , P 2 , P 3 . On utilise les symboles de prédicat prédicats suivants :
* arc, binaire. arc(x, y) va être lu comme : un arc va du sommet x au sommet y.

* p 1 , unaire. p1(x) va être lu comme : le sommet x a la propriété P1 .
* p 2 , unaire. p2(x) va être lu comme : le sommet x a la propriété P2.
* p 3 , unaire. p3 (x) va être lu comme : le sommet x a la propriété P3'.
1. Formaliser par une formule F1 du calcul des prédicats l'énoncé : Tout sommet ayant la propriété P1 a aussi la
propriété P2 .
2. Formaliser par une formule F2 du calcul des prédicats l'énoncé : Il n'existe pas de sommet ayant la propriété P1
mais n'ayant pas la propriété P3 .
3. Formaliser par une formule F3 du calcul des prédicats l'énoncé : Si un sommet n'est pas le point d'arrivée
d'aucun arc, alors ce sommet a forcement la propriété P3
4. Formaliser par une formule F4 du calcul des prédicats l'énoncé:

Si s et s0 sont des sommets quelconques tels que il existe un arc de s à s0 , alors : si s a la propriété P2 alors s0
a la propriété P3 , et si s0 a la propriété P1 alors s a la propriété P2 .
5. Utiliser le système de résolution pour montrer que F2 est une conséquence logique de {F1 , F3, F4 }.
Voici une réfutation de l'ensemble de clauses issu de:

Solution TD Jeux LPO

Transféré par

Informations du documentcliquez pour développer les informations du document

Droits d'auteur :

Formats disponibles

Solution TD Jeux LPO

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Solution TD Jeux LPO

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSITE CADDI AYYAD

FACULTE DES SCIENCES SEMLALIA

Exercice 1- Considérons le jeu suivant :

Utiliser MiniMax puis Alpha-Beta

Formaliser en calcul des prédicats du premier ordre les énoncés suivants :

Pour la formalisation, on utilisera (exclusivement) les prédicats U, F et P :

Exercice 4: forme normale conjonctive

1) a : constante ; x,y,w,z : variables. Donner la réfutation de l’ensemble :

5. q(v4,v6)  q(v6,f(f(v4))) 3-4 RES ; { v7  f(f(v4)) ; v5  v4}

Forme Clausale (avec négation de la dernière phrase) :

Voici une réfutation de ces clauses :

* arc, binaire. arc(x, y) va être lu comme : un arc va du sommet x au sommet y.

4. Formaliser par une formule F4 du calcul des prédicats l'énoncé:

Voici une réfutation de l'ensemble de clauses issu de:

Vous aimerez peut-être aussi