Pour interfacer un agent artificiel tel qu'il a été décrit ici avec un utilisateur humain, il faudra envisager d'échanger les coups en langage naturel et non formel. Pour cela, il existe des grammaires logiques qui permettent de passer directement d'un énoncé textuel à une représentation sémantique dans un langage formel (la logique des prédicats du premier ordre par exemple). On trouvera dans les annexes des implémentations de grammaires lexicales fonctionnelles et catégorielles (Lambek/Gentzen). Un autre modèle à la mode pour l'analyse du langage naturel est la SDRT (voir [Asher, 1993]) (Segmented Discourse Representation Theory). Par rapport aux grammaires formelles, ce modèle présente l'avantage de tenir compte de la connaissance du monde pendant la phase d'analyse du texte.