Cours LOG MOD 1

Bibliographie
Introduction
Logique modale propositionnelle
Cours 1 : Logique modale

Odile PAPINI
POLYTECH
Universit
e dAix-Marseille
odile.papini@univ-amu.fr
http://odile.papini.perso.esil.univmed.fr/sources/MASTER2-RE-OP.html
Odile PAPINI
MASTER SIS OPTION LOGIQUE
Bibliographie
Introduction
Plan du cours
Bibliographie
Introduction
Odile PAPINI
Bibliographie
Introduction
Bibliographie 1 I
Chellas B. F., Modal logic : an introduction,
Cambridge University Press, 1980.
Hughes G. E. & Cresswell M. J., A new introduction to
modal logic,
Taylor & Francis 2001.
Blackburn. P. & de Rijke M. & Venema Y., Modal
logic,
Cambridge University Press 2001.
Wooldridge., reasoning about rational agents,
MIT Press, 2000.
Wooldridge., An Introduction to multiagents systems,
John Wiley & Sons, (second edition) 2009.
Odile PAPINI
Bibliographie
Introduction
Bibliographie 2 I
Supports de cours logique modale

http ://www.irit.fr/ Andreas.Herzig/CLmai/
http ://www.lipn.univ-paris13.fr/ levy/pdf/CoursLogMod.pdf
http ://www.guillaume.piolle.fr/doc/logique-modale.pdf
Odile PAPINI
Bibliographie
Introduction
Logique modale propositionnelle : introduction
Logique classique
logique propositionnelle
sens des formules facile à apprehender
complexite calculatoire abordable
MAIS semantique et expressivite limitee
logique des pr
edicats
plus expressive
MAIS complexite calculatoire elevee
sens des formules parfois difficile à comprendre
Odile PAPINI
Bibliographie
Introduction
Limites de lexpressivit
e de la logique propositionnelle
logique classique : assertions factuelles binaires
tout enonce est qualifie de vrai ou de faux : il pleut, 2 + 2 = 5,
formules complexes valuees en fonction de leurs composants :

semantique extensionnelle
logique classique : pas toujours ad

equate pour le
raisonnement
raisonnement sur lincertain
raisonnement sur les situations evolutives
Odile PAPINI
Bibliographie
Introduction
Logique modale : extension de la logique propositionnelle

formalisation denonces non factuels
raisonnement sur lincertain et les situations evolutives
logique modale
introduction de modalit
es pour la comprehension des
formules
expressivite : entre la logique propositionnelle et la logique des
predicats
complexite calculatoire matrisee
Odile PAPINI
Bibliographie
Introduction

modalite
nimporte quoi qui donne du sens
exprime la semantique dun verbe, dun adjectif, dun adverbe,
portant sur une formule
exemples de modalites
lagent sait que, lagent croit que, lagent a confiance en le
fait que, il sera dorenavant vrai que, il est possible que, il est
necessaire que, il est evident que, il est obligatoire que
representation et raisonnement à un niveau eleve dabstraction
modèle mental dun agent
description dune organisation,
Odile PAPINI
Bibliographie
Introduction

modalites : exemples
al
etiques :
il est possible quil pleuve
epist
emiques :
lagent sait quil pleut, lagent croit quil pleut
temporelles :
il va pleuvoir, il a plu
d
eontiques :
il doit pleuvoir
etc
autres modalites ou melanges de modalites
Odile PAPINI
Bibliographie
Introduction

Ajout de symboles de modalite : et
F une formule de la logique propositionnelle
F : F est necessaire, toujours vrai, connu, obligatoire,
F : F est possible, parfois vrai, concevable, permis,
impossibilite de definir une semantique extensionnelle
F
1
0
F
0
1
F
?
0
F
1
?
F
0
?
F
?
1
semantique basee sur les mondes possibles

distinguer entre situations (alternatives imaginables)
mondes possibles
Odile PAPINI
Bibliographie
Introduction

semantique des mondes possibles : exemple
Odile PAPINI
Bibliographie
Introduction

carr
e logique Aristote
Figure: source : Jean-Claude Choul

Odile PAPINI
Bibliographie
Introduction
Figure: source : cours G. Piolle

Odile PAPINI
Bibliographie
Introduction

Soit p une proposition : il pleut
exemples de formules epistemiques
p
p
p
p
p
p
p
p
il pleut,
il ne pleut pas,
lagent sait quil pleut,
lagent sait quil ne pleut pas,
lagent tient pour concevable quil pleuve,
lagent tient pour concevable quil ne pleuve pas,
lagent sait quil sait quil pleut,
lagent sait quil ne sait pas sil pleut.
Odile PAPINI
Bibliographie
Introduction

exemple : Le problème des trois conseillers. J. Mc Carthy. 1978
Un roi desirant savoir lequel de ses trois conseillers est le plu
sagace peint un point blanc sur le front de chacun deux. Le roi
leur dit quil a peint un point blanc ou un point noir sur le front de
chacun et quau moins un des points est blanc ; il demande ensuite
chaque conseiller de deviner la couleur de son propre point.
Apres un temps de reflexion le premier repond quil ne sait pas.
Entendant cela le second repond quil ne sait pas non plus.
Apres avoir entendu la reponse des deux premiers, le troisième
declare que son point est blanc.
Pourquoi ?
Odile PAPINI
Bibliographie
Introduction

exemple : Le problème des trois conseillers. J. Mc Carthy. 1978
Formalisation en logique modale multi-agents S5
si un conseiller a un point blanc les autres le savent
si si un conseiller na pas de point blanc les autres le savent
au moins un conseiller a un point blanc
les conseillers 1 et 2 ne connaissent pas la couleur de leur
point
preuve
Avec ces hypothèses on peut demontrer par une derivation en
logique epistemique S5 multi-agents que le troisième conseiller sait
quil a un point blanc.
Odile PAPINI
Bibliographie
Introduction
Le langage de logique modale propositionnelle

Vocabulaire
un ensemble infini denombrable de propositions
les constantes : 0 (Faux) et 1 (Vrai)
,
les connecteurs :
les modalit
es : ,
, ,
Odile PAPINI
Bibliographie
Introduction
D
efinitions
formules bien form
ees de la logique modale propositionnelle :
0 et 1 sont des formules
une variable propositionnelle est une formule
si A et B sont des formules alors
A, A B, A B, A B, A B sont des formules
si A est une formule alors A, A sont des formules
si A est une formule alors A =def A
Odile PAPINI
Bibliographie
Introduction
Syst`
eme formel de la logique modale propositionnelle
(syst`
eme K )
les axiomes
soit A, B, C des formules de la logique modale propositionnelle
A1)
(A (B A))
A2)
((A (B C )) ((A B) (A C )))
A3)
(( A B) (B A))
K)
((A B) (A B))
Odile PAPINI
Bibliographie
Introduction
r`
egles de d
eduction
modus ponens
` A, ` A B
, ` B
n
ec
essit
e (r`
egle N)
À
À
Odile PAPINI
Bibliographie
Introduction
K -d
erivation (d
eduction)
F : une formule modale, : un ensemble de formules modales
une K -d
erivation de F à partir de est une sequence de formules
se terminant par F , dont chaque formule est :
soit une axiome
soit un membre de
soit obtenu par lapplication des règles de substitution, de
modus ponens ou de necessite
une K -preuve de F est une K -d
erivation de F à partir de : ` F
Odile PAPINI
Bibliographie
Introduction
Quelques th
eor`
emes du syst`
eme K
K1)
` (P Q) (P Q)
K2)
` (P Q) (P Q)
K3)
` (P Q) (P Q)
Odile PAPINI
Bibliographie
Introduction

r`
egles d
eriv
ees
DR1)
ÀB
ÀB
DR2)
ÀB
ÀB
DR3)
ÀB
ÀB
Eq)
si A B remplacer A par B (ou B par A)

Odile PAPINI
Bibliographie
Introduction

r`
egles d
eriv
ees plus g
en
erales :
r
egularit
e pour (r`
egle R)
ÀB
ÀB
r
egularit
e g
en
eralis
ee pour
` (A1 An ) B
` ( A1 An ) B
r
egularit
e pour
ÀB
ÀB
Odile PAPINI
Bibliographie
Introduction

Quelques th
eor`
emes du syst`
eme K (suite)
K4)
` (P Q) (P Q)
K5)
` P P
K6)
` (P Q) (P Q)
K7)
` (P Q) (P Q)
K8)
` (P Q) (P Q)
K9)
` (P Q) (P Q)

Odile PAPINI
Bibliographie
Introduction

Dautres axiomes
T) A A : tout ce qui est su (cru) est vrai
D)
A A : tout ce qui est su (cru) est coherent
B) ` A A : rien nest vrai sans quon ne sache quil

peut etre su (cru)
4) A A : si on sait (croit) A alors on sait quon
sait (croit) A
5) A A : si on ne sait (croit) pas A alors on sait
quon ne sait (croit) pas A (croit) A
Odile PAPINI
Bibliographie
Introduction

Syst`
eme formel K : forme à partir des axiomes, A1, A2, A3, K
Syst`
eme formel KT : forme à partir des axiomes, A1, A2, A3, K
et de laxiome de la connaisance T) :
AA
Syst`
eme formel KT4 ou S4 : forme à partir des axiomes, A1,
A2, A3, K, T et de
laxiome dintrospection positive 4) : A A
Syst`
eme formel KT45 ou S5 : forme à partir des axiomes, A1,
A2, A3, K, T, 4 et de
laxiome dintrospection n
egative 5) : A A
Odile PAPINI
Bibliographie
Introduction
Quelques th
eor`
emes du syst`
eme T
T1)
` P P
T2)
` (P P)
Odile PAPINI
Bibliographie
Introduction

Quelques th
eor`
emes du syst`
eme S4
S4-1)
` P P
S4-2)
` P P
S4-3)
` P P
S4-4)
` P P
S4-5)
`P P
S4-6)
`P P
S4-7)
` P P
Odile PAPINI
Bibliographie
Introduction

Quelques th
eor`
emes du syst`
eme S5
S5-1)
` P P
S5-2)
` P P
S5-3)
` P P
S5-4)
` (P Q) (P Q)
S5-5)
` (P Q) (P Q)
S5-6)
` (P Q) (P Q)
S(5-7)
` (P Q) (P Q)
Odile PAPINI
Bibliographie
Introduction

s
emantique de la logique modale propositionnelle
s
emantique des mondes possibles
une formule modale evaluee dans un univers de mondes
possibles
une relation daccessibilit
e lie les mondes possibles entre eux
A est vraie dans un monde possible si A est vraie dans tous
les mondes possibles accessibles à partir de
A est vraie dans un monde possible si A est vraie dans au
moins un monde possible accessible à partir de
Odile PAPINI
Bibliographie
Introduction
Exemple 1 : on lance une pi`

ece de monnaie
p : on obtient PILE
f : on obtient FACE
p est possible
f est possible
p f est n
ecessairement VRAI
p f est impossible : n
ecessairement FAUX
Odile PAPINI
Bibliographie
Introduction
Logique modale propositionnelle :semantique

semantique des mondes possibles : exemple
Odile PAPINI
Bibliographie
Introduction
Exemple 2 : on lance deux pi`

eces de monnaie 1 et 2
pi : on obtient PILE pour i
Odile PAPINI
pi : on obtient FACE pour i
Bibliographie
Introduction

s
emantique : d
efinitions
syst`
eme : paire (W, R) o`
u W est lensemble des interpretations
du langage et R est une relation binaire sur W
, 0 W, R 0
: 0 est accessible à partir de
valuation : application v de W P dans {0, 1} qui associe une
valeur de verite v (, p) à la variable p dans linterpretation
mod`
ele : triplet M = (W, R, v ) o`
u (W, R) est un système et v
une valuation
notation : M, |= F : F est vraie dans le monde possible pour
le modèle M
Odile PAPINI
Bibliographie
Introduction
d
efinitions
Soit M = (W, R, v ) un modèle,
la relation de consequence est definie par :
M, |= p ssi v (, p) = 1
M, |= >
M, 6|=
M, |= A ssi M, 6|= A
M, |= A B ssi M, 6|= A ou M, |= B
M, |= A B ssi M, |= A et M, |= B
M, |= A ssi M, 0 |= A pour tout 0 tq R 0
M, |= A ssi M, 0 |= A pour au moins un modèle 0 tq R 0
Odile PAPINI
Bibliographie
Introduction

une formule A est valide dans un modèle M = (W, R, v ) ssi A est
vraie dans tous les mondes possibles du modèle
M |= A
notation
une formule A est valide dans un système (W, R) ssi A est vraie
dans tout modèle M = (W, R, v )
notation
(W, R) |= A
une formule A est valide (ou est une tautologie ), ssi A est vraie
dans tout système (W, R)
notation
Odile PAPINI
|= A
Bibliographie
Introduction
Exemple 2 : on lance deux pi`

eces de monnaie 1 et 2
M, 1 |= p1
M, 2 |= p1
M, 3 6|= p1
M, 1 |= (p1 p2 )
M, 2 6|= (p1 p2 )
M, 2 |= (p1 p2 )
Odile PAPINI
Bibliographie
Introduction
Semantique des mondes possibles : exercice
Figure: source : Stephan Merz

Odile PAPINI
Bibliographie
Introduction
Montrer :
A
A
|= (A B) (A B)

|= F (o`
u si F est une tautologie )
Odile PAPINI
Bibliographie
Introduction
Montrer que dans le système K les axiomes suivants ne sont pas

des tautologies :
T)
AA
4)
AA
5)
A A
Odile PAPINI
Bibliographie
Introduction

proprietes de R :
reflexive : i , j , i Rj
serielle : i , j , i Rj
transitive : i , j , k , si i Rj et j Rk alors i Rk
euclidienne : i , j , k , si i Rj et i Rk alors j Rk
symetrique : i , j , si i Rj alors j Ri
Odile PAPINI
Bibliographie
Introduction

il y a une infinite de logiques modales qui se comportent plus ou
moins bien :
K : logique modale la plus faible, formule caracteristique :
(A B) (A B)
T : systèmes reflexifs, R est reflexive, formule caracteristique :
A A
D : systèmes seriels, R est serielle, formule caracteristique :
A A
K 4 : systèmes transitifs, R est transitive, formule
caracteristique :
A A
Odile PAPINI
Bibliographie
Introduction

S4 : systèmes reflexifs et transitifs, R est reflexive et transitive
KB : systèmes symetriques, R est symetrique, formule
caracteristique :
A A
B : systèmes reflexifs et symetriques, R est reflexive et
symetrique
S5 : systèmes reflexifs, symetriques et transitifs R est
euclidienne, formule caracteristique :
A A
Odile PAPINI
Bibliographie
Introduction
r
esultats de correction et de compl
etude
le syst`
eme formel K
th
eor`
eme (de correction) : soit A une formule modale, si ` A
alors |= A
(les formules qui sont des theorèmes du système K sont des
tautologies pour la classe K )
th
eor`
eme (de compl
etude) : soit A une formule modale, si |= A
alors ` A
Odile PAPINI
Bibliographie
Introduction

r
esultats de correction et de compl
etude
syst`
eme formel T
th
eor`
eme : A A est une tautologie ssi R est reflexive
syst`
eme formel S4
th
eor`
eme : A A est une tautologie ssi R est transitive
syst`
eme formel S5
th
eor`
eme : A A est une tautologie ssi R est
euclidienne
Odile PAPINI
Bibliographie
Introduction
quelques r
esultats de d
ecidabilit
e
d
efinition : une logique modale L possède la propriete de mod`
ele
fini si pour toute formule A qui nest pas valide dans L , il existe
un modèle fini dans lequel A est falsifie
proposition : si une logique modale L possède une procedure de
preuve et la propriete de mod`
ele fini alors L est d
ecidable
th
eor`
eme : K , T , S4, S5 sont d
ecidables
Odile PAPINI

Cours LOG MOD 1

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Cours LOG MOD 1

Încărcat de

Drepturi de autor:

Formate disponibile

Bibliographie

Cours 1 : Logique modale

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

MASTER SIS OPTION LOGIQUE

MASTER SIS OPTION LOGIQUE

Supports de cours logique modale

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

formules complexes valuees en fonction de leurs composants :

logique classique : pas toujours ad

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

Logique modale : extension de la logique propositionnelle

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

il est possible quil pleuve

lagent sait quil pleut, lagent croit quil pleut

autres modalites ou melanges de modalites

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

semantique basee sur les mondes possibles

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

Figure: source : Jean-Claude Choul

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

Figure: source : cours G. Piolle

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle : introduction

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

Le langage de logique modale propositionnelle

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

((A (B C )) ((A B) (A C )))

((A B) (A B))

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

` (P Q) (P Q)

` (P Q) (P Q)

` (P Q) (P Q)

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

si A B remplacer A par B (ou B par A)

MASTER SIS OPTION LOGIQUE

Logique modale propositionnelle

` (P Q) (P Q)

` (P Q) (P Q)

` (P Q) (P Q)

` (P Q) (P Q)

A A : tout ce qui est su (cru) est coherent

B) ` A A : rien nest vrai sans quon ne sache quil

` (P Q) (P Q)

` (P Q) (P Q)

` (P Q) (P Q)