Академический Документы
Профессиональный Документы
Культура Документы
Aperu
Motivation
Logique des prdicats du 1er ordre
(syntaxe et smantique)
Exemples
Infrence en logique des prdicats du 1er ordre
Le monde du Wumpus en logique du 1er ordre
IA 2004-2005 - C. Pellegrini
avantages et inconv
inconvnient de la logique propositionnelle
IA 2004-2005 - C. Pellegrini
Motivation
IA 2004-2005 - C. Pellegrini
constantes "prdicats"
(ou simplement prdicats)
sans signification prdtermine
constantes individuelles
(ou simplement constantes)
sans signification prdtermine
2)
3)
gal(Plus(2,2), 4)
IA 2004-2005 - C. Pellegrini
Autres exemples
3)
Prdicat avec
signification prdfinie
gal(Plus(2,2), 4)
Fonction avec
signification prdfinie
Constantes avec
signification prdfinie
IA 2004-2005 - C. Pellegrini
Constantes
Prdicats
Fonctions
Variables
Connecteurs
galit
Quantificateurs
IA 2004-2005 - C. Pellegrini
Formules
Phrases atomiques = prdicat(terme1, , termen )
ou terme1 = terme2
Terme = fonction(terme1, , termen)
ou constante ou variable
Exemples
1) Frre(RoiJean, RichardCoeurDeLion)
2) > (Longueur(JambeGaucheDe(Richard)),15 )
IA 2004-2005 - C. Pellegrini
Quantification
La quantification permet d'exprimer des proprits sur une collection
d'objets sans avoir les dsigner chacun par un nom,
2 types de quantificateurs:
IA 2004-2005 - C. Pellegrini
quantificateur existentiel:
quantificateur universel:
10
Quantification existentielle
Forme gnrale
<variables> <phrase>
exemple:
11
il y a un chien
variable
lie par
IA 2004-2005 - C. Pellegrini
12
Exemple
y (Mange(Fifi, y) Biscuit(y))
Fifi mange un biscuit
sans les parenthses extrieures il y a ambigut:
y Mange(Fifi, y) Biscuit(y)
pourrait tre interprt comme:
( y Mange(Fifi, y)) Biscuit(y)
variable lie par
variable libre
ou comme:
y (Mange(Fifi, y) Biscuit(y))
variable lie par
IA 2004-2005 - C. Pellegrini
13
Quantification universelle
Forme gnrale
<variables> <phrase>
exemple:
14
Lois de Morgan
x
est quivalent
est quivalent
( )
est quivalent
( )
est quivalent
IA 2004-2005 - C. Pellegrini
15
x Aime(x, CrmeGlace)
x Aime(x, Brocoli)
x Aime(x, Brocoli)
IA 2004-2005 - C. Pellegrini
16
17
IA 2004-2005 - C. Pellegrini
18
Exemples
Presque toutes les phrases du langage naturel peuvent tre
reprsentes en logique des prdicats du 1er ordre,
il n'y a pas de correspondance unique entre une phrase en langage
naturel et une expression logique,
Exemples:
"La mre de Jean est marie au pre de Jean"
Mari(Pre(Jean), Mre(Jean))
"Jean vit dans une maison jaune"
1) Vit(Jean, Maison-1) Couleur(Maison-1, Jaune)
2) x Maison(x) Couleur(x, Jaune) Vit(Jean, x)
IA 2004-2005 - C. Pellegrini
19
Exemples (suite)
"Si la voiture appartient Jean, alors elle est verte"
1) Possde(Jean, Voiture-1) Couleur(Voiture-1, Vert)
2) x Voiture(x) Possde(Jean, x) Couleur(x, Vert)
"Certaines personnes aiment les serpents"
1) x (Personne(x) Aime(x, Serpent))
2) x y (Personne(x) Serpent(y)) Aime(x,y)
"Tous les tudiants passent des examens"
1) x tudiant(x) Passe-examen(x)
2) x (tudiant(x) y Examen(y) Passe(x,y))
"Si x est parent de y, alors x est plus vieux que y"
xy Parent(x,y) PlusVieux(x, y)
IA 2004-2005 - C. Pellegrini
20
10
Exemples (suite)
"Si x est la mre de y, alors x est un parent de y"
x y Mre(x,y) Parent(x, y)
"Chacun est loyal envers quelqu'un"
x y Personne(x) Personne(y) LoyalEnvers(x,y)
ou y x Personne(x) Personne(y) LoyalEnvers(x,y) ?
"il existe quelqu'un envers qui chacun est loyal"
phrase ambigu !!
"Les gens tentent d'assassiner les dirigeants envers lesquels ils ne
sont pas loyaux"
x y Personne(x) Dirigeant(y) TenterAssassiner(x,y)
LoyalEnvers(x,y)
ou "la seule chose que les gens tentent de faire est d'assassiner ceux
envers qui ils ne sont pas loyaux"
une autre phrase ambigu !!
IA 2004-2005 - C. Pellegrini
21
galit
terme1 = terme2 est vrai tant donn une interprtation si et
seulement si terme1 et terme2 font rfrence au mme objet
exemples:
a)
Pre(Paul) = Jacques
Tlphone(Christian) = 705 76 34
IA 2004-2005 - C. Pellegrini
22
11
Conclusion:
Lulu est plus g que Fifi
l'infrence est obtenue par des axiomes et des rgles (i.e. par des
transformations syntaxiques) qui tendent ceux de la logique
propositionnelle.
IA 2004-2005 - C. Pellegrini
23
Rgles d'infrence
Rgles identiques celles de la logique propositionnelle
,
1 ,2 ,n
1 2 n
Rgle nouvelle
[x/k]
IA 2004-2005 - C. Pellegrini
24
12
Exemple de preuve
Bob est un buf
Pat est un cochon
1. Boeuf(Bob)
2. Cochon(Pat)
3. x, y Boeuf(x) Cochon(y)
PlusRapide(x, y)
4. Boeuf(Bob) Cochon(Pat)
IU 3 {x/Bob, y/Pat}
5. Boeuf(Bob) Cochon(Pat)
PlusRapide(Bob,Pat)
MP 4 & 5
6. PlusRapide(Bob,Pat)
IA 2004-2005 - C. Pellegrini
25
Unification
C'est le processus qui rend 2 expressions identiques,
en logique propositionnelle 2 expressions sont les mmes
seulement si elles sont syntaxiquement identiques,
la prsence de variables en logique des prdicats complique ce
fait:
Humain(x) = Humain(Socrate) si et seulement si x=Socrate
il faut parfois substituer une fonction une variable:
ex:
Humain(x) Mortel(x)
Humain(PreDe( Platon))
x / PreDe( Platon)
26
13
Unification
(suite)
p
Connat(Jean, x)
Connat(Jean, x)
Connat(Jean, x)
Connat(Jean,x)
q
Connat(Jean, Jeanne)
Connat(y, OJ)
Connat(y, Mre(y))
Connat(x, OJ)
{ x/Jeanne }
{ y/Jean, x/OJ }
{ y/Jean, x/Mre(Jean) }
{chec}
Ide: unifier les prmisses des rgles avec des faits connus,
appliquer l'unificateur la conclusion
ex: si on connat q et Connat(Jean, x) Aime(Jean, x)
alors on peut conclure Aime(Jean, Jeanne)
Aime(Jean, OJ)
Aime(Jean, Mre(Jean))
IA 2004-2005 - C. Pellegrini
27
Unification
Unifier
Q(x,Tom) &
Q(x,Tom)
(suite)
Q(Marie, y)
Q(Marie, y)
&
{ y/Tom, x/Marie }
Q(Marie,Tom)
Q(Marie,Tom)
une variable doit tre substitue de manire consistante pour toutes ses
occurrences dans les expressions unifier
P(x) Q(B,x)
P(A) Q(z, x)
{ x/A, z/B }
P(A) Q(B,A)
IA 2004-2005 - C. Pellegrini
P(A) Q(B, A)
28
14
Unification
(suite)
P(b) Q(z,b)
{x/A, y/f(B)}
{b/A, z/f(B)}
P(A) Q(f(B),A)
IA 2004-2005 - C. Pellegrini
29
Connat(Jean,x) et Connat(y,z)
on peut le faire avec les unificateurs:
= { y/Jean, x/z }
= { y/Jean, x/Jean, z/Jean }
Le 1er est plus gnral (moins spcifique) que le 2me
Il n'existe qu'un seul unificateur le plus gnral (UPG) qui est
unique condition de procder au renommage des variables
UPG = { y/Jean, x/z }
IA 2004-2005 - C. Pellegrini
30
15
Algorithme d'unification
IA 2004-2005 - C. Pellegrini
31
Algorithme d'unification
IA 2004-2005 - C. Pellegrini
32
16
pi' = pi
p1' = PlusRapide(Bob,Pat)
p2' = PlusRapide(Pat,Steve)
p1 p2 q = PlusRapide(x, y) PlusdRapide(y, z) PlusRapide(x, z)
= { x/Bob, y/Pat, z/Steve }
q = PlusRapide(Bob, Steve)
exemple:
IA 2004-2005 - C. Pellegrini
33
Exemple de preuve
Une preuve de PlusVieux(Lulu, Fifi) l'aide du MPG:
1. Mre(Lulu, Fifi)
donn
2. Vivant(Lulu)
donn
3. xy Mre(x,y) Parent(x, y)
donn
4. xy(Parent(x,y)Vivant(x)) PlusVieux(x, y)
donn
5. Parent(Lulu, Fifi)
1,3, MPG
6. PlusVieux(Lulu, Fifi)
5,2,4, MPG
34
17
IA 2004-2005 - C. Pellegrini
35
IA 2004-2005 - C. Pellegrini
36
18
IA 2004-2005 - C. Pellegrini
37
IA 2004-2005 - C. Pellegrini
38
19
IA 2004-2005 - C. Pellegrini
39
IA 2004-2005 - C. Pellegrini
40
20
IA 2004-2005 - C. Pellegrini
41
IA 2004-2005 - C. Pellegrini
42
21
IA 2004-2005 - C. Pellegrini
43
IA 2004-2005 - C. Pellegrini
44
22
[2a,X]
7. Escargot(Steve) [2b,
45
IA 2004-2005 - C. Pellegrini
46
23
(suite)
Missile(x) Weapon(x)
Enemy(x,America) Hostile(x)
American(West)
Enemy(Nono,America)
IA 2004-2005 - C. Pellegrini
47
IA 2004-2005 - C. Pellegrini
48
24
IA 2004-2005 - C. Pellegrini
49
IA 2004-2005 - C. Pellegrini
50
25
sous-objectif:
IA 2004-2005 - C. Pellegrini
51
Chanage arrire
(suite)
IA 2004-2005 - C. Pellegrini
52
26
IA 2004-2005 - C. Pellegrini
53
IA 2004-2005 - C. Pellegrini
54
27
IA 2004-2005 - C. Pellegrini
55
IA 2004-2005 - C. Pellegrini
56
28
IA 2004-2005 - C. Pellegrini
57
IA 2004-2005 - C. Pellegrini
58
29
IA 2004-2005 - C. Pellegrini
59
IA 2004-2005 - C. Pellegrini
60
30
IA 2004-2005 - C. Pellegrini
61
IA 2004-2005 - C. Pellegrini
62
31
{y/Pat, z/Steve}
Escargot(Steve)
{}
Mince(Steve)
4
{z/Steve}
Rampe(Steve)
{}
IA 2004-2005 - C. Pellegrini
{}
63
Un autre exemple
IA 2004-2005 - C. Pellegrini
64
32
Un autre exemple
IA 2004-2005 - C. Pellegrini
65
Un autre exemple
IA 2004-2005 - C. Pellegrini
66
33
Un autre exemple
IA 2004-2005 - C. Pellegrini
67
Un autre exemple
IA 2004-2005 - C. Pellegrini
68
34
Un autre exemple
IA 2004-2005 - C. Pellegrini
69
Un autre exemple
IA 2004-2005 - C. Pellegrini
70
35
Reflex
t Or(t) Action(Saisir, t)
IA 2004-2005 - C. Pellegrini
71
{a/Tirer}
S = PlusIntelligent(x, y)
= {x/Hillary, y/Bill}
S = PlusIntelligent(Hillary, Bill)
Ask (KB, S) retourne quelques/tous les tels que KB
IA 2004-2005 - C. Pellegrini
S
72
36
Les cases proches d'un puit ont des courants d'air, 2 solutions:
solution diagnostique: la rgle infre la cause partir de l'effet
solution causale:
aucune solution n'est complte, i.e. la rgle causale ne dit pas si une case
loigne d'un puit peut avoir des courants d'air
IA 2004-2005 - C. Pellegrini
73
IA 2004-2005 - C. Pellegrini
74
37
problme " Frame ": trouver un moyen lgant de traiter les nonchangements
par reprsentation: vite les axiomes "frame"
par infrence: vite les copies rptes pour garder une trace des diffrents
tats
75
38