Propose une description de ce que l'on peut attendre d'un automate sémantique en orientant vers les choix théoriques les plus appropriés : le dictionnaire électronique y tient une place déterminante ; étudie également la réduction polysémique ; enfin, montre ce que peut être un moteur d'inférence.