Forward Chaining

c
      V | •
 
  
 
  
 
 
 
 
 

 

 



   

  
 
    
  
 
      •

   
 
 
         

   
      
 
 
  


  
    

   
   

 
  

 
 
  
    
  

 
 
          

   
 
     
 
 
 
     
       

 !"#$ 

 
      % %  
 

%  

 
      
%
 
%  
  &  
 



     '  " ()))))) 
 *%*   
 +
   
  
,

   -
-./)V$& -
-   
./)!"#$ 
-
-0 1(2 -  -
-3 
-
-   
0 *(2 - -
-   
3 #$&  
  
,

 
   

r

,  1(2())))))*01))))))  r

   
  *(2())))))*0*))))))       

   
 !45#%    
 
  
    

    6
 
 
 
 


  

       
 
   
   
  %  

 

   r |  

 | ÷

% 


%

 | Î  
  | ?
  

 7
  |

6
%  

 

| ?
 
   |

     

| ! 
  
  
    |

 
  8 

 

r 
   

   * |    



  
  1 | 5
    
   
 
    
     
    



 
   ( |       


!"#$  +

 


 
 V   

   
  
      
%    
    
   1 
 
 
  
    
%  

      

 | +  | • 


%

%
 | &

 
 | V
  
 
 
 | & 
%

   | r    


 
 



   

 

 

Y



 

     

Y
 
 



      

 
 
 
 $ 

V


4*

V?r!"#$

41

!"#$&

4(

V?#!"#$

49

V!"#$÷

4:

?÷!"#$&

4;

÷?#!"#$"

4<

?"!"#$ 

4=

 ?V!"#$

4>

÷!"#$

4*)

!"#$+

 •   *)
   
  
  
  
 
 
 
 V?#  V 
 

  "  
      +  
 
 @ 5
  
 
  
 
 
    | 4* V  
 
 

% 

r 

   


% 
 
    


 A  
  4*  
 
 
  
 
  
 41  | •41  
 

&
 

    
  
 
 

   
% 

 4(  | • 4( V 
 #     
   
 &

  
 

  
 
  
  & 
  
     %   

   
  
 49

| • 49 V        
%  
 ÷   
 



   ÷%  ÷
    
 
  
 4:  | •4:
÷
 

4(
49% 
& 


 
  
  !      &%    & 
     
 
 4;  | •4;%#
÷
 

49%"
  


      "%    " 
   %  
  
   4<  | • 4<% 
      %          

 


% 

 

  
& 
  4= | •4=%  
V

      % 


     


 & 
 4>  | •4>%÷

49% 

 


%  


   % 
 4*)  | • 4*)% + 
 
  
 
 4>  +
 +   


  

       
     494>4*) 

 

 4: V 4(4 ;  


 ÷  

 



& | '  
 
 !  • 

÷  x| Tree

 
       
    Node (simpul/veteks 
 
 
 
 
  
 
 


linkedge

 


  x| r
   
)%*1
 
  ¦| $  
  ¦| $  
  
 



   x| !    
      

  
% 
   

   %   
 
  
  
   

    
 
  x| !   ÷  x| ÷      

    
  

  
 

 




  x| &  % 
   

    
     
  

 

  
      
  x| r   
     
 

 x| x| x| x|



÷ 6siklik  



  ÷ 


   digr6ph  ÷    l6ttice  !  
 
 

   
   
  
   degener6te tree  x| V  
   
 
 decision tree 
decision l6ttice  x| 
   
 




  


 
 

 x| V
  B!"#$B
    +V 

0CV     @C

&V$
0C!C 'V+V 

0CV  
@C   +V 

0CV     @C &V$
0CDC 'V+V 

0CV    
  

@C BB  # | 
 +  • •
 + 

 +   
   

  
         
6 

 r'@ E 6 


 V0 
F*) )))

6  r0 .() 
 0


  6    &0
 

  
F9) )))

#0
6  
  V
 0
6     
   ÷0
6    r'   6   
!45#VÎ# V+!VDV$÷V&V  &
  
6    ' 
F*) ))) V!45# r 1: 
 r!45# &

 

     
6   r'@ 45Î# 4*    
 
F*) )))
 
6  V$& 

  6    !"#$  
6  
  41    
 
 
  

F9) ))) V$& 

  6    !"#$  
6     
   4(    
 .() 
 V$& 
6  
  !"#$ 
 
6     
 49    
 .() 

/11 
 !"#$ 

   4:    


 
6     
 !"#$ 
     r'  4  
 4*  V
%!"#$# 41  &
%!"#$ 4(  r
#%!"#$ 49  r%!"#$ 4:  %!"#$÷ ?A4+ $÷ '#'A4D  V% r%%#%%÷÷AVÎ  ÷@4 
 494*4( 4: