STRPRO Tool for Manipulation of Stratified Programs Based on SEPN
Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. SEPN nets are well adapted extension of predicate nets for the definition and manipulation of stratified programs. This formalism is characterized by two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations optimization (maximal stratification, incremental updates ...). We propose, in this paper, useful algorithms for manipulating stratified programs using SEPN. These algorithms were implemented and validated with STRPRO tool.
[1] J. L. Laurière, "Intelligence artificielle, résolution de problème par
l-homme et la machine", (Ed) Eyrolles, 1986.
[2] G. Gardarin, "Bases de Données Objet et Relationnel", (Ed) Eyrolles,
2000.
[3] A. Grissa-Touzi, "Contribution à l-Etude, à la Conception et au
Prototypage des Bases de Données Déductives", Ph. D. thesis. Dept. of
Computer Science, Faculty of Sciences of Tunis, Tunisia, 1994.
[4] G. Jager and R. F. Stark, "The defining power of stratified and
hierarchical logic programs", Journal .of Logic Programming, 1993, pp.
55-77.
[5] H. Farreny, "Les systèmes experts principes et exemple", (Ed)
Cepadues, Novembre, 1986.
[6] A. Grissa-Touzi, C. Jerad and H. Ounelli, "New approach for
Manipulation of Stratified Programs", submitted for publication in AISC
2005.
[7] J.W. Lloyd, "Fondement de la Programmation logique", (Ed) Eyrolles,
Paris, 1988.
[8] R. K. Apt and H. A. Blair, "Arithmetic Classification of Perfect Models
of Stratified Programs", Fundamenta Informaticae, vol. 14, 1991, pp.
339-343.
[9] A. Grissa-Touzi, C. Jerad and K Barkaoui, " Nouvelle Approche pour la
Définition et la Manipulation de la Négation par les Programmes
Stratifiés", Maghrebian Anales of Engineers, vol 19, N┬░1, 2005.
[10] C. Jerad, " Outil d-Analyse des Bases de Données Déductives Formulées
├á l-Aide des Réseaux ├á Prédicats Etendus Stratifiés", Master memory,
Dept. of Electrical Engineering, National School of Engineers of Tunis,
Tunisia, July, 2003.
[11] C. Froidevaux, Mr. C Gaudel and M. Soria, "' Types of Data and
Algorithmes' ', Ediscience International, 1990.
[12] R. S. Brink, ''A Petri Net Design, Simulation, and Verification Tool'',
http://www.csh.rit.edu/~rick, Rochester Institute of Technology,
Rochester, New York, 1996.
[1] J. L. Laurière, "Intelligence artificielle, résolution de problème par
l-homme et la machine", (Ed) Eyrolles, 1986.
[2] G. Gardarin, "Bases de Données Objet et Relationnel", (Ed) Eyrolles,
2000.
[3] A. Grissa-Touzi, "Contribution à l-Etude, à la Conception et au
Prototypage des Bases de Données Déductives", Ph. D. thesis. Dept. of
Computer Science, Faculty of Sciences of Tunis, Tunisia, 1994.
[4] G. Jager and R. F. Stark, "The defining power of stratified and
hierarchical logic programs", Journal .of Logic Programming, 1993, pp.
55-77.
[5] H. Farreny, "Les systèmes experts principes et exemple", (Ed)
Cepadues, Novembre, 1986.
[6] A. Grissa-Touzi, C. Jerad and H. Ounelli, "New approach for
Manipulation of Stratified Programs", submitted for publication in AISC
2005.
[7] J.W. Lloyd, "Fondement de la Programmation logique", (Ed) Eyrolles,
Paris, 1988.
[8] R. K. Apt and H. A. Blair, "Arithmetic Classification of Perfect Models
of Stratified Programs", Fundamenta Informaticae, vol. 14, 1991, pp.
339-343.
[9] A. Grissa-Touzi, C. Jerad and K Barkaoui, " Nouvelle Approche pour la
Définition et la Manipulation de la Négation par les Programmes
Stratifiés", Maghrebian Anales of Engineers, vol 19, N┬░1, 2005.
[10] C. Jerad, " Outil d-Analyse des Bases de Données Déductives Formulées
├á l-Aide des Réseaux ├á Prédicats Etendus Stratifiés", Master memory,
Dept. of Electrical Engineering, National School of Engineers of Tunis,
Tunisia, July, 2003.
[11] C. Froidevaux, Mr. C Gaudel and M. Soria, "' Types of Data and
Algorithmes' ', Ediscience International, 1990.
[12] R. S. Brink, ''A Petri Net Design, Simulation, and Verification Tool'',
http://www.csh.rit.edu/~rick, Rochester Institute of Technology,
Rochester, New York, 1996.
@article{"International Journal of Information, Control and Computer Sciences:55988", author = "Chadlia Jerad and Amel Grissa-Touzi and Habib Ounelli", title = "STRPRO Tool for Manipulation of Stratified Programs Based on SEPN", abstract = "Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. SEPN nets are well adapted extension of predicate nets for the definition and manipulation of stratified programs. This formalism is characterized by two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations optimization (maximal stratification, incremental updates ...). We propose, in this paper, useful algorithms for manipulating stratified programs using SEPN. These algorithms were implemented and validated with STRPRO tool.
", keywords = "stratified programs, update operations, SEPN formalism, algorithms, STRPRO.", volume = "1", number = "11", pages = "3498-4", }
