Charles Forgy
Forgy (soutenu le 12 décembre , 1949 dans le Texas ) est un informaticien , connu pour développer l'algorithme de Rete de utilisé dans son OPS5 et d'autres langues du
système de production employées pour établir les systèmes experts .
Premiers travaux et l'algorithme de Rete
Forgy est allé au lycée de Woodrow Wilson de dans le Dallas, le Texas , et a puis avancé à l'université d'état d'Arlington (maintenant
Université du Texas de à Arlington , ou à l'UTA) recevant un diplôme avec un degré dans les mathématiques dans le 1972 . Là de lui s'est attaqué à l'Institut de Technologie (une plus défunte
université de Carnegie de de Carnegie Mellon de ) au Pittsburgh , un centre renommé pour l'étude de l'intelligence artificielle .
Tout en étudiant chez Carnegie il a rencontré sa future épouse, Diana, qu'il a épousée en 1977. Un étudiant de
Allen Newell , il a reçu son Ph. deux
ans après dans 1979 basés sur l'algorithme de Rete de . Quoique Forgy n'ait pas travaillé directement sur
le problème du DEC XCON AI de de configurer des ordinateurs pour le DEC vers la fin des années 70 et du début des années 80, l'algorithme de Rete plus tard a été incorporé au système pour plus de vitesse. Le XCON a employé les
versions tôt d'OPS (système de production officiel) qui a émigré à OPS2 et à OPS5 postérieur. Le DEC a signalé que le
XCON a sauvé au moins $1M USD par an. XCON, un projet dirigé vers le haut par le
John McDermott et plus tard décalé plus d'aux programmeurs de DEC, s'est par la suite composé de règles 10K finies. Le Rete (latin pour le " ; network" ;) l'algorithme a
permis à des systèmes de courir pas moins 3.000 fois de plus rapidement en ces jours. L'algorithme de Rete d'original a été développé sous une
concession de DOD et, en soi, est public domain.
Rete II et III
Forgy est resté au poteau-repére de Carnegie Mellon et a
travaillé d'autres à améliorations au OPS5 ; dans le 1983 il a formé une compagnie appelée les technologies de systèmes de production pour développer et vendre le logiciel basé sur les règles, où il a développé le " ; " de Rete II ; , un successeur plus efficace de Rete. Rete 2 a permis à des programmes basés sur les règles de
fonctionner entre 50 et 100 fois plus rapidement que l'algorithme original de Rete, selon la complexité des règles et des objets. (Plus le plus complexe, plus le comparatif résulte rapidement.) Rete 2 est incorporé dans CLIPS/R2 et OPSJ notamment. Forgy était un scientifique de fondateur et de chef pour la
puissance , une compagnie de règles de de la gestion d'écoulement de travail de fondée en 2002 et basée dans le Boston . Pendant ce temps, Forgy a incorporé Rete 2 avec la
technologie apparentée de logique de , qui est devenue " appelé ; " de Rete III ;. L'exécution de Rete 2 et Rete III sont
pratiquement le même mais Rete III a quelques prolongements qui lui permettent de fonctionner plus efficacement avec RLT.
Développements ultérieurs
Dans le 2005 , RulesPower a été acquis par le Fair Isaac Corporation , qui a obtenu un permis d'intégrer Rete III dans le
conseiller de flamme, leur propre produit de principes économiques. Forgy a maintenu les droits de propriété intellectuels à Rete 2 et
sa compagnie personnelle, la technologie de systèmes de production , vend toujours le OPSJ et d'autres systèmes qui incorporent l'algorithme de Rete 2. La société , une compagnie de consultation indépendante dans le Texas, maintient un ensemble étendu de repères pour la plupart des BRMS et les systèmes basés sur les règles de
systèmes à base de connaissances de qui démontrent l'efficacité du Rete et de Rete 2 algorithmes. Forgy a souvent décrit PST en tant que compagnie recherche-orientée plutôt qu'un fournisseur des outils de BRMS, mais il vend de divers outils basés sur
les règles par l'intermédiaire de PST.