Чарльз Л. Форджи (родился 12 декабря 1949 года в Техасе ) — американский учёный-компьютерщик , известный разработкой алгоритма Rete , используемого в его OPS5 и других языках производственных систем, используемых для создания экспертных систем .
Форджи учился в средней школе Вудро Вильсона в Далласе, штат Техас, а затем перешел в Арлингтонский государственный колледж (ныне Техасский университет в Арлингтоне , или UTA), окончив его в 1972 году со степенью по математике . Оттуда он поступил в Технологический институт Карнеги (позднее Университет Карнеги-Меллона ) в Питтсбурге, известный центр по изучению искусственного интеллекта . Во время учебы в Карнеги он познакомился со своей будущей женой Дианой, на которой женился в 1977 году.
Будучи студентом Аллена Ньюэлла , он получил докторскую степень в 1979 году на основе алгоритма Rete . Несмотря на то, что Форджи не работал непосредственно над проблемой DEC XCON AI по настройке компьютеров для DEC в конце 1970-х и начале 1980-х годов, алгоритм Rete был позже включен в систему для большей скорости. XCON использовал ранние версии OPS (Official Production System), которые мигрировали в OPS2 и позже в OPS5.
DEC сообщила, что XCON экономит не менее 1 млн долларов США в год. XCON, проект, возглавляемый Джоном Макдермоттом и позже переданный программистам DEC, в конечном итоге состоял из более чем 10 тыс. правил. Алгоритм Rete (лат. «сеть») позволял системам работать в 3000 раз быстрее в те дни. Оригинальный алгоритм Rete был разработан в рамках гранта Министерства обороны и, как таковой, является общественным достоянием.
Форджи остался в Карнеги-Меллон после окончания университета и работал над дальнейшими усовершенствованиями OPS5 ; в 1983 году он основал компанию Production Systems Technologies для разработки и продажи программного обеспечения на основе правил, где он разработал « Rete II », более эффективного преемника Rete. Rete II позволил программам на основе правил работать в 50–100 раз быстрее, чем исходный алгоритм Rete, в зависимости от сложности правил и объектов. (Чем сложнее, тем быстрее сравнительные результаты.) Rete II включен в CLIPS/R2, OPSJ и Blaze Advisor от FICO.
Forgy был основателем и главным научным сотрудником Rules Power, компании по управлению рабочими процессами, основанной в 2002 году и базирующейся в Бостоне . В то время Forgy объединил Rete II с Relational Logic Technology, которая стала называться « Rete III ». Производительность Rete II и Rete III практически одинакова, но Rete III имеет некоторые расширения, которые позволяют ему работать более эффективно с Relational Logic Technology, но замедляют его в тестах производительности.
Forgy разработал алгоритм следующего поколения, названный Rete-NT, который увеличил скорость выполнения еще на порядок. [1] На сегодняшний день Sparkling Logic SMARTS является единственным продуктом BRMS , который использует этот алгоритм.
В 2005 году RulesPower была приобретена корпорацией Fair Isaac , которая получила лицензию на интеграцию Rete III в Blaze Advisor, свой собственный продукт для разработки бизнес-правил.
Форджи сохранил права интеллектуальной собственности на Rete II, а его личная компания Production Systems Technology по-прежнему продает OPSJ и другие системы, включающие алгоритм Rete II. KnowledgeBased Systems Corporation, независимая консалтинговая компания из Техаса, поддерживает обширный набор эталонных тестов для большинства BRMS и систем на основе правил, которые демонстрируют эффективность алгоритмов Rete и Rete II. Форджи часто описывал PST как компанию, ориентированную на исследования, а не как поставщика инструментов BRMS, но он продает различные инструменты на основе правил через PST.
Форджи прекратил свои отношения с FICO в 2010 году и присоединился к Sparkling Logic в качестве инвестора и стратегического консультанта. Он внес свой последний алгоритм, Rete-NT, в продукт Sparkling Logic SMARTS. [2] [3]