Le langage naturel, le raisonnement géométrique, les systèmes experts, l'inférence, l'analyse et l'interprétation d'images, l'apprentissage, les architectures logicielles et matérielles, la programmation logique.