next up previous contents
Next: Jeux logiques Up: Jeux logiques et jeux Previous: Jeux logiques et jeux

Introduction

Nous avons évoqué dans la première partie de ce rapport la notion de jeux logiques. Les jeux logiques permettent de contrôler les inférences, ou plus généralement les coups logiques. Par opposition, les jeux de dialogue permettront le contrôle des coups de dialogue. Nous avons déjà défini les coups de dialogue (les actes de dialogue). Il reste donc à définir les coups logiques, puis les jeux logiques. Nous verrons ensuite ce qu'il reste aux jeux de dialogue.



Christophe Delord
1998-09-02