‫بسم هللا الرحمن الرحيم‬

CHAPITRE 2 :
La logique propositionnelle et la logique
des prédicats

2
 1. Introduction

La logique a été utilisée dans l’IA à plusieurs endroits :

- Utiliser des expressions logiques pour représenter des faits et des

connaissances.
- Utiliser la logique pour inférer des connaissances des conclusions.

Nous présentons d'abord le calcul propositionnel, et nous introduirons

des définitions et des notions sur lesquelles nous reviendrons pour
l'étude du calcul des prédicats, en ajoutant la notion de quantification.

Objectifs :

- Traiter formellement les notions de vérité et fausseté.

- Formaliser le raisonnement logique et la déduction logique.
- La logique propositionnelle et la logique d’ordre 1 (la logique des
prédicats)
3
 2. Logique des propositions

QU’EST-CE QU’UNE PROPOSITION ?

✓ Une connaissance qui est vraie ou fausse!
Exemple :
- il pleut p1
- il fait beau p2
- après le repas, je tonds la pelouse p3
- Il y a un bon film à la télévision ce soir p4

✓ Chacun de ces énoncés est représenté une proposition.

✓ On nomme chaque proposition élémentaire (atomique).

→ Construire de nouvelles propositions à partir de celles qui

existent en ajoutant des connecteurs :

- Il pleut et il y a un bon film à la télévision ce soir: p1 ^ p4

- Je ne tonds pas la pelouse après le repas: ¬p3
- Il pleut si et seulement si il ne fait pas beau: p1  ¬p2

4
 2. Logique des propositions

OBJECTIFS

5
 2. Logique des propositions

SYNTAXE DU LANGAGE
Vocabulaire
• un ensemble de variables propositionnelles(atomes)
{ p, q, r, … } énoncés élémentaires
• un ensemble de connecteurs
{,,,→,}
• Ensemble de délimiteurs
{(,)}

Formules bien formée (fbf)

• p est une fbf
•  (H) est une formule si H est une fbf
• (H K), (H  K), (H → K) et (H  K) sont des fbf si H et K sont des fbf
✓ On utilise les parenthèses pour éviter les ambigüités de lecture.

✓ Priorité décroissante des connecteurs dans l’ordre:

✓ Quand il y’a un seul connecteur l’association se fait de gauche à

droite 6
 2. Logique des propositions

Exemples:

TABLES DE VERITE : OPERATEURS

• Pour n atomes →

interprétations

FORMULES PARTICULIERES
Tautologie (valide) : formule toujours vraie
• Toutes les interprétations ne contiennent que des V
• exemple : p   p

7
 2. Logique des propositions

VALIDE, INVALIDE, INCONSISTANTE, CONSISTANTE ???

8
 2. Logique des propositions

VALIDE, INVALIDE, INCONSISTANTE, CONSISTANTE ???

Exemple:
La formule : (P ∨ ¬Q) ∧ (¬P ∨ Q) est-elle valide ?

Il existe une interprétation dans laquelle la formule est vraie elle

est donc consistante

Il existe une interprétation dans laquelle la formule est fausse elle

est donc invalide
9
 2. Logique des propositions

FORMULES EQUIVALENTES UTILES FORMULES PARTICULIERES

10
 2. Logique des propositions

FORMES NORMALES
▪ avoir une représentation uniforme des formules du calcul
propositionnel
▪ limiter le nombre de connecteurs différents utilisés

11
 2. Logique des propositions

- une formule β est une conséquence logique d’une formule α (on note α ⊨ β )

12
 3. Logique des prédicats (logique d’ordre 1)

EXEMPLE DE MODELISATION

SYNTAXE
des connecteurs (, , , → et )
des quantificateurs ( et  )
des variables (x,y, …)

des relations (prédicats) (R, S, éclaire, …)

▪ Les prédicats d’arité 0 sont les PROPOSITIONS
des symboles de fonctions (f, g, …)
▪ les fonctions d’arité 0 sont des constantes 13
 3. Logique des prédicats (logique d’ordre 1)

VOCABULAIRE

14
 3. Logique des prédicats (logique d’ordre 1)

FORMULES
✓ Un atome est une formule bien formée
✓ Si F et G sont des formules bien formées et X une variable,
alors les expressions suivantes sont des formules bien formées :

EXEMPLE:
En début d'année se pose l‘éternel problème de la gestion des emplois du
temps, des salles et du matériel d'enseignement.
On utilise les prédicats suivants :
✓ retro(x) : x est un rétroprojecteur.
✓ video(x) : x est un vidéoprojecteur.
✓ amphi(x) : x est un amphi.
✓ salleTD(x) : x est une salle de TD.
✓ estDans(x,y) : x est dans y. 15
 3. Logique des prédicats (logique d’ordre 1)

TRADUCTION

16
 3. Logique des prédicats (logique d’ordre 1)

CARACTERISTIQUES DES VARIABLES

✓ Une variable X est dite liée dans une formule F ssi toutes les
occurrences de X sont dans la portée de son quantificateur
sinon elle est dite libre.

Exemple:
La portée de ∀ est

✓ Une formule n’ayant pas de variable libre est dite close (fermée)

Liées
Exemple 2:
Libres

Le champ d’un quantificateur est la

partie de la formule couverte par un
quantificateur

17
 3. Logique des prédicats (logique d’ordre 1)

TRANSFORMATION DE FORMULE

Forme normale prénexe

✓quantificateurs en tête de la formule
✓formule sous forme normale conjonctive

Forme standard de Skolem

✓formule sous forme normale prénexe
✓quantificateurs existentiels précédant quantificateurs universels

18
 3. Logique des prédicats (logique d’ordre 1)

FORME NORMALE PRENEX D’UNE FBF

19
 3. Logique des prédicats (logique d’ordre 1)

SKOLEMISATION

20
 3. Logique des prédicats (logique d’ordre 1)

SKOLEMISATION (suite)

TRANSPORT DES QUANTIFICATEURS

si H ne contient aucune occurrence de x

21
 3. Logique des prédicats (logique d’ordre 1)

Raisonnement et Preuve
Inférences
• Elimination du quantificateur universel
 x, aime(x, glace)  aime (Leila, glace) {x / Leila}

• Elimination du quantificateur existentiel

 x, frapper(x, Hager)  frapper (Leila, Hager)

• Introduction d’un quantificateur existentiel

aime (Leila, glace)   x, aime(x, glace)

• Modus Ponens
P, (P → Q)  Q

• Modus Tollens
Q, (P → Q)  P
22
 3. Logique des prédicats (logique d’ordre 1)

Raisonnement et Preuve
Déduction par réfutation
• {C1,…,Cn} → C

{C1,…,Cn}  { C}   (clause vide)

• Exemple: {Homme(Socrate)}  {Homme(x), Mortel(x)}

 {Mortel(Socrate)}  

23
 3. Logique des prédicats (logique d’ordre 1)

Raisonnement et Preuve
Résolution
• Substitution, Instanciation
Homme(x) s’instancie en Homme(a) par la substitution ={x/a}

• Unification
Homme(x) et Homme(Socrate) s’unifient en Homme(Socrate)

• Résolution [Robinson 65]

{Homme(Socrate)}  {Homme(x), Mortel(x)}  Mortel(Socrate)
={x/Socrate}

24
 4. Autre logique: Logique floue

▪ Jusqu'à présent, une proposition était soit vraie, soit fausse :

- deux choix possibles
- par exemple, l'eau est froide ou l'eau est chaude

▪ Avec la logique floue, la valeur d'une proposition est un nombre

réel de l'intervalle [0,1].
- Une proposition peut être en partie vraie et en partie fausse.
- L'eau est froide (0), chaude (1) ou l'eau est tiède (0.5)

▪ Donc, nous ne manipulons plus des valeurs Vrai ou Faux, mais des
valeurs numériques entre 0 et 1.

25
 4. Autre logique: Logique floue

Règles de la logique floue

A ^ B = min (A,B) (le plus petit des deux)

A^B = A si A<B
A^B = B si B<A

A v B = max (A,B) (le plus grand des deux)

AvB = A si A>B
AvB = B si B>A

¬A = 1-A (inverse de A)

➢ Si A et B valent 0 ou 1, alors on revient à la logique des propositions.

Exemples :
1 ET 0.3 donne 0.3
0.67 ET 0 donne 0
0.12 OU 0.98 donne 0.98
NON 0.54 donne 0.46
26