(Translated by https://www.hiragana.jp/)
Cyc - 维基百科，自由的百科全书 跳とべ转到内容ないよう

Cyc

维基百科ひゃっか，自由じゆう的てき百科ひゃっか全ぜん书
（重定しげさだ向こう自じOpenCyc）
  关于簡稱為ためCYC之の香港ほんこん青少年せいしょうねん組織そしき，请见「公益こうえき少年しょうねん團だん」。

Cyc是ぜ一いち个致力りょく于将各かく个领域いき的てき本体ほんたい及常识知识综合ごう地ち集成しゅうせい在ざい一起かずき，并在此基础上实现知ち识推理すいり的てき人工じんこう智能ちのう项目。其目标是使し人工じんこう智能ちのう的てき应用能のう够以类似人じん类推理すいり的てき方式ほうしき工作こうさく。这个项目是ぜ由ゆかり道みち格かく拉ひしげ斯·萊納特とく在ざい1984年ねん设立的てき，由ゆかりCycorp（页面存そん档备份，存そん于互联网档案あん馆）公司こうし开发并维护。

该项目的もくてき一いち部分ぶぶん以OpenCyc形式けいしき发布，OpenCyc项目以开源げん许可的てき形式けいしき向こう开发者しゃ和わ使用しよう者しゃ提供ていきょうAPI，可か下した载的数すう据すえ集しゅう（特とく别是为语义万维网实践者提供了OWL版本はんぽん的てき数すう据すえ集しゅう）等とう。

概がい述じゅつ

[编辑]

Cyc项目始はじめ于1984年ねん，由ゆかり当とう时的微ほろ电子与あずか计算机つくえ技わざ术公司こうし开发。该项目め最さい开始的てき目め标是将しょう上じょう百ひゃく万条知识编码成机器可用的形式，用よう以表示ひょうじ人じん类常识。CycL是ぜCyc项目专有的てき知ち识表示ひょうじ语言，这种知ち识表示ひょうじ语言是ぜ基もと于一阶关系けい的てき[1]。 1986年ねんDouglas Lenat预测如果想おもえ要よう完成かんせいCyc这样庞大的てき常つね识知识系统，这将涉わたる及25万まん条じょう规则，并将要よう花はな费350个人年ねん才能さいのう完成かんせい[2]。1994年ねん，Cyc项目从该公司こうし独立どくりつ出で去ざ，并以此为基もと础成立せいりつ了りょうCycorp（页面存そん档备份，存そん于互联网档案あん馆）公司こうし。

"Cyc"名字みょうじ的てき来らい源みなもと是ただし"encyclopedia"，发音很像syke，是ぜ美国びくに德とく克かつ萨斯州しゅう奥おき斯丁的てきCycorp（页面存そん档备份，存そん于互联网档案あん馆）公司こうし的てき有效ゆうこう注ちゅう册さつ商しょう标，Cycorp是ぜ一家いっか由ゆかりDouglas Lenat领导的てき致力于实现人工じんこう智能ちのう的てき公司こうし。虽然Cyc知ち识库本身ほんみ为Cycorp公司こうし所有しょゆう，但ただし是ぜ该公司こうし在ざい开源Apache许可证的保ほ证下提供ていきょう了りょう一个用于自动推理的公共词汇集，即そくOpenCyc。最近さいきん，Cyc还在一个以研究为目的的许可证保证下向人工智能研究者开放，并以ResearchCyc命名めいめい。

Cyc知ち识库中ちゅう表示ひょうじ的てき知ち识一般いっぱん形がた如“每まい棵树都と是ぜ植物しょくぶつ”、“植物しょくぶつ最さい终都会かい死亡しぼう”。当とう提出ていしゅつ“树是否ひ会かい死亡しぼう”的てき问题时，推理すいり引擎可か以得到いた正せい确的结论，并回答かいとう该问题。该知识库中ちゅう包含ほうがん了りょう320万条人类定义的断言，涉わたる及30万まん个概念がいねん，15000个谓词。这些资源都と采さい取とCycL语言来らい进行描述，该语言げん采さい取と谓词代数だいすう描述，语法上じょう与あずかLisp程ほど序じょ设计语言类似。

目前もくぜんCyc项目大だい部分ぶぶん的てき工作こうさく仍然是ぜ以知识工程ほど为基础的。大だい部分ぶぶん的てき事こと实是通どおり过手工こう添加てんか到いた知ち识库中ちゅう，并在这些知ち识基础上进行高だか效こう推理すいり的てき。最近さいきんCycorp正せい致力于使Cyc系けい统能够和最さい终用户用自然しぜん语言进行交流こうりゅう，并通过机器き学がく习来辅助形がた成知なるち识的工作こうさく。

Cyc公司こうし与あずか很多公司こうし具有ぐゆう相しょう同どう的てき梦想，即そく采さい用ようCyc自然しぜん语言理解りかい工具こうぐ解析かいせき整せい个互联网并从中ちゅう抽取结构化か数すう据すえ[3]。

2008年ねん，研究けんきゅう人じん员将Cyc资源被ひ映うつ射い到いた许多维基百科ひゃっか的てき文章ぶんしょう上じょう[4]，这使得とくCyc与あずか类似于DBpedia、Freebase这样的てき数すう据すえ集しゅう进行连接变得更さら为容易えき。

知ち识库

[编辑]

Cyc中ちゅう的てき概念がいねん被ひ称しょう为“常つね量りょう（constants）”。常つね量りょう以"#$"开头并区分くぶん大小だいしょう写うつし。常つね量りょう主要しゅよう分ぶん为以下か几类：

  • 个体，即そくindividuals：例れい如#$BillClinton又また如#$France。
  • 集合しゅうごう，即そくCollections：例れい如#$Tree-ThePlant（包含ほうがん所有しょゆう的てき树），又また如#$EquivalenceRelation（包含ほうがん所有しょゆう的てき等とう价关系けい）。集合しゅうごう中ちゅう的てき个体被ひ称しょう为该集合しゅうごう的てき实例（instance）。
  • 真ま值函数すう，即そくTruth Functions：该函数すう可か被ひ应用于一个或多个概念，并返回かい“真しん”或ある“假かり”。例れい如#$siblings表示ひょうじ兄弟きょうだい姐あね妹いもうと关系，若わか两个参さん数すう对应的てき内容ないよう为兄弟きょうだい姐あね妹いもうと关系，则该概念がいねん返かえし回かい真しん值。约定真ま值函数すう以小写字しゃじ母はは开头，并且可か以被拆分为若干じゃっかん个逻辑连接せっ词（例れい如#$and、#$or、#$not、#$implies）、量りょう词（#$forAll, #$thereExists等とう等とう）以及谓词。
  • 函数かんすう，即そくFunctions：用よう于以现有术语为基础产生新せいしん的てき术语。例れい如#$FruitFn具有ぐゆう以下いか作用さよう：若わか接收せっしゅう到いた用よう于描述じゅつ一いち种（或ある一いち个集合しゅうごう）植物しょくぶつ的てき声明せいめい，则会返かえし回かい其果实。约定函数かんすう常つね量りょう以大写字しゃじ母はは开头，并以“Fn”作さく为结尾お。

Cyc中ちゅう的てき谓词最さい重要じゅうよう的てき是ぜ#$isa以及#$genls。#$isa表示ひょうじ某ぼう个对象ぞう是ぜ某ぼう个集合しゅうごう的てき个体（instance），#$genls表示ひょうじ某ぼう个集合しゅうごう是ぜ另外一いち个集合しゅうごう的てき子こ集合しゅうごう。由よし概念がいねん构成的てき事こと实采用ようCycL语言描述的てき“句く子こ”表示ひょうじ。谓词则写在ざい与あずか其相关的对象之の前まえ，并以括号ごう括くく起おこり来らい： （#$isa #$BillClinton #$UnitedStatesPresident） 表示ひょうじ“Bill Clinton属ぞく于美国こく总统集合しゅうごう”； （#$genls #$Tree-ThePlant #$Plant） 表示ひょうじ“所有しょゆう的てき树都是ぜ植物しょくぶつ”； （#$capitalCity #$France #$Paris） 表示ひょうじ“巴ともえ黎はじむ是ぜ法ほう国こく的てき首都しゅと”。

句く子中こなか可か以包含ほうがん变量，变量字じ符ふ串くし以"?"开头，这些句く子こ被ひ称しょう为“规则”。与あずか#$isa谓词有ゆう关的一条规则如下所示： 

(#$implies
   (#$and
     (#$isa ?OBJ ?SUBSET)
     (#$genls ?SUBSET ?SUPERSET))
   (#$isa ?OBJ ?SUPERSET))

上面うわつら的てき规则可か解かい释为："若わかOBJ为集合しゅうごうSUBSET中ちゅう的てき一いち个实例れい，并且SUBSET是ぜSUPERSET的てき子こ集しゅう，则OBJ是ぜ集合しゅうごうSUPERSET的てき一いち个实例れい。下面かめん再さい给出另外一个典型的示例： （#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal） 上面うわつら的てき规则可か解かい释为：对于脊索せきさく动物（chordate）集合しゅうごう#$ChordataPhylum中ちゅう的てき所有しょゆう实例，都と存在そんざい一いち个母性せい动物（为#$FemaleAnimal的てき实例）作さく为其母はは亲（通つう过谓词#$biologicalMother描述）。

Cyc知ち识库是ぜ由よし许多“microtheories”（Mt）构成的てき，概念がいねん集合しゅうごう和わ事ごと实集合一ごういつ般与特定とくてい的てきMt关联。与あずか整体せいたい的てき知ち识库有ゆう所しょ不同ふどう的てき是ぜ，每まい一いち个Mt相互そうご之の间并不ふ矛盾むじゅん，每まい一いち个Mt具有ぐゆう一いち个常量りょう名めい，Mt常つね量りょう约定以字符ふ串くし"Mt"结尾。例れい如：#$MathMt表示ひょうじ包含ほうがん数学すうがく知ち识的Mt，Mt之の间可以相互そうご继承得え到いた并组织成一个层次化的结构。例れい如#$MathMt特とく化か到いた更さら为精细的层次便びん包含ほうがん了りょう如#$GeometryGMt，即そく有ゆう关几何なん的てきMt。

推理すいり引擎

[编辑]

推理すいり引擎是ぜ从知识库中ちゅう经过推理すいり获取答案とうあん的てき计算机つくえ程ほど序じょ。Cyc推理すいり引擎支持しじ一般的逻辑演绎推理，包括ほうかつ[5]：

发布版本はんぽん

[编辑]

OpenCyc

[编辑]

OpenCyc的てき最近さいきん一个版本是于2009年ねん7月がつ发布的てきOpenCyc 2.0版はん。OpenCyc 1.0版はん涵盖了りょう完かん整せい的てきCyc本体ほんたい，其中包含ほうがん了りょう47000个概念がいねん、306000个事实，主要しゅよう是ぜ分ぶん类断言だんげん，并不包含ほうがんCyc中ちゅう的てき复杂规则。

OpenCyc的てき第だい一个版本发布于2002年ねん春はる天てん，该版本ほん仅包含ほうがん6000个概念がいねん、60000条じょう事ごと实。该知识库是ぜ在ざいApache许可证保ほ护下发布的てき。Cycorp公司こうし已やめ表示ひょうじ有意ゆうい采さい用よう无限制せい的てき授权形式けいしき及多种授权形式しき满足其用户的需求。CycL和わSubL解かい释器（允まこと许用户浏览并编辑知ち识库、并具有ぐゆう推理すいり功こう能のう）是ぜ免めん费发布ぬの给用户的，但ただし是ぜ仅包含ほうがん二に进制文ぶん件けん，并不包含ほうがん源げん代だい码。OpenCyc具有ぐゆう针对Linux操作そうさ系けい统及微ほろ软Windows操作そうさ系けい统的发行版ばん。开源项目Texai[6]项目发布了りょうRDF版本はんぽん的てきOpenCyc知ち识库[7]。

ResearchCyc

[编辑]

2006年ねん，Cycorp发布了りょう二に进制版本はんぽん的てきResearchCyc 1.0，这是向むこう科か研けん社しゃ群ぐん发布的てき免めん费版本はんぽん的てきCyc（ResearchCyc在ざい2004年ねん经过了りょう一整年的测试开发，并于2005年ねん2月がつ发布了りょう测试版ばん）。ResearchCyc中ちゅう除じょ了りょう包含ほうがんOpenCyc中ちゅう的てき分ぶん类信息いき外がい，还在知ち识库中ちゅう显著增加ぞうか了りょう许多语义知ち识（及附加ふか的てき事こと实），并加入かにゅう了りょう一个庞大的词汇表、英文えいぶん解析かいせき与あずか生成せいせい工具こうぐ、及用于编辑、查询知ち识的Java接せっ口こう。

应用

[编辑]

恐怖きょうふ主ぬし义知识库项目

[编辑]

恐怖きょうふ主ぬし义综合あい知ち识库是ぜ一个正在开发中的Cyc应用，该应用よう的てき目め标是最さい终创建けん一个包含所有恐怖组织、相あい关成员、领袖、其世界かい观、创建者しゃ、赞助者しゃ、设施、地点ちてん、经费、目的もくてき、行くだり为、战术及某次じ特定とくてい恐怖きょうふ活かつ动事实的知ち识库。该类知ち识以数理すうり逻辑表示ひょうじ的てき声明せいめい形式けいしき存そん储[8]。

Cyclopedia项目

[编辑]

Cyclopedia是ぜ一个正在开发的项目，它致力りょく于用Cyc中ちゅう的てき关键词对Wikipedia网页上じょう的てき内容ないよう进行标注[9][10]。

克利かつとし夫おっと兰临床ゆか基金ききん会かい项目

[编辑]

克利かつとし夫おっと兰临床ゆか基金ききん会かい采さい用ようCyc开发了りょう一个生物医学信息的自然语言查询系统[11]。该系统将查询通どおり过开放变量解析かいせき为CycL（高こう阶逻辑）片かた断だん构成的てき集合しゅうごう，随ずい后きさき通どおり过应用よう各かく种约束たば（如医学がく领域知ち识、常つね识、语篇语用学がく、语法）之の后きさき，找到将はた这些片へん断だん结合在ざい一起かずき，形成けいせい语义丰富的てき形式けいしき化か查询的てき方法ほうほう[12]。

对Cyc项目的もくてき批评

[编辑]

Cyc项目被ひ誉ほまれ为是“人工じんこう智能ちのう历史上じょう最さい有ゆう争そう议的项目”之の一いち[13]，因いん此难免めん对它有ゆう批评的てき意い见，这些意い见可以概括がいかつ为：

  • 系けい统的复杂度ど - 该系统具有ぐゆう创建百科全书式知识库的野心，却手动添加てんか所有しょゆう的てき知ち识到系けい统中；
  • 知ち识表示ひょうじ广泛的てき具体ぐたい化か引发的てき可か扩展性せい问题，特とく别是以常量的りょうてき形式けいしき进行；
  • 对物质概念的がいねんてき解かい释难以令人じん满意，对内在ないざい属性ぞくせい和わ外在がいざい属性ぞくせい区分くぶん不ふ清きよし晰；
  • 缺乏けつぼう对Cyc推理すいり引擎效率こうりつ测试的てき有意ゆうい义的标准测试及与其他类似系けい统的比ひ较；
  • 目前もくぜん该系统在深度しんど和わ广度上うえ都と有ゆう待まち完かん善ぜん，然しか而测度ど该系统的完かん备性本身ほんみ就是很困难的；
  • 缺乏けつぼう文ぶん档；
  • 缺乏けつぼう最新さいしん的てき在ざい线培训材料りょう，不便ふべん于初学者がくしゃ学がく习使用しよう该系统；
  • 缺乏けつぼう对普通どおり对象构成的てき本体ほんたい描述的てき断言だんげん。

参考さんこう文献ぶんけん

[编辑]
  1. ^ Lenat, Douglas. Hal's Legacy: 2001's Computer as Dream and Reality. From 2001 to 2001: Common Sense and the Mind of HAL. Cycorp, Inc. [2006-09-26]. （原始げんし内容ないよう存そん档于2006-10-06）. 
  2. ^ The Editors of Time-Life Books. Understanding Computers: Artificial Intelligence. Amsterdam: Time-Life Books. 1986: 84. ISBN 0-7054-0915-5. 
  3. ^ Cyc R&D. [2009-02-19]. （原始げんし内容ないよう存そん档于2009-02-20）. 
  4. ^ INTEGRATING CYC AND WIKIPEDIA: Folksonomy meets rigorously defined common-sense. [2009-02-19]. （原始げんし内容ないよう存そん档于2009-03-21）. 
  5. ^ cyc Inference engine. [2009-02-19]. （原始げんし内容ないよう存そん档于2009-02-20）. 
  6. ^ The open source Texai project. [2020-09-25]. （原始げんし内容ないよう存そん档于2020-08-22）. 
  7. ^ Texai SourceForge project files. [2010-11-23]. （原始げんし内容ないよう存そん档于2009-02-04）. 
  8. ^ The Comprehensive Terrorism Knowledge Base in Cyc (PDF). [2009-02-19]. （原始げんし内容ないよう (PDF)存そん档于2008-05-17）. 
  9. ^ DBpedia and (Open-)Cyc. [2009-06-09]. （原始げんし内容ないよう存そん档于2009-07-09）. 
  10. ^ Cyclopedia Sampleshowing cyc highlighted cyc concept for family. [2010-11-23]. （原始げんし内容ないよう存そん档于2010-07-09）. 
  11. ^ 存そん档副本ふくほん. [2010-11-23]. （原始げんし内容ないよう存そん档于2010-06-07）. 
  12. ^ 存そん档副本ふくほん. [2010-11-23]. （原始げんし内容ないよう存そん档于2010-12-31）. 
  13. ^ Bertino, Piero & Zarri 2001，第だい275頁ぺーじ

进一步阅读建议

[编辑]

外部がいぶ链接

[编辑]
背景はいけい
分ぶん主しゅ题
应用
相あい关主题
人物じんぶつ
标准
语法及支持しじ技わざ术
模も式しき、本体ほんたい和わ规则
语义标注
公共こうきょう词表
检索自じ“https://zh.wikipedia.org/w/index.php?title=Cyc&oldid=71475318”