 Principe et approche de l’IA

Logique

Dr. Lejdel Brahim

Dr. Lejdel Brahim-2015/2016-1ere 1

Année Master
Logique de proposition & Logique
de Prédicat
( Module de licence)

Dr. Lejdel Brahim-2015/2016-1ere 2

Année Master
Logique de proposition

Dr. Lejdel Brahim-2015/2016-1ere 3

Année Master
 Introduction
• La logique des propositions s'intéresse à des énoncés
(les propositions) qui peuvent être soit vrais soit faux,
ainsi qu'aux rapports entre ces énoncés.
• Les éléments de base de la logique des propositions
sont les propositions atomiques (également appelées
atomes).
Propositions atomiques :
– Ali est à alger
– Alger est en l’algérie.
• Interpréter une proposition consiste à lui attribuer une
valeur logique V (pour vrai) ou F (pour faux).
Dr. Lejdel Brahim-2015/2016-1ere 4
Année Master
 Syntaxe
• un ensemble V = {p, q, r, . . .} dénombrable
de lettres appelées variables
propositionnelles. Il s’agit des propositions
atomiques telles que par exemple « 6 est
divisible par 2 ».
• les constantes vrai et faux.
• un ensemble (fini) de connecteurs
logiques : ∧, ∨, ¬, →, ≡
• les parenthèses (, )
Dr. Lejdel Brahim-2015/2016-1ere 5
Année Master
 Sémantique
• c’est déterminer la valeur de vérité d’une
formule, dans ses mondes possibles.
• l’interprétation d’une formule : il s’agit plus
concrètement d’affecter une valeur vrai ou
faux à chacune des variables
propositionnelles qui la compose. Pour une
formule à n variables, il y a 2n possibles.
• On utilise ce qu’on appelle des tables de
vérité pour réaliser cette interprétation
Dr. Lejdel Brahim-2015/2016-1ere 6
Année Master
Table de vérité

Dr. Lejdel Brahim-2015/2016-1ere 7

Année Master
Dr. Lejdel Brahim-2015/2016-1ere 8
Année Master
 Consistance, inconsistance et validité
• On appelle modèle une interprétation pour
laquelle une formule est vraie. Par exemple (p
= faux, r = vrai, s = faux) est un modèle de (p
→ (r ∧ s)).
• On dit qu’une formule A est consistante, ou
satisfiable,s’il existe une interprétation de ses
variables propositionnelles qui la rende vraie.
• Une formule pour laquelle il n’existe pas
d’interprétation qui la rende vraie est dite
inconsistante (simplement fausse).
Dr. Lejdel Brahim-2015/2016-1ere 9
Année Master
• Validité : Si une formule A est vraie pour
n’importe quelle interprétation de ses
variables propositionnelles, on dit qu’elle
est valide. On dit encore que A est une
tautologie et on le note |=.

Dr. Lejdel Brahim-2015/2016-1ere 10

Année Master
 Vers la Logique des prédicats

• La logique des propositions ne permet

pas de formaliser des énoncés
généraux. Elle représente seulement des
informations rigides et non
paramétrables. Ainsi les éléments d’une
proposition sont indissociables, c ’est un
énoncé rigide est très particulier.

Dr. Lejdel Brahim-2015/2016-1ere 11

Année Master
Exemple
"Si x est père de y et x et père de z alors y et z sont
frères". C’est une assertion qui ne peut être
représentée ou manipulée en logique des
propositions. Son équivalent en logique des
propositions est par exemple : "Si Driss est père
de Ali et Driss et père de Hamid alors Ali et Hamid
sont frères". Mais un tel énoncé est très particulier
concernant toujours Driss, Ali et Hamid. Tandis
que la première assertion est indépendante des
noms propres.

Dr. Lejdel Brahim-2015/2016-1ere 12

Année Master
 Les variables
• L'introduction de variables permet de formuler deux
types d'énoncés. D'une part des énoncés universels
dans lesquels les variables représentent tous les objets
d'un domaine.
– Par exemple, dans le domaine des nombres
entiers: X< X+1, Ici X représente n'importe quel
nombre entier.
– De même, dans l’énoncé algérien(X) ⇒ arabe(X),
X représente n’importe quelle personne ayant la
propriété d’être algérien.
• On utilise toutes les notions de la logique des
propositions et on introduit de nouveaux concepts pour la
logique du premier ordre.
Dr. Lejdel Brahim-2015/2016-1ere 13
Année Master
 Les variables (2)
• Une variable peut servir à exprimer l'existence de
quelque chose, sans qu'on connaisse encore
précisément cette chose. Par exemple, dans
l'équation 3X – 8 = 22 , X représente un nombre,
encore inconnu, qui existe et qui a la propriété que
si on le multiplie par trois et qu'on lui soustrait huit
on obtient 22.
• De même, dans père(X, Ali), X représente la
personne qui est le père de “Ali”.
• En logique des prédicats ces deux usages sont
précisé à l'aide des quantificateurs
– ∀ (pour tout) et ∃ (il existe).

Dr. Lejdel Brahim-2015/2016-1ere 14

Année Master
 Quantificateur universel
• Vrai si et seulement si toutes les phrases sont vraies.
• ∀ x P est vrai si P est vrai pour tous les objets x dans
l’univers. D’où le nom de quantificateur universel.
– Tous les chats sont des mammifères:
– ∀ x Chat(x) ⇒ Mammifère (x)
– Tous dans la classe sont intelligents:
– ∀ x Dans(x,Classe) ⇒ Intelligent (x)
• Erreur courante :
– ∀ x Dans(x,Classe) ^ Intelligent (x)
– Tous sont dans la classe et tous sont intelligents

Dr. Lejdel Brahim-2015/2016-1ere 15

Année Master
 Quantificateur existentiel
• Vrai si certains des énoncés sont vrais.
• ∃ x P est vrai si P est vrai pour certains des objets
dans l’univers.
– Il y a une personne qui aime les glaces.
– ∃x ¬Aime(x, glaces)
– Quelqu’un dans la classe est intelligent:
– ∃ x Dans(x,Classe) ^ Intelligent(x)
• Erreur courante:
– ∃ x Dans(x,Classe) ⇒ Intelligent(x)
– Est vraie si quelqu’un n’est pas dans la
classe, ce qui ne dit pas grand chose.
Dr. Lejdel Brahim-2015/2016-1ere 16
Année Master
 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.

Dr. Lejdel Brahim-2015/2016-1ere 17

Année Master
 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

Dr. Lejdel Brahim-2015/2016-1ere 18

Année Master
 Logique temporelle
• Les buts du système:
– Exprimer la connaissance relative
et imprécise.
– Permettre l'incertitude (expression
des contraintes).
– Supporter le raisonnement dans
des échelles variables.
• Dans le système d'Allen, le temps est
représenté par des intervalles
Dr. Lejdel Brahim-2015/2016-1ere 19
Année Master
Logique temporelle

Dr. Lejdel Brahim-2015/2016-1ere 20

Année Master
 Exposés
1. Logique Floue.
2. Logique Temporelle.
3. Logique Model.

Dr. Lejdel Brahim-2015/2016-1ere 21

Année Master
Dr. Lejdel Brahim-2015/2016-1ere 22
Année Master
Dr. Lejdel Brahim-2015/2016-1ere 23
Année Master