---

Résumé Le présent ouvrage se situe dans le domaine de la représentation des connaissances. Nous avons choisi le cas d étude suivant : Représentation des relations causales et temporelles entre actions et événements. Notre travail est consacré à l étude systématique des théories d action en utilisant un formalisme logique basé sur un langage du premier ordre augmenté d opérateurs et dont l objectif principal est de faciliter la représentation des relations causales et temporelles entre les actions et leurs effets ainsi que les relations causales et temporelles entre actions et événements. L originalité de ce travail réside dans la proposition d un formalisme basé sur les classes d équivalences. Nous avons utilisé les classes d équivalence pour représenter l ensemble des actions qui se produisent en même temps ou encore processus ainsi que les actions compétitives. Nous avons défini des opérateurs qui nous permettent d énumérer les événements qui se réaliseront dans le futur et dont un événement e est la cause ainsi que événements qui se sont produits dans le passé et qui ont donné lieu à un certain événement.

---