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

「Cyc」（「encyclopedia」に由来）という名称は、Cycorpが所有する登録商標です。CycLは公開仕様を有しており、数十のHL（ヒューリスティックレベル）モジュールがLenatとGuhaの教科書[1]に記載されていますが、Cyc推論エンジンのコードとHLモジュールの全リストはCycorpの所有物です。[2]

歴史

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

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

Cycのオントロジーは1994年には約10万語にまで成長し、2017年時点では約150万語にまで増加しました。オントロジー用語を含むCycの知識ベースは、主に手作業による公理記述によって作成されており、1994年には約100万語でしたが、2017年時点では約2450万語に達しています。

2002年までに、Cycは「プログラマー、哲学者、その他（総称してサイクリストと呼ばれる）の6000万ドルと600人年の労力を費やし、レナットが「コンセンサス現実」と呼ぶものをコード化し、それを大規模なデータベースに入力した」と説明されました。[7]

2008年には、Cycのリソースが多くのWikipediaの記事にマッピングされました。[8]

ナレッジベース

知識ベースはミクロセオリーに分割されています。知識ベース全体とは異なり、各ミクロセオリーは単調な矛盾から解放されていなければなりません。各ミクロセオリーはCycオントロジーにおける第一級オブジェクトであり、名前は正規の定数です。Cycにおける概念名はCycL用語または定数です。[6]定数はオプションで始まり#$、大文字と小文字が区別されます。以下の定数があります。

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

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

推論エンジン

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

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

リリース

オープンサイク

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

Cycorpは、2001年から2003年まで活動していたセマンティックウェブのワーキンググループ、標準上位オントロジーワーキンググループに参加していました。 [12]

OpenCycのセマンティックウェブ版は2008年から利用可能でしたが、2016年以降に終了しました。[13]

OpenCyc 4.0は2012年6月にリリースされました。[14] OpenCyc 4.0には239,000の概念と2,093,000の事実が含まれていましたが、これらは主に分類学的な主張です。

4.0が最後にリリースされたバージョンであり、2017年3月頃にOpenCycはシャットダウンされました。その理由は、「このような「断片化」により相違が生じ、ユーザー間で混乱が生じ、技術コミュニティではOpenCycの断片がCycであると一般的に考えられていたため」とされています。[15]

リサーチサイクル

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

アプリケーション

2001年、グラクソ・スミスクラインはCycに資金提供していましたが、その用途は不明でした。[16] 2007年、クリーブランド・クリニックはCycを用いて、心臓胸部手術に関する生物医学情報の自然言語クエリインターフェースを開発しました。[17]クエリは、オープン変数を持つCycLフラグメントの集合に解析されます。 [18]テロリズム知識ベースは、Cycの応用で、「テロリスト」関連の記述に関する知識を格納しようとしました。知識は数理論理学の文として保存されます。このプロジェクトは2004年から2008年まで続きました。[19] [20]ライコスは検索語の曖昧性解消にCycを使用していましたが、2001年に中止されました。[21] 2002年には、Cycをベースとしたネットワーク脆弱性評価ツールであるCycSecureが開発されました。 [22]これは、米国戦略軍コンピュータ緊急対応チームで試験運用されました。 [23]

Cycアプリケーションの一つは、6年生レベルの算数の学習を支援することを目的としています。[24] MathCraft [25]と呼ばれるこのアプリケーションは、ユーザーよりも少しだけ算数について混乱している同級生の役割を担うように設計されていました。ユーザーが適切なアドバイスを与えると、Cycはアバターのミスを減らします。

批判

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

認知科学者であり、AI企業Geometric Intelligenceの共同創業者であるゲイリー・マーカスは、2016年に「これは、これまでニュースで取り上げられてきたディープラーニングとは全く異なるアプローチだ」と述べた。 [29]これは、ダグ・レナットの「表面的な知性だけでは不十分な場合もある」という立場と一致している。 [30]

著名な従業員

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

参照

参考文献

  1. ^ abc レナット、ダグラス・B.; グハ、RV (1989). 大規模知識ベースシステムの構築：Cycプロジェクトにおける表現と推論（第1版）. ボストン、マサチューセッツ州、米国: Addison-Wesley Longman Publishing Co., Inc. ISBN 978-0201517521。
  2. ^ レナット・ダグラス. 「HALの遺産：2001年のコンピュータは夢と現実。2001年から2001年まで：常識とHALの心」（PDF） . Cycorp, Inc. 2019年12月9日時点のオリジナルよりアーカイブ（PDF） 。 2006年9月26日閲覧。
  3. ^ ウッド、ラモント (2002). 「箱の中の世界」. Scientific American . 286 (1): 18–19 . Bibcode :2002SciAm.286a..18W. doi :10.1038/scientificamerican0102-18.
  4. ^ 「表現言語」www.aaai.org . 2017年11月27日閲覧。
  5. ^ Russell, Greiner (1980年10月). RLL-1: 表現言語 (レポート). 2015年2月8日時点のオリジナルよりアーカイブ。
  6. ^ ab Lenat, Douglas B.; Guha, RV (1991年6月). 「Cyc表現言語CycLの進化」. ACM SIGART Bulletin . 2 (3): 84– 87. doi :10.1145/122296.122308. ISSN  0163-5719. S2CID  10306053.
  7. ^ レスリー・ミッチェル (2002年3月1日). 「賢くなれ、ダム・マシン」. stanfordmag.org . 2025年9月24日閲覧。
  8. ^ 「CycとWikipediaの統合：フォークソノミーと厳密に定義された常識の融合」（PDF） 。 2013年5月10日閲覧。
  9. ^ “cyc推論エンジン”. 2019年12月9日時点のオリジナルよりアーカイブ。2015年6月4日閲覧。
  10. ^ 「オープンソースTexaiプロジェクト」。2009年2月16日時点のオリジナルよりアーカイブ。
  11. ^ 「Texai SourceForge プロジェクト ファイル」。
  12. ^ “Standard Upper Ontology Working Group (SUO WG) - Home Page”. 2013年1月15日. 2013年1月15日時点のオリジナルよりアーカイブ。 2024年12月16日閲覧。
  13. ^ “OpenCyc for the Semantic Web”. 2008年8月21日時点のオリジナルよりアーカイブ。2024年12月16日閲覧。
  14. ^ “OpenCyc.org”. 2012年6月23日. 2012年6月23日時点のオリジナルよりアーカイブ。 2024年12月16日閲覧。
  15. ^ “OpenCyc”. 2017年4月22日時点のオリジナルよりアーカイブ。2024年12月16日閲覧。
  16. ^ HILTZIK, MICHAEL A. (2001-06-21). 「考える機械の誕生」.ロサンゼルス・タイムズ. ISSN  0458-3035. 2019年12月13日時点のオリジナルよりアーカイブ。 2017年11月29日閲覧。
  17. ^ 「ケーススタディ：臨床研究のためのセマンティックWebコンテンツリポジトリ」www.w3.org . 2018年2月28日閲覧。
  18. ^ レナット・ダグラス; ウィットブロック・マイケル; バクスター・デイビッド; ブラックストーン・ユージン; ディートン・クリス; シュナイダー・デイブ; スコット・ジェリー; シェパード・ブレイク (2010-07-28). 「臨床研究者のアドホッククエリへの回答にCycを活用する」. AI Magazine . 31 (3): 13. doi : 10.1609/aimag.v31i3.2299 . ISSN  0738-4602.
  19. ^ クリス・ディートン、ブレイク・シェパード、チャールズ・クライン、コリン・マヤンズ、ブレット・サマーズ、アントワーヌ・ブルソー、マイケル・ウィットブロック、ダグ・レナット (2005). 「Cycにおける包括的テロリズム知識ベース」. 2005年国際インテリジェンス分析会議議事録. CiteSeerX 10.1.1.70.9247 . 
  20. ^ Douglas B. Lenat、Chris Deaton（2008年4月）。テロリズム知識ベース（TKB）最終技術報告書（技術報告書）。ローマ研究施設、ニューヨーク州ローマ：空軍研究所情報局。AFRL-RI-RS-TR-2008-125。
  21. ^ “コンピューターは世界を救うのか？” 2015年9月5日. 2015年9月5日時点のオリジナルよりアーカイブ。2024年12月15日閲覧。
  22. ^ 「Cycの使用」Computerworld . 2002年4月8日. 2024年12月15日閲覧。
  23. ^ シェパード, ブレイク; マトゥシェク, シンシア; フレイザー, C. ブルース; ウェヒテンハイザー, ウィリアム; クラッベ, デイビッド; ギュンゴルデュ, ゼラル; ジャントス, ジョン; ヒューズ, トッド; レフコウィッツ, ラリー; ウィットブロック, マイケル; レナット, ダグ; ラーソン, エリック (2005-07-09). 「ネットワークセキュリティへの知識ベースアプローチ：ネットワークリスクアセスメント分野におけるCycの適用」.第17回人工知能革新的応用会議議事録 - 第3巻. IAAI'05. ペンシルベニア州ピッツバーグ: AAAI Press: 1563–1568 . ISBN 978-1-57735-236-5。
  24. ^ レナット・ダグラス・B; ダーラック・ポーラ・J (2014年9月1日). 「生徒を教育による学習のシミュレーション体験に没頭させることによる数学知識の強化」.国際人工知能教育ジャーナル. 24 (3): 216– 250. doi : 10.1007/s40593-014-0016-x . ISSN  1560-4292.
  25. ^ 「CycorpのMathcraft」www.mathcraft.ai . 2017年11月29日閲覧。
  26. ^ ベルティーノ、ピエロ、ザリア、2001、p. 275
  27. ^ Havasi, Catherine (2014年8月9日). 「誰が常識的な推論を行っているのか、そしてなぜそれが重要なのか」. TechCrunch . 2017年11月29日閲覧。
  28. ^ ドミンゴス、ペドロ (2015). 『マスターアルゴリズム：究極の学習マシンの探求が世界を変える』 ベーシックブックス. ISBN 978-0465065707。
  29. ^ ウィル・ナイト（2016年3月14日）「30年間かけて常識を学習したAIが、仕事に就く準備が整う」MITテクノロジーレビュー。2017年11月29日閲覧。
  30. ^ Doug Lenat (2017年5月15日). 「時には、知性の見かけだけでは十分ではない」. CogWorld . 2017年11月29日閲覧。

さらに読む

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