オープンコグ - 百科事典

OpenCogは、オープンソースの人工知能フレームワークを構築することを目指すプロジェクトです。OpenCog Primeは、ロボットやバーチャルな実体化された認知のためのアーキテクチャで、システム全体の現象として、人間に匹敵する人工一般知能（AGI）を引き起こすように設計された相互作用するコンポーネントのセットを定義します。

OpenCog Primeの設計は主にBen Goertzelの仕事であり、OpenCogフレームワークは幅広いAGI研究のための汎用フレームワークとして意図されています。OpenCogを利用した研究は、人工一般知能に関する年次会議を含む雑誌や会議、ワークショップで発表されています。OpenCogはGNU Affero General Public Licenseの条項の下でリリースされています。OpenCogは、華为やシスコを含む50以上の企業で使用されています。

源流
OpenCogは、2008年にNovamente LLCの特許された「Novamente Cognition Engine」（NCE）のソースコードがリリースされたことに基づいています。元のNCEコードは、以下のPLN書籍で議論されています（参照以下）。OpenCogの継続的な開発は、人工一般知能研究所（AGIRI）、Google Summer of Codeプロジェクト、Hanson Robotics、SingularityNETなどによってサポートされています。

コンポーネント
OpenCogは以下のもので構成されています：

- AtomSpaceと呼ばれるグラフデータベースで、「アトム」（つまり、項、原子式、文、関係）とその「値」（評価や解釈と考えられる、アトムごとのキー-バリューデータベース）を保持しています。値の例としては、真値があります。アトムはグローバルにユニークで変更不可能であり、索引（検索可能）されています；値は一時的で変更可能です。
- 一般的な知識表現、例えば概念図や意味ネットワーク、およびそのようなグラフを操作するために必要なルール（項の再帰を意味する）を表現および保存するために使用される、事前に定義されたアトムのコレクション、Atomeseと呼ばれています。
- 型システムをエンコードする事前に定義されたアトムのコレクションで、型構築子や関数型を含んでいます。これらは変数、項、表現の型を指定するために使用され、変数を含む一般的なグラフの構造を指定するために使用されます。
- 功能的および命令的なプログラミングスタイルをエンコードする事前に定義されたアトムのコレクションで、自由変数を束縛変数にバインドするためのlambda抽象化やベータ還元を実行するために使用されます。
- 一般的なグラフクエリエンジンの一部として組み込まれた満足性モジュール（SAT）ソルバーをエンコードする事前に定義されたアトムのコレクションで、グラフとハイパーグラフパターンマッチング（同型部分グラフの発見）を実行します。これは構造化クエリ言語（SQL）のアイデアを一般的なグラフクエリの領域に一般化し、グラフクエリ言語の拡張形式です。
- ルールを連結する能力を持つ一般的なルールエンジンで、前向きチャイナーと後向きチャイナーが含まれています。ルールはグラフクエリシステムのグラフクエリであり、そのため、ルールエンジンはクエリプランナーに似ています。これにより、ベイズ推論やuzzyロジックなどの異なる種類の推論エンジンや推理システム、制約解決器や動作計画などの実務タスクを実装することができます。
- 経済理論に基づく注意分配システムであるECANと呼ばれるもの。このシステムは、推論や連結中に遭遇する可能性の組み合わせの爆発を制御するために使用されます。
- 問題解決のために使用される、確率論的推論エンジンを実装したものです。これは確率論的ロジックネットワーク（PLN）に基づいており、現在の実装では、ルールエンジンを使用して特定の論理推論のルール（例えばモダス・ポンエンシス）を連結し、各結論に確率と信頼性を割り当てる非常に特定の数学的公式を使用しています。このシステムは、修正された形式のベイズ推論とともに動作する特定の種類の証明支援ツールとして考えられます。
- Meta-Optimizing Semantic Evolutionary Search（MOSES）と呼ばれる確率論的遺伝的プログラムエボルバーで、タスクを完了する短いAtomeseプログラムのコレクションを発見するために使用されます。これらは決定木学習の種類として考えられ、決定森やその一般化として考えられます。
- Link Grammarを含む自然言語入力システムで、意味-テキスト理論やDick HudsonのWord Grammarに部分的にインスパイアされています。これがAtomeseにセマンチックおよび構文関係をエンコードします。
- 自然言語生成システム。
- 情緒状態、動機や強迫を処理するためのPsi-Theoryの実装、OpenPsiと呼ばれています。
- Hanson Roboticsのロボットへのインターフェース、OpenPsiを通じての情緒モデルも含まれています。これは瞑想技術を示すための愛するAIプロジェクトも含まれます。

組織と資金提供
2008年に、以前は人工知能研究所（SIAI）と呼ばれていた機械知能研究所（MIRI）は、いくつかの研究者やエンジニアをスポンサーしました。OpenCogが2008年と2009年のGoogle Summer of Codeに参加してから、オープンソースコミュニティからの多くの貢献がなされています。現在、MIRIはOpenCogをサポートしていないです。OpenCogは、香港政府、香港科技大学、Jeffrey Epstein VI Foundation、Hanson Roboticsなどを含むいくつかの源から資金とサポートを受けています。2013年にOpenCogはHanson RoboticsにAIソリューションを提供し始め、2017年にOpenCogはSingularityNETの創立メンバーとなりました。

应用
他の認知アーキテクチャと同様に、主な目的は仮想人間を作成することで、三つの次元のアバターキャラクターです。目標は感情、ジェスチャー、学習などの行動を模倣することです。例えば、ソフトウェアの感情モジュールは、人間が感情を持つためだけにプログラムされています。人工一般知能は、人間の知能をシミュレートすることで実現できます。

OpenCogプロジェクトの自己説明は、自然言語処理や犬のシミュレーションへの方向に進む可能性のある追加の応用を提供します。

参考資料
Hart, D; B Goertzel (2008). OpenCog: A Software Framework for Integrative Artificial General Intelligence (PDF). Proceedings of the First AGI Conference. Gbooks
Goertzel, B., Iklé, M., Goertzel, I.F., Heljakka, A. Probabilistic Logic Networks, A Comprehensive Framework for Uncertain Inference, Springer, 2009, VIII, 336 p., Hardcover ISBN 978-0-387-76871-7

参考リンク
公式ウェブサイト
OpenCog Wiki
AGI 2011: OpenCog - GoogleTechTalks on YouTube
AGI 2011: Architectures Part I - GoogleTechTalks on YouTube
Artificial General Intelligence: Now Is the Time - 2007 GoogleTechTalks on YouTube
CogPrime: An Integrative Architecture for Embodied Artificial General Intelligence
OpenCog: An Open Source Software Framework & A Design & Vision for Advanced AGI. Video on YouTube Given at Monash University Australia, Sept 2011. Adam Ford
Video introduction to OpenCog by Ben Goertzel Video on YouTube. Ben speaks on OpenCog in Tai Po, Hong Kong, Dec 2011. Adam Ford
Ben Goertzel - the future of AGI - Open Cog development in Asia Video on YouTube Adam Ford