Logique Temporelle

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.

Author: Mamache-F

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 144 pages

Binding: Paperback or Softback

ISBN-10: 3838189957

ISBN-13: 9783838189956