Чарльз Форги - Charles Forgy

Чарльз Л. Форги (родился 12 декабря 1949 г. в г. Техас ) это специалист в области информатики, известный разработкой Алгоритм Rete используется в его OPS5 и другие производственная система языки, используемые для создания экспертные системы.

биография

Ранние годы

Форги присутствовал Средняя школа Вудро Вильсона в Далласе, штат Техас, а затем продвинулись в Арлингтонский государственный колледж (сейчас же Техасский университет в Арлингтоне, или UTA), получив степень в математика в 1972 году. Оттуда он отправился в Технологический институт Карнеги (потом Университет Карнеги Меллон ) в Питтсбурге, известном центре изучения искусственного интеллекта. Во время учебы в Карнеги он познакомился со своей будущей женой Дианой, на которой женился в 1977 году.

Сеть

Как студент Аллен Ньюэлл, получил докторскую степень. в 1979 г. на основе Алгоритм Rete. Хотя Форджи не работал напрямую с DEC XCON Задача ИИ настройки компьютеров для DEC в конце 1970-х - начале 1980-х, алгоритм Рете позже был включен в систему для большей скорости. XCON использовал ранние версии OPS (официальная производственная система), которые перешли на OPS2 и более поздние версии OPS5.

DEC сообщила, что XCON экономит не менее 1 миллиона долларов в год. XCON, проект, возглавляемый Джоном Макдермоттом и позже переданный программистам DEC, в конечном итоге состоял из более чем 10К правил. Алгоритм Rete (латинское слово "сеть") позволял системам работать в 3000 раз быстрее в те дни. Первоначальный алгоритм Rete был разработан в рамках гранта Министерства обороны США и, как таковой, является общественным достоянием.

Rete II и III

Форги остался в аспирантуре Карнеги-Меллона и работал над дальнейшими улучшениями OPS5; в 1983 году он основал компанию под названием Технологии производственных систем для разработки и продажи программного обеспечения, основанного на правилах, где он разработал "Rete 2 ", более эффективный преемник Rete. Rete 2 позволял программам на основе правил работать в 50-100 раз быстрее, чем исходный алгоритм Rete, в зависимости от сложности правил и объектов (чем сложнее, тем быстрее будут результаты сравнения. .) Rete 2 включен в CLIPS / R2, OPSJ и FICO's Blaze Advisor.

Форги был основателем и главным научным сотрудником Сила правил, а Управление рабочим процессом компания основана в 2002 году и базируется в Бостон. За это время Forgy включил Rete 2 с Технология реляционной логики, который получил название "Rete III ". Производительность Rete 2 и Rete III практически одинакова, но у Rete III есть некоторые расширения, которые позволяют ему работать более эффективно с RLT, но замедляют его на тестах.

Rete-NT

Форги разработал алгоритм следующего поколения под названием Rete-NT, который повысил скорость выполнения еще на порядок.[1] На сегодняшний день Sparkling Logic SMARTS является единственным BRMS продукт, использующий этот алгоритм.

Настоящее время

В 2005 году RulesPower была приобретена Fair Isaac Corporation, которые получили лицензию на интеграцию Rete III в Blaze Advisor, собственный продукт бизнес-правил.

Форги сохранил за собой права интеллектуальной собственности на Rete 2 и свою личную компанию, Технологии производственных систем, все еще продается OPSJ и другие системы, которые включают алгоритм Rete 2. Корпорация KnowledgeBased Systems, независимая консалтинговая компания из Техаса, поддерживает обширный набор тестов для большинства BRMS и систем на основе правил, демонстрирующих эффективность алгоритмов Rete и Rete 2. Форги часто описывал PST как компанию, ориентированную на исследования, а не как поставщик инструментов BRMS, но он действительно продает различные инструменты на основе правил через PST.

Форджи прекратил отношения с FICO в 2010 году и присоединился к Sparkling Logic в качестве инвестора и стратегического советника. Он внес свой последний алгоритм, RETE-NT, в продукт Sparkling Logic SMARTS.[2][3]

Рекомендации

внешняя ссылка