Logique & intelligence artificielle

Par M. Machkour
Logique des prédicats du 1er ordre (suite)

Séance 5
Objectifs
 Les variables libres et liées

 Formules fermées et ouvertes

 Substitutions et instanciations

3
 Variable libre vs variable liée
- Une variable X dans une ebf A est dite liée si elle est quantifiée dans A :
- ⱯX A

- ⱻX A

- Une variable X dans ebf est dite libre est non quantifiée dans A.

4
 Exemples
-x p(x)
-ⱻy p(y)
-q(x)
-q(x,y)
-x ⱻy (p(x) → q(x,y))
-x (p(x) → q(x,a))

5
 Exercice

Indiquer la nature des variables dans les formules suivantes:

- p(x) → q(x,y)
-x (p(x) → q(x,y))
-(x p(x)) → q(x,y)

6
 Réponse

Indiquer la nature des variables dans les formules suivantes:

- p(x) → q(x,y)
-x (p(x) → q(x,y))
-(x p(x)) → q(x,y)

7
 Formule fermée
Formule fermée est une formule où toutes les variables sont liées
- xy(p(x) → q(x,y))
- x (p(x) → y q(x,y))
- x(p(x) → q(x,y))

8
 Formule ouverte
Formule ouverte = au moine une variable libre
- x(p(x) → q(x,y))
- p(x) → q(x,y)
- (xp(x)) → q(x,y)

9
 Exercice
Indiquer la nature des formules suivantes, ouverte ou fermée
-x p(x) (f car x est liée)
-ⱻy p(y) (f car y est liée)
-q(x) (o car x est libre)
-q(x,y) (o car x et y libres)
-x ⱻy (p(x) → q(x,y)) (f car x et y liées)
-x (p(x) → q(x,a)) (f car x est liée, a est une constante)

10
 Sous-formule
Une sous-formule d'une ebf est une suite de symboles dans cette ebf et
formant une ebf.

Exemples de sous-formules
x (divisible(X,2)→pair(X))

+ divisible(X,2)→pair(X)
+ pair(X)
+ divisible(X,2)
- →pair(X)

11
 Exemple de Sous-formule
Une sous-formule d'une ebf est une suite de symboles dans cette ebf et
formant une ebf.

x (divisible(X,2)→pair(X))

+ divisible(X,2)→pair(X)

+ pair(X)

+ divisible(X,2)

- →pair(X)

12
 Substitution et instanciation
Exemple introductif
Soit la formule p=A(X, Y), et l’ensemble σ={X/t, Y/h}
Aσ est une ebf obtenue par q=Aσ=A(t, h) en remplaçant les symboles en
vert par les symboles en bleu dans σ.

13
 Substitution et instanciation
Exemple introductif
Soit la formule A(X, Y), et l’ensemble σ={X/t, Y/h}
Aσ est une formule obtenue par Aσ=A(t, h)

Définition
Une substitution est une liste finie de paires Xi/ti (i=1..n) avec
- Xi est une variable
- ti est un terme
- Xi<>ti
- Xi <> Xj pour i<>j.

14
 Substitution et instanciation
Exemple introductif
Soit la formule A(X, Y), et l’ensemble σ={X/t, Y/h}
Aσ est une formule obtenue par Aσ=A(t, h)

Définition
Une substitution est une liste finie de paires Xi/ti (i=1..n) avec
- Xi est une variable
- ti est un terme
- Xi<>ti
- Xi <> Xj pour i<>j.

Notation de substitution
On note une substitution par  ={X1/t1, X2/t2,…Xn/tn}

15
 Substitution et instanciation
Application d’une substitution
= {X1/t1, X2/t2…Xn/tn} une substitution et A une ebf
A  est une ebf /
Chaque occurrence de Xi dans A sera remplacée par ti :
- Xi=ti si Xi/ti Є 
- Sinon Xi=Xi

16
 Exemple de substitution  unificateur
Soit la formule suivante :
A(X, Y) et la substitution σ(X/a)
Donner l'ebf Aσ
Aσ=A(a,Y)
A(X, Y) σ=A(a,Y) σ (σ est unificateur)

17
 Exemple de substitution
Soit la formule suivante :
A(X, Y) et la substitution σ(Y/b)
Donner l'ebf Aσ
Aσ=A(X,b)

18
 Exemple de substitution
Soit la formule suivante :
A(X, Y) et la substitution σ(X/a,Y/b)
Donner l'ebf Aσ
Aσ=A(a,b)

19
 Exemple de substitution
Soit la formule suivante :
A(X, Y) et la substitution σ(X/Z,Y/Z)
Donner l'ebf Aσ
Aσ=A(Z,Z)

20
 Exemple de substitution
Soit la formule suivante :
A(X, Y) et la substitution σ(X/Y)
Donner l'ebf Aσ
Aσ=A(Y,Y)

21
 Exemple de substitution
Soit la formule suivante :
A(X, Y) et la substitution σ(X/f(t),Y/g(a))
Donner l'ebf Aσ
Aσ=A(f(t),g(a))

22
 Exercice
Soit q=p(f(x,z),g(y,a)) et 1={x/a, y/b, w/z}.
Chercher q1.

23
 Réponse
Soit q=p(f(x,z),g(y,a)) et 1={x/a, y/b, w/z}.
q1 =p(f(a,z),g(b,a)).

24
 Exercices
Soit la formule suivante :
A(X, t, Y)
Donner l’expression des formules Aσ dans chacun des cas suivants
1) σ(X/t, Y/t) A(X, t, Y)σ(X/t, Y/t) =A(t,t,t)
2) σ(X/Y) A(X, t, Y) σ(X/Y)=A(Y,t,Y)
3) σ(Y/a, X/a) A(X, t, Y) σ(Y/a, X/a)=A(a,t,a)
4) σ(X/Y, Y/a) A(X, t, Y) σ(X/Y, Y/a)=A(Y,t,a)

25
 Exercices
Soit la formule suivante :
A(X, t, Y)
Donner l’expression des formules Aσ dans chacun des cas suivants
1) σ(X/t, Y/t)

Aσ=A(t, t, t)

26
 Exercices
Soit la formule suivante :
A(X, t, Y)
Donner l’expression des formules Aσ dans chacun des cas suivants
1) σ(X/t, Y/t)
2) σ(X/Y)
Aσ=A(Y, t, Y)

27
 Exercices
Soit la formule suivante :
A(X, t, Y)
Donner l’expression des formules Aσ dans chacun des cas suivants
1) σ(X/t, Y/t)
2) σ(X/Y)
3) σ(Y/a, X/a)
Aσ=A(a,t,a)

28
 Exercices
Soit la formule suivante :
A(X, t, Y)
Donner l’expression des formules Aσ dans chacun des cas suivants
1) σ(X/t, Y/t)
2) σ(X/Y)
3) σ(Y/a, X/a)
4) σ(X/Y, Y/a)
Aσ=A(Y, t, a)

29
 Remarque
Les expressions suivantes ne sont pas des substitutions
- σ(X/a, X/Y)
- σ(X/X, …)

30
 Exercice
Dire si les formules suivantes sont des substitutions
-σ(X/a, X/b)
-σ(X/X, Y/f(t))
-σ(X/a, Y/f(t))
-σ(X/Z, Y/f(t))

31
Résumé
 Les variables libres et liées

 Formules fermées et ouvertes

 Substitutions et instanciations

32