HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Production Systems and Rete Algorithm Formalisation

Horatiu Cirstea 1 Claude Kirchner 1 Michael Moossen 1 Pierre-Etienne Moreau 1
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 efficiently 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 definition of the rete algorithm given by Fages and Lissajoux~\cite{Fages92}, but no attempt to give a formal description of production systems as a whole, giving rise to lots of ambiguities and incompatibilities between the different 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.
Document type :
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:48:51 AM
Last modification on : Friday, February 4, 2022 - 3:30:48 AM
Long-term archiving on: : Friday, November 25, 2016 - 11:57:54 AM


  • HAL Id : inria-00099850, version 1



Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rete Algorithm Formalisation. [Contract] A04-R-546 || cirstea04d, 2004, 26 p. ⟨inria-00099850⟩



Record views


Files downloads