Intelligence Artificielle – TD

LOGIQUES PROPOSITIONNELLE

Exercice 1 - Soit un vocabulaire ne comportant que 3 propositions A, B et C . Combien il y a-t-il de modèles pour les
énoncés suivants?

(1) (A ∧ B) ⇒ (C ∨ B) (2) (A ∧ B) ∨ (B ∧ C) (3) A ∨ B (4) A ⇔ B ⇔ C

En déduire une formule sous forme normale disjonctive équivalente pour chaque énoncé

Exercice 2:
Considérons les formules suivantes:

• (p ∧ ¬q) ∨ (¬p ∧ q)
• ((p ⇒ q) ⇒ p) ⇒ p
• (p ⇒ q) ∧ (¬p ⇒ r) Pour chacune de ces formules:
1. Donner l’ensemble de ses sous-formules.
2. Donner la table de vérité de la formule.
3. Dire si la formule est satisfiable et/ou valide.
4. En déduire une formule sous forme normale disjonctive équivalente

Exercice 3

On considère la formule F= ¬ (A∨ C) ⇒ (¬B∧ (¬C ⇒A))

1. Donner la table de vérité de F

2. En déduire une formule sous forme normale disjonctive équivalente à F

Exercice 4
Montrer les équivalences suivantes en comparant la valeur des formules par rapport aux différentes interprétations
possibles:

(p ∨ q) ∧ (¬(p ∧ q)) ≡ (¬p ∧ q) ∨ (p ∧ ¬q)

Exercice 5 - Appliquez la résolution pour prouver la relation de conséquences suivante :

{¬p ∨ q ∨ r, ¬ r } |= ¬q ⇒ ¬p

{p ∨ q ∨ r, ¬p ∨ q ∨ r, ¬q ∨ r} |= r
Exercice 6- Appliquez la résolution pour prouver la relation de conséquences suivante :

{p ∨ ¬r ∨ ¬t, r, t ∨ ¬p ∨ ¬r, t ∨ ¬q, ¬p ∨ ¬q ∨ ¬r} |= ¬q

CHIHA.Ibtissem Page 1
Exercice 7 - Chaînage avant et arrière
Soit la base de connaissance suivante :

1. B ∧ D ∧ E ⇒ F
7. C ⇒ D
2. G ∧ D ⇒ A
8. X ∧ C ⇒ A
3. C ∧ F ⇒ A
9. X ∧ B ⇒ D
4. B ⇒ X
10. B
5. D ⇒ E
11. C
6. X ∧ A ⇒ H

Peut-on conclure sur H en chaînage avant? En chaînage arrière?

Exercice 8 - Chaînage avant et arrière

Soit la base de connaissance suivante :

1. A ∧ B ⇒ C
5. E ∧ F ⇒ D
2. F ∧ D ⇒ A
6. E
3. D ∧ E ⇒ B
7. F
4. B ∧ D ⇒ F

Peut-on conclure sur C en chaînage avant? En chaînage arrière?

Exercice 9- Chaînage arrière

Soit la base de connaissance suivante :

1. E ∧ B ⇒ C 5. B ∧ D ⇒ F
2. B ∧ D ⇒ A 6. E ∧ F ⇒ O
3. I ∧ H ⇒ B 7. E

4. D ∧ E ⇒ B 8. F

Peut-on conclure sur C en chaînage arrière?

CHIHA.Ibtissem Page 2