サイク

(時計回り) Cyc のナレッジ ベース、推論エンジン、実用的な出力、インテリジェントなデータ選択のロゴ
原作者	ダグラス・レナット
開発者	サイコープ株式会社
初回リリース	1984年; 40年前 (1984)
安定リリース	6.1 / 2017年11月27日; 6年前 (2017-11-27)
書かれた	Lisp、CycL、SubL
タイプ	知識表現言語と推論エンジン
Webサイト	詳しくはこちら

Cyc (発音/ ˈ s aɪ k / SYKE ) は、世界の仕組みに関する基本概念とルールを網羅する包括的なオントロジーと知識ベースを構築することを目的とした長期的な人工知能プロジェクトです。常識的な知識を捉えることを目指して、Cyc は暗黙の知識に重点を置いています。このプロジェクトは 1984 年 7 月にMCCで始まり、後にCycorp社によって開発されました。

「Cyc」（「百科事典」に由来）という名前は、 Cycorpが所有する登録商標です。CycLには公開された仕様があり、数十の HL モジュールが Lenat と Guha の教科書に記載されていますが^[1]、Cyc 推論エンジン コードと HL モジュールの完全なリストは Cycorp 独自のものです。^[2]

このプロジェクトは、ダグラス・レナットによって、1984年7月にマイクロエレクトロニクス・アンド・コンピュータ・テクノロジー・コーポレーション（MCC）のプロジェクトとして開始されました。MCCは、当時不吉だった日本のAIへの取り組み、いわゆる「第5世代」プロジェクトに対抗するために、米国に拠点を置く2つの企業によって設立された研究コンソーシアムです。^[3]米国は1984年に国家共同研究法を可決し、これにより初めて米国企業が長期研究で「共謀」できるようになりました。1995年1月以来、このプロジェクトはダグラス・レナットがCEOを務めるサイコープによって積極的に開発されています。

CycL表現言語はRLL [4] [5] (1979年から1980年にかけてスタンフォード大学在学中にレナットと大学院生のラッセル・グライナーによって開発された表現言語) の拡張として始まりました。^1989年、 [ 6 ] CycL^は表現力を高階論理(HOL) にまで拡張しました。

Cyc のオントロジーは 1994 年に約 100,000 用語にまで成長し、2017 年現在では約 1,500,000 用語が含まれています。オントロジー用語を含む Cyc 知識ベースは、主に手作業による公理の記述によって作成されました。1994 年には約 100 万用語でしたが、2017 年現在では約 2,450 万用語になっています。

2008年には、Cycのリソースが多くのWikipediaの記事にマッピングされました。^{[7] Cycは現在}Wikidataに接続されています。

知識ベースはマイクロセオリーに分割されています。知識ベース全体とは異なり、各マイクロセオリーは単調な矛盾があってはなりません。各マイクロセオリーはCycオントロジーの第一級オブジェクトであり、名前は通常の定数です。Cycの概念名はCycL用語または定数です。^[6]定数はオプションで始まり#$、大文字と小文字が区別されます。次の定数があります。

• またはなどの、個体と呼ばれる個々の項目。#$BillClinton#$France
• コレクション#$Tree-ThePlant（すべての木を含む）や#$EquivalenceRelation（すべての同値関係を含む）など）。コレクションのメンバーはそのコレクションのインスタンスと呼ばれます。 ^[1]
• 関数 は、与えられた項から新しい項を生成します。たとえば、#$FruitFnに植物の種類 (またはコレクション) を記述する引数を指定すると、その植物の果実のコレクションが返されます。慣例により、関数定数は大文字で始まり、文字列 で終わりますFn。
• 真理関数は、1 つ以上の他の概念に適用でき、true または false を返します。たとえば、#$siblingsは兄弟関係であり、2 つの引数が兄弟である場合は true になります。慣例により、真理関数の定数は小文字で始まります。

コレクションのすべてのインスタンス#$ChordataPhylum（つまり、すべての脊索動物）に対して、雌の動物（ のインスタンス#$FemaleAnimal）が存在し、それがその母親（述語 によって記述される#$biologicalMother）である。^[1]

推論エンジンは、知識ベースから答えを導き出そうとするコンピュータプログラムです。Cyc推論エンジンは一般的な論理的演繹を実行します。^[8]また、帰納的推論、統計的機械学習と記号的機械学習、および帰納的推論も実行します。

Cyc 推論エンジンは、認識論的問題とヒューリスティック問題を分離します。後者の場合、Cyc はエージェント コミュニティアーキテクチャを使用し、それぞれ独自のアルゴリズムを持つ専門モジュールが、サブ問題で進歩できる場合に優先されます。

OpenCyc の最初のバージョンは 2002 年春にリリースされ、6,000 の概念と 60,000 の事実のみが含まれていました。知識ベースはApache Licenseの下でリリースされました。Cycorp は、ユーザーのニーズを満たすために、OpenCyc を並行して無制限のライセンスの下でリリースする意向を表明しました。CycLおよびSubL インタープリター (ユーザーがデータベースを参照および編集し、推論を描画できるようにするプログラム) は無料でリリースされましたが、ソースコードのないバイナリのみでした。LinuxおよびMicrosoft Windowsで利用できるようになりました。オープンソースの Texai ^[9]プロジェクトは、 OpenCyc から抽出されたRDF互換のコンテンツをリリースしました。 ^{[10]バージョン}OpenCyc 4.0 は 2012 年 6 月にリリースされました。OpenCyc 4.0 には 239,000 の概念と 2,093,000 の事実が含まれていましたが、これらは主に分類上の主張 です。

2006 年 7 月、Cycorp は、研究コミュニティ向けの Cyc バージョンである ResearchCyc 1.0 の実行可能ファイルを無償でリリースしました。(ResearchCyc は 2004 年を通じてベータ版の開発段階にあり、ベータ版は 2005 年 2 月にリリースされました。) 分類情報に加えて、ResearchCyc にはより多くの意味的知識が含まれています。また、大規模な辞書、英語の解析および生成ツール、知識編集およびクエリ用のJavaベースのインターフェイスも含まれています。また、オントロジーベースのデータ統合システムも含まれています。

グラクソは10年以上にわたり、製薬業界の用語の大規模なシソーラスを半自動的に統合するためにCycを使用してきました。 ^[11]以前は、スタッフが手動で行っていました。クリーブランドクリニックは、心臓胸部手術に関する生物医学情報の自然言語クエリインターフェイスを開発するためにCycを使用しました。^{[12]クエリは、オープン変数を含む}CycLフラグメントのセットに解析されます。 ^[13]テロリズム知識ベースは、Cycのアプリケーションであり、「テロリスト」関連の説明に関する知識を格納しようとしました。知識は、数学的論理のステートメントとして保存されます。^{[14] [15]}

Cycアプリケーションの1つは、6年生レベルの数学を学ぶ生徒を支援することを目的としています。^[16] MathCraftと呼ばれるこのアプリケーション^[17]は、ユーザーよりも少しだけ科目について混乱している同級生の役割を果たすことになっています。ユーザーが適切なアドバイスをすると、Cycはアバターの間違いを減らします。

Cycプロジェクトは「人工知能の歴史の中で最も物議を醸した取り組みの一つ」と評されている。^{[18] LuminosoのCEOである} キャサリン・ハヴァシは、CycはIBMのワトソンの前身プロジェクトであると述べている。^[19]機械学習科学者のペドロ・ドミンゴスは、実行可能な結果を​​生み出すために必要なデータの量が際限なく、Cycが独自に進化できないことから、このプロジェクトを「壊滅的な失敗」と呼んでいる。^[20]

認知科学者であり、Geometric IntelligenceというAI企業の共同設立者であるゲイリー・マーカスは、「これは、これまでニュースで取り上げられてきたディープラーニングとはまったく異なるアプローチを表しています」と述べています。 ^{[21]これは、ダグ・レナットの「表面だけの}知能だけでは十分ではないことがある」という立場と一致しています。 ^[22]

これは、Cyc が MCC (Cyc が最初に開始された場所) または Cycorp のプロジェクトであったときに、Cyc で作業していた、または作業していた著名人のリストです。

• Alan Belasco 他 (2004)。「知識ギャップの効果的な表現」。D. Karagiannis、U. Reimer (編)：知識管理の実践的側面、PAKM 2004 議事録、オーストリア、ウィーン、2004 年 12 月 2 ～ 3 日。Springer-Verlag、ベルリン、ハイデルベルク。
• Bertino, Elisa ; Piero, Gian; Zarria, BC (2001).インテリジェント データベース システム. Addison-Wesley Professional.
• John Cabral 他 (2005)。「意味的メタ知識の帰納的バイアスへの変換」。第 15 回国際帰納的論理プログラミング会議の議事録。ドイツ、ボン、2005 年 8 月。
• Jon Curtis 他 (2005)。「質問応答システムにおける Cyc の効果的な使用について」。質問応答のための知識と推論に関する IJCAI ワークショップの論文。エディンバラ、スコットランド: 2005 年。
• Chris Deaton 他 (2005)。「Cyc の包括的テロリズム知識ベース」。2005 年 5 月、バージニア州マクリーンで開催された 2005 年国際情報分析会議の議事録。
• Kenneth Forbus 他 (2005) 「アナロジー、インテリジェント情報検索、および知識統合を組み合わせた分析: 予備レポート」。2005年 5 月、バージニア州マクリーンで開催された 2005 年国際インテリジェンス分析会議の議事録。
• ダグラス・フォックスヴォグ (2010)、「Cyc」。オントロジーの理論と応用: コンピュータアプリケーション、Wayback Machineに 2018-11-12 にアーカイブ、Springer。
• Fritz Lehmann および d. foxvog (1998)、「骨に肉を付ける: 豊富なリレーショナル構造を持つ解剖学的知識ベースを作成する際に生じる問題」。生物学および医学知識ベース システム間の知識共有、AAAI。
• Douglas Lenatおよび RV Guha (1990)。大規模知識ベースシステムの構築: Cyc プロジェクトにおける表現と推論。Addison-Wesley。ISBN 0-201-51752-3。 
• James Masters (2002) 「構造化知識ソース統合と情報融合へのその応用」。第 5 回国際情報融合会議議事録。メリーランド州アナポリス、2002 年 7 月。
• James Masters および Z. Güngördü (2003)。「構造化知識ソースの統合: 進捗状況レポート」『知識集約型マルチエージェント システムの統合』、米国マサチューセッツ州ケンブリッジ、2003 年。
• Cynthia Matuszek 他 (2006)。「Cyc の構文と内容の紹介」。2006 AAAI 春季シンポジウム「背景知識の形式化とコンパイル、および知識表現と質問応答へのその応用」の議事録。スタンフォード、2006 年
• Cynthia Matuszek 他 (2005) 「常識の探求: Web からの Cyc への入力」。第 20 回全国人工知能会議議事録。ペンシルベニア州ピッツバーグ、2005 年 7 月。
• Tom O'Hara 他 (2003)。「Cyc 知識ベースと WordNet への拡張を使用した、多項式名詞の語彙マッピングの基準の誘導」。第 5 回国際計算意味論ワークショップの議事録。ティルブルフ、2003 年。
• Fabrizio Morbini と Lenhart Schubert (2009)。「EPILOG の評価: エピソード ロジックの推論エンジン」。ロチェスター大学、Commonsense '09 カンファレンス (Cyc の約 1600 個の「Commonsense テスト」ライブラリについて説明)
• Kathy Panton 他 (2002)。「KRAKEN ツールセットを使用した知識形成と対話」。第18 回全国人工知能会議。エドモントン、カナダ、2002 年。
• Deepak Ramachandran P. Reagan & K. Goolsbey (2005)。「First-Orderized ResearchCyc: 常識的なオントロジーにおける表現力と効率性」Wayback Machineに 2014-03-24 にアーカイブ。AAAIワークショップ「コンテキストとオントロジー: 理論、実践、アプリケーション」の論文。ペンシルベニア州ピッツバーグ、2005 年 7 月。
• Stephen Reed および D. Lenat (2002)。「オントロジーの Cyc へのマッピング」。AAAI 2002 カンファレンス ワークショップ、セマンティック Web のオントロジーについて。エドモントン、カナダ、2002 年 7 月。
• Benjamin Rode 他 (2005)。「リレーショナル データにおけるパターン回復モデルに向けて」。2005年国際インテリジェンス分析会議議事録。バージニア州マクリーン、2005 年 5 月。
• Dave Schneider 他 (2005)。「インテリジェンス分析のための事実の収集と管理」。2005 年国際インテリジェンス分析会議議事録。バージニア州マクリーン、2005 年 5 月。
• Schneider, D.、Witbrock, MJ (2015 年 5 月)。「意味構築文法: NL/ロジックの隔たりを埋める」第 24 回国際ワールド ワイド ウェブ会議の議事録 (pp. 673–678)。
• Blake Shepard 他 (2005)。「ネットワーク セキュリティへの知識ベース アプローチ: ネットワーク リスク評価の領域における Cyc の適用」。第 17 回人工知能の革新的応用会議の議事録。ペンシルベニア州ピッツバーグ、2005 年 7 月。
• Nick Siegel 他 (2004)。「エージェント アーキテクチャ: ソフトウェア エンジニアリングと認知システムの長所を組み合わせる」。AAAI ワークショップ「インテリジェント エージェント アーキテクチャ: ソフトウェア エンジニアリングと認知システムの長所を組み合わせる」の論文。技術レポート WS-04-07、74 ～ 79 ページ。カリフォルニア州メンロ パーク: AAAI Press、2004 年。
• Nick Siegel 他 (2005)。「インテリジェンス分析のための仮説生成と証拠の組み立て: Cycorp の Nooscape アプリケーション」。2005 年 5 月、バージニア州マクリーンで開催された 2005 年国際インテリジェンス分析会議の議事録。
• Michael Witbrock 他 (2002)。「Cyc における知識獲得のための対話型対話システム」。第 18 回国際人工知能合同会議議事録。アカプルコ、メキシコ、2003 年。
• Michael Witbrock 他 (2004)。「大規模知識ベースによる自動 OWL アノテーション」。第 3 回国際セマンティック Web カンファレンス ISWC2004 の 2004 年知識マークアップおよびセマンティック アノテーション ワークショップのワークショップ ノート。広島、日本、2004 年 11 月、71 ～ 80 ページ。
• Michael Witbrock 他 (2005)。「知識は知識を生む: Cyc における支援による知識獲得へのステップ」。2005 AAAI 春季シンポジウム「ボランティア貢献者からの知識収集 (KCVC)」の論文。pp. 99–105。カリフォルニア州スタンフォード、2005 年 3 月。
• William Jarrold (2001)。「常識に基づく大規模ルールベース システムにおけるインテリジェンスの検証」。「モデルベースのインテリジェンスの検証: 2001 AAAI シンポジウム論文」(AAAI 技術レポート SS-01-04)。
• William Jarrold (2003)。オントロジーを使用した大規模ルールベースオントロジーの評価: 理論と実践。インテリジェントシステムのパフォーマンスメトリック PerMIS '03 (NIST 特別出版 1014)。

• サイコープのウェブサイト