Production Systems and Rete Algorithm Formalisation

Horatiu Cirstea 1 Claude Kirchner 1, 2, * Michael Moossen 1, * Pierre-Etienne Moreau 1, *
* Auteur correspondant
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The rete algorithm is a well-known algorithm for eciently addressing the many patterns/many objects match problem, and it has been widely used and implemented in several applications, mainly production systems. But despite of the wide usage of production systems and the rete algorithm, to the best of our knowledge there has been just one proposition for a formal defnition of the rete algorithm given by Fages and Lissajoux [FL92], but no attempt to give a formal description of production systems as a whole, giving rise to lots of ambiguities and incompatibilities between the dierent implementations. Therefore, the need for a formalisation is clear and we present in this report a first approach to it, refining Fages and Lissajoux's approach to fit it in our general model of production systems.
Type de document :
Rapport
[Research Report] 2004, pp.21
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00280938
Contributeur : Radu Kopetz <>
Soumis le : mardi 20 mai 2008 - 12:59:09
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : vendredi 28 mai 2010 - 19:38:30

Fichier

rete.formalisation.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00280938, version 1

Collections

Citation

Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rete Algorithm Formalisation. [Research Report] 2004, pp.21. 〈inria-00280938〉

Partager

Métriques

Consultations de la notice

228

Téléchargements de fichiers

2166