Production Systems and Rete Algorithm Formalisation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2004

Production Systems and Rete Algorithm Formalisation


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.
Fichier principal
Vignette du fichier
rete.formalisation.pdf (208.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00280938 , version 1 (20-05-2008)


  • HAL Id : inria-00280938 , version 1


Horatiu Cirstea, Claude Kirchner, Michael Mm Moossen, Pierre-Etienne Moreau. Production Systems and Rete Algorithm Formalisation. [Research Report] 2004, pp.21. ⟨inria-00280938⟩
235 View
3040 Download


Gmail Facebook X LinkedIn More