Logique temporelle
| AUTHOR | Mamache-F |
| PUBLISHER | Academiques (02/28/2018) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
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.
Show More
Product Format
Product Details
ISBN-13:
9783838189956
ISBN-10:
3838189957
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
French
More Product Details
Page Count:
144
Carton Quantity:
56
Product Dimensions:
6.00 x 0.34 x 9.00 inches
Weight:
0.49 pound(s)
Country of Origin:
FR
Subject Information
BISAC Categories
Computers | Information Technology
Computers | General
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
List Price $60.00
Your Price
$59.40
