Cette branche de l’IA implique la représentation de la connaissance sous forme de symboles et de règles logiques. Cela peut être utilisé pour des applications de raisonnement, de planification, de résolution de problèmes, etc.