https://cis.temple.edu/~giorgio/cis587/readings/rete.html
(R1 (has-goal ?x simplify) (expression ?x 0 + ?y) ==>....) (R2 (has-goal ?x simplify) (expression ?x 0 * ?y) ==>....) and the following facts: (has-goal e1 simplicity) (expression e1 0 + 3) (has-goal e2 simplicity) (expression e2 0 + 5) (has-goal e3 simplicity) (expression e3 0 * 2) Then the Rete is +----------+ | ENTRANCE | +----------+ x ...
https://cis.temple.edu/~latecki/Courses/CIS2166-Fall14/StrangMatrixAlg/ila0403.pdf
By calculus Most functions are minimized by calculus! The graph bottoms out and the derivative in every direction is zero. Here the error function E to be minimized is a sum of squares e2 C e2 C e2 (the square of the error in each equation): 2 3