Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Американский учёный в области компьютерных наук Чарльз Л. Форги (родился 12 декабря 1949 года в Техасе) — американский учёный в области компьютерных наук, известный разработкой алгоритма Rete, применяемого в OPS5 и других языках продукционных систем, используемых для построения экспертных систем.
American computer scientist
Charles L. Forgy (born December 12, 1949, in Texas) is an American computer scientist, known for developing the Rete algorithm used in his OPS5 and other production system languages used to build expert systems.
Ранние годы и образование
Форги учился в средней школе Вудро Вильсона в Далласе, штат Техас, а затем поступил в Арлингтонский государственный колледж (ныне Университет Техаса в Арлингтоне, или UTA), который окончил в 1972 году, получив степень бакалавра математики. После этого он продолжил обучение в Карнегийском технологическом институте (позднее – Карнеги-Меллонский университет) в Питтсбурге, известном центре изучения искусственного интеллекта. Во время учебы в Карнеги он встретил свою будущую жену, Диану, на которой женился в 1977 году.
Forgy attended Woodrow Wilson High School in Dallas, Texas, and then advanced to Arlington State College (now University of Texas at Arlington, or UTA) graduating with a degree in mathematics in 1972. From there he went to Carnegie Institute of Technology (later Carnegie Mellon University) in Pittsburgh, a renowned center for study of artificial intelligence. While studying at Carnegie he met his future wife, Diana, whom he married in 1977.
Рете
Будучи учеником Аллена Ньюэлла, он получил степень доктора философии в 1979 году, защитив диссертацию на основе алгоритма Rete. Хотя Форги непосредственно не участвовал в решении задачи DEC XCON, связанной с конфигурированием компьютеров для DEC в конце 1970-х и начале 1980-х годов, алгоритм Rete впоследствии был внедрён в систему для повышения производительности. XCON использовал ранние версии OPS (Официальная система продукций), которые были обновлены до OPS2 и затем OPS5. Компания DEC сообщила, что XCON позволял экономить не менее 1 миллиона долларов США в год. XCON, проект, возглавляемый Джоном Макдермотом и впоследствии переданный программистам DEC, в конечном итоге состоял из более чем 10 000 правил. Алгоритм Rete (от латинского "сеть") позволял системам работать в 3000 раз быстрее в те времена. Исходный алгоритм Rete был разработан при поддержке гранта Министерства обороны и, следовательно, находится в общественном достоянии.
As a student of Allen Newell, he received his Ph. D. in 1979 based on the Rete algorithm. Even though Forgy did not work directly on the DEC XCON AI problem of configuring computers for DEC in the late 1970s and early 1980s, the Rete algorithm was later incorporated into the system for more speed. The XCON used the early versions of OPS (Official Production System) that migrated to OPS2 and later OPS5. DEC reported that XCON saved at least $1M USD per year. XCON, a project headed up by John McDermott and later transferred to DEC programmers, was eventually composed of over 10K rules. The Rete (Latin for "network") algorithm allowed systems to run as much as 3,000 times faster in those days. The original Rete algorithm was developed under a Department of Defence grant and, as such, is public domain.
Рете II и III
Форги остался в Карнеги-Меллоне после окончания университета и продолжил работу над улучшением OPS5; в 1983 году он основал компанию Production Systems Technologies для разработки и продажи программного обеспечения, основанного на правилах, где разработал "Rete II" – более эффективный преемник алгоритма Rete. Rete II позволял программам, основанным на правилах, работать в 50-100 раз быстрее, чем оригинальный алгоритм Rete, в зависимости от сложности правил и объектов (чем сложнее правила и объекты, тем выше выигрыш в скорости). Rete II используется в CLIPS/R2, OPSJ и Blaze Advisor от FICO. Форги был одним из основателей и главным научным сотрудником компании Rules Power, основанной в 2002 году и базирующейся в Бостоне. В этот период Форги объединил Rete II с технологией реляционной логики, что привело к созданию "Rete III". Производительность Rete II и Rete III практически идентична, однако Rete III имеет дополнительные возможности для более эффективной работы с технологией реляционной логики, но при этом показывает несколько худшие результаты в стандартных тестах.
Forgy remained at Carnegie Mellon post graduation and worked on further improvements to OPS5; in 1983 he formed a company called Production Systems Technologies to develop and sell rule based software, where he developed "Rete II", a more efficient successor to Rete. Rete II enabled rule based programs to run between 50 and 100 times faster than the original Rete algorithm, depending on the complexity of the rules and objects. (The more complex, the faster the comparative results.) Rete II is incorporated in CLIPS/R2, OPSJ and FICO's Blaze Advisor. Forgy was a founder and chief scientist for Rules Power, a Work Flow Management company founded in 2002 and based in Boston. During that time, Forgy incorporated Rete II with Relational Logic Technology, which became named "Rete III". The performance of Rete II and Rete III are virtually the same but Rete III has some extensions that allow it to work more efficiently with Relational Logic Technology but slows it down on benchmarks.
Rete-NT
Форджи разработал алгоритм нового поколения, Rete NT, который увеличил скорость выполнения еще на порядок. На сегодняшний день Sparkling Logic SMARTS – единственный BRMS-продукт, использующий этот алгоритм.
Forgy developed a next generation algorithm, called Rete NT, that has improved the execution speed by another order of magnitude. To this date Sparkling Logic SMARTS is the only BRMS product that uses this algorithm.
Современное время
В 2005 году компания RulesPower была приобретена Fair Isaac Corporation, которая получила лицензию на интеграцию Rete III в Blaze Advisor – их собственный продукт для работы с бизнес-правилами. Форджи сохранил права интеллектуальной собственности на Rete II, а его компания Production Systems Technology продолжает продавать OPSJ и другие системы, использующие алгоритм Rete II. KnowledgeBased Systems Corporation, независимая консалтинговая компания из Техаса, поддерживает обширную коллекцию тестов производительности для большинства BRMS и систем, основанных на правилах, демонстрирующих эффективность алгоритмов Rete и Rete II. Форджи часто описывал PST как компанию, ориентированную на исследования, а не как поставщика инструментов BRMS, однако он продает различные инструменты, основанные на правилах, через PST. В 2010 году Форджи прекратил сотрудничество с FICO и присоединился к Sparkling Logic в качестве инвестора и стратегического советника. Он предоставил свой новейший алгоритм, Rete NT, для продукта Sparkling Logic SMARTS.
In 2005, RulesPower was acquired by Fair Isaac Corporation, who obtained a license to integrate Rete III into Blaze Advisor, their own business rules product. Forgy retained the intellectual property rights to Rete II and his personal company, Production Systems Technology, still sells OPSJ and other systems that incorporate the Rete II algorithm. KnowledgeBased Systems Corporation, an independent consulting company in Texas, maintains an extensive set of benchmarks for most BRMS and rule based systems that demonstrate the effectiveness of the Rete and Rete II algorithms. Forgy has often described PST as a research oriented company rather than a vendor of BRMS tools, but he does sell various rule based tools via PST. Forgy terminated his relationship with FICO in 2010 and joined Sparkling Logic as investor and strategic advisor. He has contributed his latest algorithm, Rete NT, to the Sparkling Logic SMARTS product.
Избранные произведения
Чарльз Форги, "Алгоритм сопоставления в сетях для производственных систем". Рабочая статья, 1974. Чарльз Форги, "Об эффективной реализации производственных систем". Диссертация на соискание ученой степени доктора философии, Университет Карнеги-Меллон, 1979.
Charles Forgy, "A network match routine for production systems." Working Paper, 1974. Charles Forgy, ""On the efficient implementation of production systems." Ph. D. Thesis, Carnegie Mellon University, 1979.