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.
Product Identifiers
Publisher
Südwestdeutscher Verlag Für Hochschulschriften A&G & Company KG