bài giảng môn trí tuệ nhân tạo BIỂU DIỄN TRI THỨC



  !"#$%&'%() *
+,-&
.
 
.
   
.
       
.
       
  !"#$%&'%() 
/0,,'!
.
  
.
/)123-34%3 56)2),672#35&2%)8 3#63 %,)
7-237#,7-#375),9:2,5;:2,5
,6%,)7#<
.
#,%=62>?@%A&B6C7A&0%#D%=6EF6% 
G>2 2&
.
H,I&J,@%6C76)K,%#)!"
L
% (!G,E
2MGH6>)7GNOP>)OQ
  !"#$%&'%() R
#,%=6%KJ7)S!
.

 
;
/0,,'!4O,I!E%7!,06T
.
   !" "       #      $ 
;
*%7!,066Q6(JU7&%DJU
7&
.
 
  !"#$%&'%() 
5V%#,%=6
.
 % % !# &  ' #( # )         
  !"#$%&'%() W
NOPJ,I&-,X%#,%=6
.
  % %%                    
   ! *&'       + " &         
# &  )   
.
,        -  ' *         
. + "    
  !"#$%&'%() Y
,I&-,X%#,%=6
(%H6
(D%=6
Z
Facts 95H?,'<4
sự thật trong lĩnh vực

Z
Representations95HJ,I&-,X<4
dạng biểu diễn của sự kiện theo lược
đồ được chọn.
0,6[J,I&-,X
0,6Q%I\]2^O_6
  !"#$%&'%() `
R%&+6%$6C7'%a
 3 #353%7%,)727-3A&764
/BbJ,I&-,X%N%6B606%#,%=66[
%,@%6)2MGH6OQ
* 83#3%,727-3A&764
/Bb\]2^6066N&%#c65d6QOI
5,#76066N&%#c6!e,%=Ge,%#,
%=6!e,O_65,#7%f%#,%=66g
  !"#$%&'%() h
R%&+6%$6C7'%a
 83#3%,72388,6,364
/Bb%i!G>)6N&%#c6%#,%=6%"%,
Jj5&!>Q6Q%IO_6-OIe
-k66@5&2&%3)e6Q,P&
%#,IGFN%
R l6A&,5,%,)72388,6,364
/Bb%&O_6%"%,!e,-X->
#K_ O,BN%2>6m%#H6%,@ %#,
%=6!e,9-)K,<G>)65V%#,%=6n^
%VN%2>6%#D6Q%I?,I!5)0%
G,'6%&O_6%#,%=6
  !"#$%&'%() 
b2H6,'74

;
/"!+%'%a>)6Q%I%a,&%N%6B
606?Bb%#i6)!F,?,I&%#,%=6
;
,P&?o%&%-6)J,I&-,X%#,%=6
6%S%(,
;
%#D%K-,P&?o
%&%J,I&-,X
  !"#$%&'%() 
Phân loại tri thức
.
      ,/         #  &  )    
  '   %%    /& ' .)         
    !  '    &'           
 
  !"#$%&'%() *
Phân loại tri thức
.
  ,  &      ')       
  '  %                
- 
  !"#$%&'%() 
Phân loại tri thức
.
 , / 0 m oẹ 0     % )  !   
 1  '  " tri th c nông c nứ ạ /  '' 
*+&  #  # &  )      
  !"#$%&'%() R
Phân loại tri thức

.
2! , /  &  )  ' -%   *       " 
 %    #  &  )  #      
  !"#$%&'%() 
p 0 %,@ %#,%=6
.
   
;
q,0%,@ 4r%#,%=6?,O,I
;
#H6%,@ 4r%#,%=6?,,'!9?"
?,O,I<-)s6&i,72MGH6tO7#7
.
   
;
ua,Ge,r%#,%=6%,P!vE?"#w#>
'%a B,%H %$6E5&-,XE?0!
0OI6Q%i!%#,%=6!e,
  !"#$%&'%() W
p 0 
.
 !   ,         *&         
 %  '  &'&  )   '  3"      $    
     &' %!"    )         
  !"#$%&'%() Y
p 0 
.
        ,'% %%   3   .-        
   &'  #     #      # 
  !"#$%&'%() `

p 0 
.
      ,' - 3 ! / 4 & /      
-%       / 4 )    $   
  !"#$%&'%() h
p 0 
.
  -5  ,' -        &          
    ' .) #  
.
2  /      
  !"#$%&'%() *
%3)2),6D%=6
.
  
.
&   %6 % $  
.
  , 
  / -/  
.

.
  
  !"#$%&'%() *
n),6!i
L
OP
.
"     .(  - ,%#))). %         

 &'/   %  /.( +        )
.
  ¬∧∨
.
7    ,  -      
.
! #   
  !"#$%&'%() **
n),6!i
L
OP
.
M nh ệ đề'    % '  . .  ' -       %  
 ' . %  &'/   %  /.      
( +   )
  !"#$%&'%() *
n),6!i
L
OP
.
"     .(  - ,%#       )
.
  ¬∧∨
.
7    ,  -      
.
! #   
  !"#$%&'%() *R
.
Bi u th c logicể ứ     #  ,    

;
06U2),69#&3Ex7253<G>606J,@
!'OP2>606J,I&%=62),6
;
06J,I&%=62),6?@%_ Ge,606%)0%]
2),69 y %&I9∨<E y +,9∧<E CO
9¬EzE<E y ?y)%3)9⇒E→<E y %
O9⇔E≡<<2>606J,I&%=62),6
  !"#$%&'%() *
.
Bi u th c logic d ng chu n: ể ứ ạ ẩ '   +(      &'    $   
%8%¬∧∨.