Logique du premier ordre : un langage

Objectifs
● !"#$%&'(%&)*&)+,-&./)01)0"23+,&)(&)$%&#3&%)"%(%&)
! *"''14/%&)01).5'/16&)
! .17"3%)(8*%3%&)(&.)913/.).",.)9"%#&)(&)0"23+,&)(,)$%&#3&%)"%(%&)
● :17"3%)913%&)(,)%13."''&#&'/)(8(,*;9)&')0"23+,&)(,)$%&#3&%)"%(%&))
! $%",7&%)+,-,')<)'",7&1,)=)913/)&./),'&)*"'.8+,&'*&)0"23+,&)(-,'&)>1.&)
3'3;10&)(&)913/.?)@)0-13(&)(&)01)$%&,7&)$1%)%8."0,;"')
A,2")B1%"*C&00&)&/)D%"(,10()E1>1'F1)G)

Logique du premier ordre : un langage
● H7&*)01)%&*C&%*C&)C&,%3.;+,&?)'",.)$",7"'.)%8.",(%&)(&.)$%">0I#&.)+,3).&)
/%1(,3.&'/)91*30&#&'/)&'),'&)%&*C&%*C&)(1'.),')2%1$C&)(-8/1/.)
● J",%)%8.",(%&)(&.)$%">0I#&.)$0,.)*"#$0&6&.)+,3)(&#1'(&'/)(&.)
*"''13..1'*&.)(-,')&6$&%/?)'",.)17"'.)>&."3')&')$0,.)(-,')01'212&)
$&%#&K1'/)L)
! (&!représenter!les!connaissances!(-,')&6$&%/)91*30&#&'/)
! (&)faire!des!déduc1ons!logiques!17&*)*&.)*"''13..1'*&.))
● B1)logique!du!premier!ordre)M1$$&08)1,..3)0&)<)calcul!des!prédicats)=N)&./)01)
>1.&)(&)$0,.3&,%.)9"%#103.#&.)(&)%&$%8.&'/1;"'))
(&.)*"''13..1'*&.)&/)(,)raisonnement!déduc1f!!
,;03.8)&'/%&)1,/%&.)$1%)0&.).5./I#&.)&6$&%/.)
A,2")B1%"*C&00&)&/)D%"(,10()E1>1'F1)O)

Logique du premier ordre : un modèle
mathématique du raisonnement déductif
● P)0-"%323'&?)01)0"23+,&)(,)$%&#3&%)"%(%&)&./),')#"(I0&)#1/C8#1;+,&)(,)
%13."''&#&'/)(8(,*;9)
! 0&)%13."''&#&'/)(8(,*;9)&./)0&)$%"*&..,.)$&%#&K1'/)(-3'98%&%)(&.)
<)&6$%&..3"'.)7103(&.)=)@)$1%;%)(&.)913/.Q$%8#3..&.))
! 01)*1$1*3/8)(&)#"(803.&%),')%13."''&#&'/)(8(,*;9)'",.)$&%#&K%1)$1%)01).,3/&)
(&)0&)$%"2%1##&%)M$1%)&6&#$0&)(1'.),').5./I#&)&6$&%/N)
A,2")B1%"*C&00&)&/)D%"(,10()E1>1'F1)R)

Exemples de raisonnement déductif
● J%",7&F)+,&)S1%*,.)C13/)!8.1%)@)
$1%;%)(&)L)
GT S1%*,.)&./),'&)$&%."''&T)
OT S1%*,.)&./),')$"#$83&'T)
RT U",.)0&.)$"#$83&'.)."'/)(&.)%"#13'.T)
VT !8.1%)&./),')(3%32&1'/T)
WT U",/)0&)#"'(&)&./)0"510)@)+,&0+,-,'T)
XT U",.)0&.)%"#13'.)."'/)0"51,6)@)!8.1%)
",)0&)C1Y..&'/T)
ZT B&.).&,0.)(3%32&1'/.)+,-,'&)$&%."''&)
&..13&)(-1..1..3'&%)."'/)*&,6)1,6+,&0.)
&00&)'-&./)$1.)0"510&T)
[T S1%*,.)1)&..158)(-1..1..3'&%)!8.1%T)
● \8(,3%&)01)#101(3&)(,)$1;&'/)&/)0&)
/%13/&#&'/)1$$%"$%38?)@)$1%;%)(&)L)
GT :5#$/]#&.)(-,')$1;&'/T)
OT ^I20&.)(&)*1,.103/8)&'/%&)0&.)
.5#$/]#&.)&/)0&.)$1/C"0"23&.T))
RT ^I20&.)(&)*1,.103/8).,%)0&.)/%13/&#&'/.T)
)
● \312'".;+,&%)0&)$%">0I#&)(-,')
78C3*,0&)@)$1%;%)(&)L)
GT :5#$/]#&.)(-,')78C3*,0&T)
OT ^I20&.)(&)*1,.103/8)$",%)01))#8*1'3+,&)
1,/"T))
A,2")B1%"*C&00&)&/)D%"(,10()E1>1'F1)4)

Exemple : schéma d’un système expert
● B1)>1.&)(&)*"''13..1'*&.)&./)
.$8*3_8&)$1%)(&.)%I20&.)0"23+,&.)
● B&.)913/.)."'/)(&.)$%"$".3;"'.)
0"23+,&.)
● B1)#8#"3%&)(&)/%17130)$&,/)`/%&)
7,&)*"##&),')8/1/)
● B&)#"/&,%)(&)%&*C&%*C&)&./),'&)
&6$0"%1;"')(&)0-&.$1*&)(-8/1/.)
● a6&#$0&)L))
! b171)a6$&%/):5./&#):C&00)Mba::N)
c1.&)(&)
*"''13..1'*&.)
S8#"3%&))
(&)/%17130)
S"/&,%)(&)
%&*C&%*C&)
^8$"'.&)
d'/&%%"21;"')
D13/.)
A,2")B1%"*C&00&)&/)D%"(,10()E1>1'F1)W)