TD 1 – Exercice 3
Solutions
Chiraz Ben Abdelkader
18 Octobre, 2014
Exercice 3
Questions :
Exercice 3
Connaissances informelles :
On peut représenter ces
connaissances en tant
qu’une base de règles
en logique des prédicats
Exercice 3
Extraction des connaissances: on
commence par extraire les formules
atomiques.
Exercice 3
Advertisement
On exprime en tant que formules de la logique des prédicats :
(argent(X) (cid:217)
vacances(X) (cid:217)
soleil) (cid:218)
(reussit_travail(X) (cid:217)
reussit_famille(X))
bonne_humeur(X)
On re-formule en tant que "horn clauses" (base de règles) :
En general, on a:
p (cid:218)
(p fi
r
(q fi
r) (cid:217)
q fi
r)
argent(X) (cid:217)
Advertisement
vacances(X) (cid:217)
soleil fi
bonne_humeur(X)
Règle 1
reussit_travail(X) (cid:217)
reussit_famille(X) fi
bonne_humeur(X)
Règle 2
fi
Exercice 3
argent(Jean) , argent(Alain) ,
mois(aout) fi
mois(juillet) fi
vacances(Jean) ,
vacances(Alain)
soleil ,
mois(juillet) ,
Advertisement
mois(aout) fi
reussit_travail(Jean) ,
reussit_travail(Alain) ,
reussit_famille(Alain)
Exercice 3
Base de connaissances finale (base de règles) :
F1. argent(Jean) ,
F2. argent(Alain) ,
F3. mois(juillet) ,
F4. reussit_travail(Jean) ,
F5. reussit_travail(Alain) ,
F6. reussit_famille(Alain) ,
R1. mois(aout) fi
R2. mois(aout) fi
R3. mois(juillet) fi
R4. argent(X) (cid:217)
R5. reussit_travail(X) (cid:217)
Advertisement
soleil ,
vacances(Jean) ,
vacances(Alain) ,
soleil fi
reussit_famille(X) fi
vacances(X) (cid:217)
bonne_humeur(X) ,
bonne_humeur(X)
Exercice 3
• On va utiliser chainage-arrière pour tenter de
prouver le but suivant : bonne_humeur(X)
Exercice 3
• But = bonne_humeur(X)