OpenCog

OpenCogは、オープンソースの人工知能フレームワークを構築することを目的としたプロジェクトです。OpenCog Primeは、ロボットと仮想の具現化された認知のためのアーキテクチャであり、システム全体の創発現象として人間と同等の汎用人工知能（AGI）を生み出すように設計された一連の相互作用するコンポーネントを定義します。^{[ 2 ]}

OpenCog Primeの設計は主にベン・ゴーツェル氏の功績であり、OpenCogフレームワークは汎用的なAGI研究のためのフレームワークとして設計されています。OpenCogを利用した研究は、学術誌に掲載され、年次開催​​の汎用人工知能会議をはじめとする会議やワークショップで発表されています。OpenCogはGNU Affero General Public Licenseの条件に基づいてリリースされています。

OpenCogは、ファーウェイやシスコを含む50社以上の企業で使用されています。^{[ 3 ]}

OpenCogは、もともと2008年に公開されたNovamente LLCの独自開発ソフトウェア「Novamente Cognition Engine」（NCE）のソースコードを基に開発されました。オリジナルのNCEコードについては、PLNの書籍（下記参照）で解説されています。OpenCogの継続的な開発は、汎用人工知能研究所（AGIRI）、Google Summer of Codeプロジェクト、Hanson Robotics、SingularityNETなどの支援を受けています。

OpenCogは以下で構成されています。

• AtomSpaceと呼ばれるグラフデータベースは、「アトム」（つまり、用語、原子式、文、関係）とその「値」（評価または解釈。これは、アトムごとのキーバリューデータベースと考えることができる）を一緒に保持します。値の例としては、真偽値が挙げられます。アトムはグローバルに一意で、不変であり、インデックス付け（検索可能）されています。一方、値は一時的で変更可能です。

• 概念グラフや意味ネットワークなどの汎用的な知識表現に使用される、事前に定義された原子の集合体で、Atomeseと呼ばれます。また、そのようなグラフを操作するために必要なルール (用語書き換えという意味で) を表現および保存するためにも使用されます。

• 型コンストラクタや関数型など、型サブシステムを符号化する、あらかじめ定義されたアトムの集合。これらは、変数、項、式の型を指定するために使用され、変数を含む汎用グラフの構造を指定するためにも使用されます。

• 関数型プログラミングと命令型プログラミングの両方のスタイルをエンコードする、あらかじめ定義されたアトムのコレクション。これには、自由変数を束縛変数にバインドするためのラムダ抽象化や、ベータ縮約を実行するためのラムダ抽象化が含まれます。

• グラフおよびハイパーグラフのパターンマッチング（同型部分グラフの発見）を実行するために、汎用グラフクエリエンジンの一部として組み込まれた、理論による充足可能性ソルバーをエンコードする、事前定義されたアトムの集合。これは、構造化クエリ言語（ SQL ）の概念を汎用グラフィカルクエリの領域に一般化したものであり、グラフクエリ言語の拡張形式である。

• 順方向チェイナーと逆方向チェイナーを含む汎用ルールエンジンで、ルールを連結することができます。ルールはグラフクエリサブシステムのグラフクエリと全く同じであるため、ルールエンジンはクエリプランナーに漠然と似ています。ベイズ推論やファジー論理などの様々な推論エンジンや推論システム、あるいは制約ソルバーやモーションプランナーなどの実用的なタスクを実装できるように設計されています。

• 経済理論に基づく注意配分サブシステムで、ECAN と呼ばれています。^{[ 4 ]}このサブシステムは、推論と連鎖中に遭遇する検索可能性の組み合わせ爆発を制御するために使用されます。

• 確率論理ネットワークに基づく確率的推論エンジンの実装。現在の実装では、ルールエンジンを使用して、特定の論理推論ルール（モーダス・ポネンスなど）を連結し、各推論に確率と信頼度を割り当てる非常に具体的な数式を組み合わせています。このサブシステムは、修正されたベイズ推論で動作するある種の証明支援システムと考えることができます。 ^{[ 5 ]}

• 確率的遺伝的プログラム進化器であるメタ最適化意味進化探索（MOSES）^{[ 6 ]}は、タスクを実行する短いAtomeseプログラムの集合を発見するために使用されます。これらは、一種の決定木学習を実行するものと考えることができ、結果として一種の決定フォレスト、あるいはむしろその一般化になります。

• リンク文法に基づく自然言語入力システムであり、意味テキスト理論とディック・ハドソンの単語文法の両方から部分的に着想を得ており、意味的および統語的関係をアトム語で符号化する。

• 自然言語生成システム。^{[ 7 ]}

• 感情状態、衝動、欲求を扱うためのPsi理論の実装はOpenPsiと呼ばれている。 ^{[ 8 ]}

• OpenPsi を介した感情モデリング^{[ 9 ]}を含む、 Hanson Roboticsロボットへのインターフェース。これには、瞑想テクニックを実証するために使用されるLoving AIプロジェクトが含まれます。

2008 年、以前は Singularity Institute for Artificial Intelligence (SIAI) と呼ばれていたMachine Intelligence Research Institute (MIRI) は、数名の研究者とエンジニアを支援しました。2008年と 2009 年のGoogle Summer of Codeに OpenCog が参加して以来、オープンソース コミュニティから多くの貢献がありました。現在、MIRI は OpenCog を支援していません。^{[ 10 ]} OpenCog は、香港政府、香港理工大学、Jeffrey Epstein VI Foundation ^{[ 11 ]} 、 Hanson Roboticsなど、複数の情報源から資金と支援を受けています。2013 年、OpenCog は Hanson Robotics に AI ソリューションの提供を開始し^{[ 12 ]}、2017 年に OpenCog は SingularityNET の創設メンバーになりました。^{[ 13 ]}

他の認知アーキテクチャと同様に、主な目的は、3次元のアバターキャラクターである仮想人間を作成することです。目標は、感情、ジェスチャー、学習などの行動を模倣することです。たとえば、ソフトウェアの感情モジュールは、人間が感情を持っているという理由だけでプログラムされました。人間の知能をシミュレートすれば、汎用人工知能が実現できます。^{[ 14 ]}

OpenCogプロジェクトの自己説明には、自然言語処理や犬のシミュレーションの方向に向かう追加の可能性のあるアプリケーションが示されています。^{[ 15 ]}

• 高く舞い上がれ
• サイク
• 無料およびオープンソースのソフトウェアパッケージ一覧
• OpenAI

• Hart, D; B Goertzel (2008). OpenCog: 統合型汎用人工知能のためのソフトウェアフレームワーク(PDF) . 第1回AGI会議議事録。Gブックス

• Goertzel, B.、Iklé, M.、Goertzel, IF、Heljakka, A. 『確率論理ネットワーク：不確実性推論のための包括的なフレームワーク』、Springer、2009年、VIII、336ページ、ハードカバー、ISBN 978-0-387-76871-7

• 公式サイト
• OpenCog Wiki
• AGI 2011: OpenCog - GoogleTechTalks on YouTube
• AGI 2011: アーキテクチャ パートI - GoogleTechTalks on YouTube
• 汎用人工知能：今こそその時 - 2007年 GoogleTechTalks（YouTube）
• CogPrime：身体化された汎用人工知能のための統合アーキテクチャ
• OpenCog：オープンソースソフトウェアフレームワークと高度な汎用人工知能（AGI）のための設計とビジョン。YouTube動画。2011年 9月、オーストラリアのモナシュ大学にて発表。アダム・フォード
• Ben GoertzelによるOpenCogの紹介ビデオ（YouTube）。Benは2011年12月に香港の大埔でOpenCogについて講演した。Adam Ford
• ベン・ゲーツェル - AGIの未来 - アジアにおけるオープンコグ開発（YouTube動画）アダム・フォード