Le cours - Benoît Lemaire

Mathématiques pour l'informatique
Master ICA/DCISS, Département IMSS, UFR SHS, université de Grenoble
Benoît Lemaire, 2012/2013
2 Logique
Tables de vérités
 !"#$%#&'#(
) *+ 
   ,-,-, 
-./
& 
) 
0 
1 
2 
3 
4 
. 
                5      
+ ,
-&)014.
p (pleut) d (dimanche) en panne (e) p ou (non d)
" " " "
" " $ "
" $ " "
" $ $ "
$ " " $
$ " $ $
$ $ " "
$ $ $ "
Connecteurs usuels
!6(!6(!(
p q p q p q p
" " " " $
" $ $ " $
$ " $ " "
$ $ $ $ "

 /
p q p q
" " "
" $ $
$ " "
$ $ "
7
!contraposition(
Exercice8
5
!(!(
!(!(
9
Le ou exclusif!:;(/
p q p q
" " $
" $ "
$ " "
$ $ $
L'équivalence/
p q p q
" " "
" $ $
$ " $
$ $ "
"</
8'/
==/

Tautologie et contradiction
<tautologie 6
+ /
<contradiction6+ /
!(
Lois de Morgan :
!(!(
!(!(
 >/
while (!(i>N || t [i]==0))
while (i<N && t[i]!=0)
8 /< 1
 1%%/
!1&%%(1%%
 /
!!1&%%(1%%(!1&%%(1%%
Exercice"5
!(
(
!!(
!(!(
!(!!(!((
Déductions automatiques
Modus ponens
?/
@?!(
?4%.% systèmes
experts               
?A68 /
BCD8'8' DD@;B
BC8'@;BD
BCD8'
?/&)
/6

Deux stratégies : le chaînage avant et le chaînage arrière
8E?
6
8E??
  6
?
8'#<!8'?<*?
(
8 /
FG8$
GH@
$@
G
G8
@I
F:
:@
$/F
F/IJ
 E?
E
+E?
Puissance d'expression du langage
!&(8 /
!:K(!KL(!:L(
?
          ?  H        
%M#
N0O DDP
8 
D DD
Coe)cients de vraisemblance
G6Q*
?R?
8 !A? SA(/
si site=sang et forme=batonnet et hote=a_risque alors organisme=domania aeruginosa (0.6)
T/Q@FJ@FJ@J@
 ?J
<Q&! (&!(/

*!@F(P!@F(
*!@F(P !@F(
*!@(P*!@(
B?/&)!(
  Q       *  ? 
QQ!N(Q
PUCA /
/6Q
6Q/
/
PM!(
PMM!(
P!M(#!&!9999(!(
Exercice
/
@!.2(
F!O(
!4(
G!42(
T?J
@!F(G!.(
?%.
Gestion de la négation en condition de règles
&    /          @        ,@-        
) !(/@ @
+?@@ 
8 /
;&/@F
;)/@
;0/8
F$/V8W
FF ?
0!(/@@G 
?;&@@;&
Le principe de la réfutation
                  ?  +
 /
:X
5?
0.Y5?
>0OY
>:,>
:-
@E ?