サイク

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

「Cyc」（「百科事典」に由来）という名称は、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 ]}

2014年、レナット氏は「私たちは、外部からの投資も負債もなく、ほとんど意図的に非常に目立たないようにしてきました」と述べた。^{[ 9 ]}

知識ベースはマイクロ理論に分割されます。知識ベース全体とは異なり、各マイクロ理論は単調矛盾があってはなりません。各マイクロ理論はCycオントロジーにおける第一級オブジェクトであり、正規定数である名前を持ちます。Cycの概念名はCycL用語または定数です。^{[ 6 ]}定数はオプションで始まり#$、大文字と小文字を区別します。以下の定数があります。

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

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

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

Cycの推論エンジンは、認識論的な問題とヒューリスティックな問題を分離している。後者については、Cycはエージェントのコミュニティ・アーキテクチャを採用しており、それぞれ独自のアルゴリズムを持つ専門モジュールが、サブ問題の解決に貢献できる場合に優先的に処理されるように設計されている。

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

Cyc のアプリケーションの一つは、6 年生レベルの数学を学習する生徒を支援することを目的としている。^{[ 27 ]} MathCraft と呼ばれるこのアプリケーションは、^{[ 28 ]}ユーザーよりも少し数学に戸惑っている同級生の役割を果たすことになっていた。ユーザーが適切なアドバイスを与えると、Cyc はアバターの間違いを減らす。

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

認知科学者であり、Geometric IntelligenceというAI企業の共同創設者であるGary Marcusは、2016年に「これは、ニュースで取り上げられているディープラーニングとは全く異なるアプローチを表している」と述べた。 ^{[ 32 ]}これは、Doug Lenatの「知能の表面的な装いだけでは不十分な場合もある」という立場と一致している。 ^{[ 33 ]}

これは、MCC（Cycが最初に始まった場所）またはCycorpのプロジェクトであった時代にCycに携わった、または携わっていた著名な人物のリストです。

• Alan Belasco et al. (2004). 「知識ギャップを効果的に表現する方法」 . D. Karagiannis、U. Reimer (編)：知識管理の実践的側面、PAKM 2004 会議録、ウィーン、オーストリア、2004 年 12 月 2 ～ 3 日. Springer-Verlag、ベルリン ハイデルベルク。
• Bertino, Elisa ; Piero, Gian; Zarria, BC (2001). Intelligent Database Systems . Addison-Wesley Professional.
• John Cabral 他 (2005) 「意味論的メタ知識を帰納的バイアスに変換する」 .第 15 回帰納論理プログラミング国際会議議事録. ドイツ、ボン、2005 年 8 月。
• Jon Curtis 他 (2005) 「質問応答システムにおける Cyc の効果的な使用について」。IJCAIワークショップ「質問応答のための知識と推論」論文集。スコットランド、エジンバラ: 2005 年。
• クリス・ディートン他（2005）。「Cycにおける包括的テロ知識ベース」。2005年5月、バージニア州マクリーンで開催された2005年国際情報分析会議の議事録。
• Kenneth Forbus 他 (2005) 「類推、インテリジェント情報検索、知識統合を組み合わせた分析：予備報告」『2005年国際情報分析会議議事録』、バージニア州マクリーン、2005年5月
• ダグラス・フォックスヴォグ (2010)、「Cyc」。『オントロジーの理論と応用：コンピュータアプリケーション』、 2018年11月12日にWayback Machineにアーカイブ済み、Springer。
• Fritz Lehmann と d. foxvog (1998)、「骨に肉をつける：豊富な関係構造を持つ解剖学的知識ベースの作成で生じる問題」。『生物学的および医学的知識ベースシステム間の知識共有』、AAAI。
• ダグラス・レナット、RV・グハ（1990）。大規模知識ベースシステムの構築：Cycプロジェクトにおける表現と推論。アディソン・ウェスリー。ISBN 0-201-51752-3。
• ダグラス・レナットとゲイリー・マーカス、「生成型AIから信頼できるAIへ：LLMがCycから学べること」、2023年7月31日
• James Masters (2002). 「構造化知識源統合とその情報融合への応用」 .第5回国際情報融合会議議事録. メリーランド州アナポリス、2002年7月。
• James Masters および Z. Güngördü (2003)。「構造化された知識源の統合：進捗報告」『知識集約型マルチエージェントシステムの統合』所収。米国マサチューセッツ州ケンブリッジ、2003 年。
• シンシア・マトゥシェク他（2006）。「Cycの構文と内容入門」。『背景知識の形式化とコンパイル、および知識表現と質問応答への応用に関する2006年AAAI春季シンポジウム議事録』スタンフォード、2006年
• Cynthia Matuszek 他 (2005) 「常識の探求：ウェブから Cyc を構築する」。第 20 回全国人工知能会議議事録。ペンシルベニア州ピッツバーグ、2005 年 7 月。
• Tom O'Hara 他 (2003). 「Cyc 知識ベースとその WordNet への拡張を用いた、質量名詞の語彙マッピングのための基準の誘導」 .第 5 回国際計算意味論ワークショップ議事録. ティルブルフ、2003 年。
• ファブリツィオ・モルビニとレンハルト・シューベルト（2009）。「EPILOGの評価：エピソード論理のための推論エンジン」。ロチェスター大学、Commonsense '09カンファレンス（Cycの約1600個の「常識テスト」ライブラリについて説明）。
• Kathy Panton 他 (2002). 「KRAKEN ツールセットを使用した知識形成と対話」 . 第18 回全国人工知能会議. エドモントン、カナダ、2002 年。
• Deepak Ramachandran P. Reagan & K. Goolsbey (2005). "First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology" ( 2014年3月24日にWayback Machineにアーカイブ)。In: Papers from the AAAI Workshop on Contexts and Ontologies: Theory, Practice and Applications . Pittsburgh, Pennsylvania, July 2005.
• 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月) 「意味構築文法：自然言語と論理の境界を埋める」第24回国際ワールドワイドウェブ会議議事録（ 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 年国際情報分析会議議事録、バージニア州マクリーン、2005 年 5 月。
• Michael Witbrock 他 (2002). 「Cyc における知識獲得のための対話型対話システム」 .第 18 回国際人工知能合同会議議事録. アカプルコ、メキシコ、2003 年。
• Michael Witbrock 他 (2004) 「大規模知識ベースによる自動 OWL アノテーション」 .第 3 回国際セマンティック Web 会議 ISWC2004 における知識マークアップとセマンティック アノテーションに関する 2004 年ワークショップのワークショップ ノート. 広島、日本、2004 年 11 月、pp.  71–80.
• Michael Witbrock 他 (2005) 「知識は知識を生む：Cyc における支援型知識獲得へのステップ」『2005 年 AAAI 春季シンポジウム「ボランティア貢献者からの知識収集 (KCVC)」論文集』99-105 ページ 。カリフォルニア州スタンフォード、2005 年 3 月。
• ウィリアム・ジャロルド（2001）。「常識を用いた大規模ルールベースシステムの知能の検証」。「モデルベースの知能検証：2001年AAAIシンポジウム論文集」（AAAIテクニカルレポートSS-01-04）。
• William Jarrold. (2003).大規模なルールベースオントロジーを評価するためのオントロジーの使用: 理論と実践. {\em インテリジェントシステムのパフォーマンス指標 PerMIS '03} (NIST 特別刊行物 1014).

• Cycorpのウェブサイト
• Cyc：論理的汎用人工知能における最大の記念碑への追悼記事 執筆者：Yuxi Liu（カリフォルニア大学バークレー校）、2025年