La modélisation du dialogue doit prendre en compte les agents et les jeux de dialogue. Les agents sont caractérisés par leurs états mentaux et leurs systèmes inférentiels, indépendament du dialogue, alors que les jeux sont des ensembles de règles représentant leurs comportements en fonction de l'état du dialogue. Pour formaliser ce fontionnement, nous allons utiliser une logique modale non-monotone.