Page 1 sur 3

Programmation logique
Série de TD n°1

Résolution dans le calcul propositionnel

Exercice 1

Donner les formes normales conjonctives et disjonctives des formules suivantes:

1. (p0  p1)  (p0  p1)
2. ((p0  p1)  p0 )

Exercice 2

Dans le système (LP), donnons-nous les ensembles C et F suivants :

(1)- C = { a  b  c , a  c , a  b  e } , F = {e}
(2)- C = { p  q  r , p , q } , F = {s}
(3)- C = { q  p, p  r  q, p  q, p  t, p  r, p  q  s  t, p  s  t },
F = {t}
Pour chacun des trois cas, vous direz si F est une conséquence logique de C.
Si oui, vous donnerez une preuve par résolution.
Si non, vous donnerez une raison.

Exercice 3

Montrer par résolution que :

𝑎 ∧ 𝑏 ⇒ 𝑐 ⊨ 𝑎 ⇒ (𝑏 ⟹ 𝑐)

Exercice 4

Une enquête révèle les informations suivantes :

− Si on est logicien alors on est fou
− On ne peut être fou et en même temps aimer les rousses
− Quelqu’un qui déteste ce genre de problème n’est pas un logicien
− Tout le monde aime les rousses
Est-il correct de conclure : soit on déteste ce genre de problème soit on est fou ?
 Page 2 sur 3

Résolution dans le calcul des prédicats

Exercice 5

Mettre les formules suivantes sous forme clausale :

1. (x A(x)) a(yz B(y, z))

2. (xy A(x, y))  (xz C(x, z))
3. (xy A(x, y))  (x B(x))
4. ∀x p(x)  (∃t q(t) ∨ ∃t c(t))
5. ∀x (∀y p(x,y)  ∃z r(x,z))
6. ∀x ∀y ∃z (p(x,y,z) ∧ (∃u q(x,u)  ∃v q(y,v)))
7. ((∃x p(x)  ∃x r(x) ∨ ∀y p(y)) ∧ ∀x ∃y (r(y)  p(x)))

Exercice 6

Après avoir transformé le problème sous bonne forme, utiliser le théorème de Herbrand
pour savoir si la formule :
T=x(r(x) p(x))
est conséquence des formules
A1=x(p(x)  (q(x)r(x)))
A2=y(q(y) r(y))

Exercice 7

Démontrez en utilisant le théorème de Herbrand , que les formules suivantes sont

valides :
a) ∃x ∀y p(x, y)  ∀y ∃x p(x, y)
b) ∀ x (p(x) → q(x))  ( ∃x p(x) → ∃x q(x))
c) ∃x (∃y ∀z p(x, y, z) ∀z ∃y p(x, y, z))
d) (∀x ∃y p(x, y) ∧ ∀x ∃y q(x, y))  ∀x ∃y ∃z (p(x, y) ∧ q(y, z))

Exercice 8

Appliquer l'algorithme d'unification pas à pas pour unifier les atomes suivants:

1. At1=p(x,f(x),g(f(x),x))
At2=p(z,f(f(a)),g(f(g(a,z)),v))

2. At1=p(x,f(x),f(f(x)))
 Page 3 sur 3

At2=p(f(f(y)),y,f(y))

3. At1=p(f(g(x,y)),g(u,w),y)
At2=p(f(z),x,f(x))

4. At1=p(f(b,x,x),y,y))
At2=p(z,z,f(w,w,b))

Exercice 9

Après avoir transformé le problème sous bonne forme, Etablir dans RAV que la formule :
F=z q(z)
est conséquence des formules
A1=y x p(x,y)
A2=(x y p(x,y) z q(z))

Exercice 10

Soit l'énoncé suivant:

Un dragon est heureux si tous ses enfants peuvent voler.

Les dragons verts peuvent voler.
Un dragon est vert s'il a au moins un parent vert ou rose.
Les dragons verts sont-ils heureux?

1. Traduire chaque phrase en une formule du calcul des prédicats, en utilisant les
prédicats suivants:
h(x): "x est heureux"
p(x,y):"y est un enfant de x"
vert(x): "x est vert"
rose(x): "x est rose"
voler(x): "x vole"
2. Après avoir transformé le problème sous bonne forme, répondre à la question posée
dans l'énoncé, en utilisant RAV.