Чарльз Форги
 | Эта статья нуждается в дополнительных цитатах для проверки . ( май 2024 г. ) |
Чарльз Л. Форги (родился 12 декабря 1949 года в Техасе ) — американский учёный-компьютерщик , известный разработкой алгоритма Rete , используемого в его OPS5 , и других производственных систем, языков используемых для построения экспертных систем .
Молодость образование и
Форги учился в средней школе Вудро Вильсона в Далласе, штат Техас, а затем перешел в Арлингтонский государственный колледж (ныне Техасский университет в Арлингтоне , или UTA), получив диплом по математике в 1972 году. Оттуда он поступил в Технологический институт Карнеги (позже Карнеги). Mellon University ) в Питтсбурге, известный центр изучения искусственного интеллекта . Во время учебы в Карнеги он встретил свою будущую жену Диану, на которой женился в 1977 году.
Карьера [ править ]
Рете [ править ]
Будучи студентом Аллена Ньюэлла , он получил докторскую степень. в 1979 году на основе алгоритма Рете . Несмотря на то, что Форги не работал непосредственно над проблемой искусственного интеллекта DEC XCON по настройке компьютеров для DEC в конце 1970-х и начале 1980-х годов, алгоритм Rete был позже включен в систему для большей скорости. XCON использовал ранние версии OPS (Официальная производственная система), которые перешли в OPS2, а затем и в OPS5.
DEC сообщила, что XCON экономит не менее 1 миллиона долларов США в год. XCON, проект, возглавляемый Джоном МакДермоттом и позже переданный программистам DEC, в конечном итоге состоял из более чем 10 тысяч правил. Алгоритм Rete (лат. «сеть») позволял системам работать в 3000 раз быстрее. Оригинальный алгоритм Rete был разработан в рамках гранта Министерства обороны и, как таковой, является общественным достоянием.
Рете 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 году и базирующейся в Бостоне . За это время Forgy объединил Rete II с технологией реляционной логики , которая получила название « Rete III ». Производительность Rete II и Rete III практически одинакова, но Rete III имеет некоторые расширения, которые позволяют ему более эффективно работать с технологией реляционной логики, но замедляют его в тестах.
Рете-НТ [ править ]
Форги разработал алгоритм нового поколения под названием Rete-NT, который улучшил скорость выполнения еще на порядок. [1] На сегодняшний день Sparkling Logic SMARTS является единственным продуктом BRMS , использующим этот алгоритм.
Настоящее время [ править ]
В 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 он продает различные инструменты, основанные на правилах.
Форги разорвал отношения с FICO в 2010 году и присоединился к Sparkling Logic в качестве инвестора и стратегического консультанта. Он внедрил свой последний алгоритм Rete-NT в продукт Sparkling Logic SMARTS. [2] [3]
Избранные работы [ править ]
- Чарльз Форги, «Процедура сетевого сопоставления для производственных систем». Рабочий документ, 1974 г.
- Чарльз Форги, «Об эффективном внедрении производственных систем». Кандидатская диссертация, Университет Карнеги-Меллона, 1979 г.
- Чарльз, Форги (1982). «Rete: быстрый алгоритм решения проблемы сопоставления шаблонов многих шаблонов и многих объектов». Искусственный интеллект . 19 :17–37. дои : 10.1016/0004-3702(82)90020-0 .
Ссылки [ править ]
- ^ «Самая быстрая в мире система правил | Системы управления бизнес-правилами — InfoWorld» . Архивировано из оригинала 12 мая 2012 г. Проверено 28 февраля 2012 г.
- ^ «Официально: доктор Чарльз Форги присоединяется к Sparkling Logic в качестве стратегического советника» .
- ^ «Советники» .
Внешние ссылки [ править ]
- Production Systems Technologies (компания, основанная Форги)
- Активы RulesPower приобретены Fair Isaac [ постоянная мертвая ссылка ]
- Корпорация «Системы, основанные на знаниях»
| Международный | |
|---|---|
| Национальный | |
| академики | |
