チャールズ・フォージー

チャールズ・L・フォーギー（1949年12月12日、テキサス州生まれ）は、アメリカのコンピュータ科学者であり、OPS5で使用されるReteアルゴリズムや、エキスパートシステムの構築に使用されるその他のプロダクションシステム言語の開発で知られています。

フォーギーはテキサス州ダラスのウッドロウ・ウィルソン高校に通い、その後アーリントン州立大学（現在のテキサス大学アーリントン校、UTA）に進学し、1972年に数学の学位を取得して卒業した。その後、人工知能の研究で有名なピッツバーグのカーネギー工科大学（後のカーネギーメロン大学）に進学した。カーネギー在学中に将来の妻となるダイアナと出会い、1977年に結婚した。

Allen Newellの学生として、彼は 1979 年にRete アルゴリズムに基づいて博士号を取得しました。Forgy は 1970 年代後半から 1980 年代前半にかけて、DEC のコンピュータを構成するというDEC XCON AI の問題には直接取り組んでいませんでしたが、Rete アルゴリズムは後に速度向上のためにシステムに組み込まれました。XCON は、OPS2 に移行し、後に OPS5 に移行した OPS (Official Production System) の初期バージョンを使用していました。

DEC は、XCON によって年間少なくとも 100 万ドルの節約ができたと報告しています。XCON は、John McDermott が率い、後に DEC のプログラマーに引き継がれたプロジェクトで、最終的には 10,000 を超えるルールで構成されました。Rete (ラテン語で「ネットワーク」) アルゴリズムにより、当時のシステムは 3,000 倍も高速に動作しました。元の Rete アルゴリズムは国防省の助成金を受けて開発されたため、パブリック ドメインとなっています。

フォーギーは卒業後もカーネギーメロン大学に留まり、OPS5のさらなる改良に取り組みました。1983 年に彼は、ルールベースのソフトウェアの開発と販売を行う Production Systems Technologies という会社を設立し、そこで Rete のより効率的な後継である「Rete II」を開発しました。Rete II により、ルールベースのプログラムは、ルールとオブジェクトの複雑さに応じて、元の Rete アルゴリズムよりも 50 倍から 100 倍高速に実行できるようになりました (複雑であるほど、比較結果が高速になります)。Rete II は、CLIPS/R2、OPSJ、および FICO の Blaze Advisor に組み込まれています。

Forgy 氏は、2002 年に設立され、ボストンに拠点を置くワークフロー管理会社 Rules Power の創設者兼主任科学者でした。当時、Forgy 氏は Rete II をリレーショナル ロジック テクノロジーと統合し、「Rete III」と名付けられました。Rete II と Rete III のパフォーマンスは実質的に同じですが、Rete III にはリレーショナル ロジック テクノロジーでより効率的に動作できるようにする拡張機能がいくつかあり、ベンチマークでは速度が低下します。

ForgyはRete-NTと呼ばれる次世代アルゴリズムを開発し、実行速度をさらに1桁向上させました。^[1] 現在までに、Sparkling Logic SMARTSはこのアルゴリズムを使用する唯一のBRMS製品です。

2005 年に、RulesPower はFair Isaac Corporationに買収され、同社は Rete III を自社のビジネス ルール製品である Blaze Advisor に統合するライセンスを取得しました。

Forgy 氏は Rete II の知的財産権を保持しており、彼の個人会社である Production Systems Technology は、現在も OPSJ や Rete II アルゴリズムを組み込んだその他のシステムを販売しています。テキサス州の独立コンサルティング会社である KnowledgeBased Systems Corporation は、ほとんどの BRMS およびルールベース システムの広範なベンチマーク セットを維持しており、Rete および Rete II アルゴリズムの有効性を実証しています。Forgy 氏は PST を BRMS ツールのベンダーではなく研究志向の会社であるとよく述べていますが、PST を通じてさまざまなルールベース ツールを販売しています。

フォーギーは2010年にFICOとの関係を解消し、投資家兼戦略アドバイザーとしてスパークリングロジックに入社した。彼は最新のアルゴリズムであるRete-NTをスパークリングロジックのSMARTS製品に提供した。^{[2] [3]}

• Charles Forgy、「生産システムのためのネットワーク マッチ ルーチン」。ワーキング ペーパー、1974 年。
• チャールズ・フォーギー、「生産システムの効率的な実装について」博士論文、カーネギーメロン大学、1979 年。
• Charles, Forgy (1982)。「Rete: 多数のパターン/多数のオブジェクトのパターン一致問題に対する高速アルゴリズム」。人工知能。19 :17–37。doi : 10.1016/0004-3702(82)90020-0。

• プロダクション システム テクノロジーズ (フォージーが設立した会社)
• ルールパワーの資産をフェアアイザックが買収^{[永久リンク切れ‍ ]}
• ナレッジベースシステムズ株式会社