Chapitre2 IA 2019
Chapitre2 IA 2019
Chapitre2 IA 2019
Représentation des
connaissances
(Logiques des propositions & des prédicats)
3 IM (ISAMM)
2018/2019
1
Plan du chapitre
3
Logique des propositions
• Syntaxe
On définit :
– Les propositions : a, b, c, …
– Les constantes : V et F
– Les connecteurs :
• (conjonction)
• (disjonction)
• (négation)
• (implication)
(équivalence)
Construction d’une formule
• Une formule est valide si elle est toujours vraie (quelque soit
l’interprétation)
• Une formule est consistante s’il existe une interprétation dans
laquelle elle est vraie. Elle est inconsistante dans le cas
contraire
• Problème : étant donnée une formule, est-elle valide ?
consistante ?
• Exemple : que dire de la formule
(a b) (b a)
Règles de transformation (1)
• aa (loi du tiers exclu)
• ((ab) a) b (modus ponens)
• ((a b) b) a (modus tollens)
• (a b) (b a) (contraposition)
• a a (double négation)
• a ba b
• a b (a b) (b a)
• aa aa a (idempotence)
Règles de transformation (2)
• Lois de Morgan :
– (ab) a b
– (ab) a b
• Commutativité et associativité de et
• Distributivité de par rapport à et de par
rapport à
Définitions
• Formule Bien Formée (FBF)
• Une interprétation i est une fonction qui associe à toute
proposition p une valeur de vérité.
• On étend cette notion à la formule. Une interprétation I
d’une formule G est l’affectation d’une valeur de vérité à
chacun des atomes de G
• Une formule G est dite vraie dans une interprétation ssi
G est évalué à T dans cette interprétation. Autrement, G
est dite fausse dans cette interprétation.
• Une interprétation qui rend vraie une formule est dite un
modèle de cette formule.
11
Définitions
• Une formule est dite valide ssi elle est vrai dans toutes
ses interprétations. Une formule est invalide si elle
n’est pas valide.
• Une formule est dite inconsistante (ou insatisfiable
ou contradictoire) ssi elle est fausse dans toutes ses
interprétations. Une formule est dite consistante ou
satisfiable ssi elle n’est pas inconsistante.
• On dit que B est une conséquence logique de F1, F2,
…, Fn ssi
- F1 ^ F2 ^ … ^ Fn B est valide, ou bien
- F1 ^ F2 ^ … ^ Fn ^ 7B est inconsistante
12
Définitions
• Une formule normale conjonctive (FNC) est sous la
forme F1 ^ F2 ^ … ^ Fn où les Fi sont des disjonctions
de littéraux.
• Une formule normale disjonctive (FND) est sous la
forme F1 v F2 v …v Fn où les Fi sont des conjonctions
de littéraux.
13
Exercice
Compléter les assertions suivantes :
• Si une formule est valide alors elle est ……………………
L’inverse est faux.
• Si une formule est …………………….. alors elle est
invalide. L’inverse est faux.
• Une formule est valide ssi sa négation est
…………………….
• Une formule est inconsistante ssi sa négation est
…………………
14
Exercice 1
• Soit la formule propositionnelle A définie comme
((p⇒¬q)⇒¬p) ∧ r
• 1. Ecrire la formule A sous forme d’arbre.
• 2. Donner la table de vérité de la formule A.
• 3. Donner une forme normale conjonctive et une forme
normale disjonctive pour la formule A.
• 4. Cette formule est-elle valide ? justifier votre réponse.
• 5. Cette formule est-elle satisfiable ? si oui donner un
modèle
15
Exercice 2
• Un homme qui semble divaguer déclare à toute la
clientèle d’un café :
• 1. Le jour où je ne bois pas et où je dors, je ne suis pas
content.
• 2. Le jour où je bois, je ne suis pas content et je dors.
• 3. Le jour où je ne mange pas, ou bien je ne suis pas
content, ou bien je dors ou les deux.
• 4. Le jour où je mange, ou bien je suis content, ou bien
je bois ou les deux.
• 5. Aujourd’hui, je suis content.
16
Questions (ex2)
• 1. Introduire des variables propositionnelles pour
représenter les principales notions et donner les
formules correspondantes `a chacune des affirmations
précédentes.
17
Une énigme policière
• Un meurtre a été commis au laboratoire, le corps se trouve
dans la salle de conférences…
• On dispose des informations suivantes :
– La secrétaire déclare qu’elle a vu l’ingénieur dans le
couloir qui donne sur la salle de conférences
– Le coup de feu a été tiré dans la salle de conférences,
on l’a donc entendu de toutes les pièces voisines
– L’ingénieur affirme n’avoir rien entendu
• On souhaite démontrer que si la secrétaire dit vrai, alors
l’ingénieur ment
Formalisation en calcul des
propositions
• p : la secrétaire dit vrai
• q : l’ingénieur était dans le couloir au moment du crime
• r : l’ingénieur était dans une pièce voisine de la salle de
conférences
• s : l’ingénieur a entendu le coup de feu
• t : l’ingénieur dit vrai
• On souhaite démontrer que si la secrétaire dit vrai, alors
l’ingénieur ment?
Résolution de l’énigme
• Les informations de l’énoncé se traduisent par les
implications:
pq, q r, r s, t s
(p q q r r s t s) (p t)
Démonstration
(p q q r r s t s) (p t)
• La formule ne peut être fausse que si
– (p t) est faux, soit p et t vrais
– la prémisse est vraie, soit toutes les implications vraies
• Comme t doit être vrai, s doit être faux, donc r faux, donc q
faux, donc p faux, et il y a contradiction
II. Logique des prédicats
22
Logique des prédicats
• Syntaxe
On définit :
– Les constantes : V et F
– Les connecteurs : , , ,
– Les variables : x, y, z, …
– Les fonctions : f, g, h, …
– Les prédicats : p, q, r, … dont ceux d’arité 0 : a, b, c,
…
– Les quantificateurs : ,
Définitions
• Terme :
X
– Une variable est un terme
– Une constante est un terme tom
25
Logique propositionnelle:
pours et contres
Logique propositionnelle est déclarative
Logique propositionnelle permet d’exprimer des
informations conjonctives/disjonctives/négative.
Logique propositionnelle est compositionnelle:
– Le sens du tout est composé des sens des parties
– Sens de B1,1 P1,2 est dérivé du sens de B1,1 et de P1,2
Sens dans logique propositionnelle est hors-contexte
(context-independent)
– (différent de la langue naturelle où le sens est dépendant du
contexte)
Logique propositionnelle est limitée en capacité
d’expression
– (pas comme en langue naturelle)
26
Logique du premier ordre
• Logique propositionnelle suppose que le
monde contient des faits,
• Logique du premier ordre suppose que le
monde contient:
– Objets (D): personnes, maisons, nombres,
couleurs, match de baseball, guerre, …
– Relations (Dn{vrai, faux}): rouge, rond,
nombre-premier, est plus grand que, est partie
de, …
– Fonctions (DnD): père de, meilleur ami de, un
de plus que, …
27
Fonction vs. prédicat
Jean Marie
Philippe
29
Phrases atomiques
Phrase atomique = prédicat (terme1,...,termen)
| terme1 = terme2
• E.g., Brother(KingJohn,RichardTheLionheart)
> (Length(LeftLegOf(Richard)),
Length(LeftLegOf(KingJohn)))
E.g.
brother(KingJohn,Richard) brother(Richard,KingJohn)
>(1,2) ≤ (1,2)
>(1,2) >(1,2)
31
Valeur de vérité en LPO
• Les phrases sont vraies par rapport à un modèle et à
une interprétation
• Un modèle contient des objets (éléments du domaine) et
des relations entre eux
• Une interprétation spécifie les référés pour
Symboles de constante → objets (la personne John)
35
Illustration
Person smart
UdeM
x At(x,UdeM) Smart(x)
(Sous-ensemble)
Quantification existentielle
• <variables> <phrase>
• Someone at UdeM is smart (Quelqu’un à UdeM est
intelligent):
– x At(x,UdeM) Smart(x)
UdeM
x At(x,UdeM) Smart(x)
(intersection non vide)
39
Exemples
• Prédicats utilisés : champignon(x), violet (x) et
empoisonnant (x).
• - Tous les champignons violets sont empoisonnants.
• "x (champignon(x) ^ violet(x)) empoisonnant(x)
• - Aucun champignon violet n'est empoisonnant.
• "x (champignon(x) ^ violet(x)) ~empoisonnant(x)
• - Tous les champignons violets sauf un sont
empoisonnants
• $x (violet(x) ^ champignon(x) ^ ~empoisonnant(x)) ^ ("y,
(violet(y) ^ champignon(y) ^ ~égal(x,y))
empoisonnant(y))
40
Non-unicité de la traduction
41
Quelques exemples
• Toute personne est mortel. Socrate est une personne.
x Personne(x) Mortel(x)
Personne(Socrate)
• Socrate est mortel.
Mortel(Socrate)
• IFT3335 est un cours à UdeM.
Cours(IFT3335) Donné_à(IFT3335, UdeM)
ou Cours(IFT3335,UdeM)
• Tous ceux qui suivent le cours IFT3335 sont des étudiants à UdeM.
–Ceux qui suivent le cours IFT3335: x Suivre(x,IFT3335) Cours(IFT3335)
–Étudiants à UdeM: Étudiant(x,UdeM)
–Toute la phrase: x Suivre(x,IFT3335) Cours(IFT3335) Étudiant(x,UdeM)
• Certains dans le cours IFT3335 sont des étudiants à UdeM.
x Suivre(x,IFT3335) Cours(IFT3335) Étudiant(x,UdeM)
• Propriété: Jean est un étudiant.
–Étudiant(Jean)
• Négation: Aucun est irremplaçable.
–x Personne(x) Remplaçable(x) 42
Égalité
• terme1 = terme2 est vrai sous une interprétation
donnée ssi terme1 et terme2 réfèrent au même
objet (= est un prédicat spécial)
43
Utiliser LPO
Le domaine de parenté:
• Brothers are siblings
x,y Brother(x,y) Sibling(x,y)
• One's mother is one's female parent
m,c Mother(c) = m (Female(m) Parent(m,c))
• “Sibling” is symmetric
x,y Sibling(x,y) Sibling(y,x)
44
Exemple 1
• Les barbiers rasent tous ceux qui ne se rasent
pas eux-mêmes
• Aucun barbier ne rase quelqu’un qui se rase
lui-même
Formalisation
• x y est équivalent à y x
• x y Loves(x,y)
– “There is a person who loves everyone in the world”
• y x Loves(x,y)
– “Everyone in the world is loved by at least one person”
47
Mise en forme sous la forme prénexe
48
Forme prénexe
49
Mise en forme sous la forme prénexe
50
Forme normale Skolem
51
Exercices
• 1) Tous les hommes sont méchants.
• 2) Seulement les hommes sont méchants.
• 3) Il existe des hommes méchants.
• 4) Il existe un homme qui n’est pas
méchant.
• 5) Il n’existe pas d’homme méchant.
• 6) Il existe un homme qui aime toutes les
femmes.
52
Exercices
• 7) Chaque chat connaıt un chien qui le
déteste.
• 8) Tous les poissons, sauf les requins,
sont gentils avec les enfants.
• 9) Tous les oiseaux ne peuvent pas voler.
• 10) Chaque personne aime quelqu’un et
personne n’aime tout le monde, ou bien
quelqu’un aime tout le monde et quelqu’un
n’aime personne.
53