サイク
サイク
原作者ダグラス・レナット
開発者サイコープ株式会社
初回リリース1984 （1984年）
安定版リリース
6.1 / 2017年11月27日 ( 2017-11-27 )
書かれたLisp、CycL、SubL
タイプ知識表現言語と推論エンジン
Webサイトwww.cyc.com​​

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月にマイクロエレクトロニクス・アンド・コンピュータ・テクノロジー・コーポレーション（MCC）のダグラス・レナットによって開始されました。MCCは、当時不吉だった日本のAIへの取り組み、いわゆる「第5世代」プロジェクトに対抗するために、米国に拠点を置く2つの企業によって設立された研究コンソーシアムです。[ 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年にはCycSecureが開発され、[ 22 ]米軍のSTRATCOMコンピュータ緊急対応チームで試験運用された、Cycをベースにしたネットワーク脆弱性評価ツールが開発された。[ 23 ]

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

批判

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

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

著名な従業員

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

参照

参考文献

  1. ^ a b cレナット・ダグラス・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. ^ a bレナト、ダグラス・B.; グハ、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. ^ “Computer to Save World?” 2015年9月5日. 2015年9月5日時点のオリジナルよりアーカイブ。 2024年12月15日閲覧。
  22. ^ 「Cyc in use」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日閲覧。

さらに読む

「 https://en.wikipedia.org/w/index.php?title=Cyc&oldid=1313092421#OpenCyc」から取得