Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Annales Maghrébines de l'Ingénieur Année : 2005

Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés

Résumé

La négation est utile dans la majorité des applications du monde réel. Cependant son introduction entraîne des problèmes sémantiques et canoniques. Dans cet article, nous proposons une approche basée sur la stratification pour traiter les problèmes de négation. Cette approche se base sur une extension des réseaux de prédicats. Elle se caractérise par deux contributions principales. La première concerne la gestion de toute la classe des programmes stratifiés. La deuxième contribution est liée aux opérations habituelles d'optimisations des programmes stratifiés (stratification maximale, mises à jour par accroissement, etc.). Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. We propose in this paper an approach based on stratification to deal with negation problems. This approach is based on an extension of predicates nets. It is characterized with two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations of optimizations on stratified programs (maximal stratification, incremental updates, etc.).
Fichier non déposé

Dates et versions

hal-01125483 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125483 , version 1

Citer

A. Grissa-Touzi, Chadlia Jerad, Kamel Barkaoui. Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés. Annales Maghrébines de l'Ingénieur, 2005, 2, pp.587-599. ⟨hal-01125483⟩

Collections

CNAM CEDRIC-CNAM
20 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More