Andere Kunden interessierten sich auch für
![Restauration d'images par algorithmes génétiques et logique floue]( "Restauration d'images par algorithmes génétiques et logique floue")
Restauration d'images par algorithmes génétiques et logique floue51,99 €![Systèmes Informatiques Mobiles : de l¿informel vers le formel]( "Systèmes Informatiques Mobiles : de l¿informel vers le formel")
Systèmes Informatiques Mobiles : de l¿informel vers le formel29,99 €![Effets de la structure logique sur la recherche d'information]( "Effets de la structure logique sur la recherche d'information")
Effets de la structure logique sur la recherche d'information54,90 €![Logique mathématique pour l¿informatique]( "Logique mathématique pour l¿informatique")
Logique mathématique pour l¿informatique29,99 €![Ressources pédagogiques multimédias et raisonnement mathématique logique]( "Ressources pédagogiques multimédias et raisonnement mathématique logique")
Ressources pédagogiques multimédias et raisonnement mathématique logique51,99 €![La logique de conception des scénarios d'apprentissage]( "La logique de conception des scénarios d'apprentissage")
La logique de conception des scénarios d'apprentissage26,99 €![Manuel de Programmation Logique avec des exercices corrigés]( "Manuel de Programmation Logique avec des exercices corrigés")
Manuel de Programmation Logique avec des exercices corrigés26,99 €
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.