Production Systems and Rewrite Systems

Horatiu Cirstea (1) , Claude Kirchner (1) , Michael Moossen (1) , Pierre-Etienne Moreau (1)

1 PROTHEO - Constraints, automatic deduction and software properties proofs

This report studies the relationship between systems and term rewrite systems. Giving a brief definition of both, then comparing all the concepts related to them, their similarities and differences, comparing also the life cycle of each system for finally to study ways for translating one to another.

Mots clés: term rewriting; business rule; production rules; associative-commutative matching; règles métiers; règles de production; filtrage associatif-commutatif; contrainte de filtrage; matching constraint; réécriture de terme

Domaines: Autre [cs.OH]

Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rewrite Systems. [Contract] A04-R-563 || cirstea04f, 2004, 28 p. ⟨inria-00099860⟩