Mon . 19 Oct 2019

Цык

Cyc / ˈsaɪk / - гэта праект штучнага інтэлекту, які спрабуе сабраць усеабдымную базу анталогіі і ведаў штодзённага здаровага сэнсу з мэтай дазволіць прыкладанням AI выконваць падобныя да чалавека развагі. Праект быў запушчаны ў 1984 годзе Дугласам Ленатам у MCC і распрацоўваецца кампаніяй Cycorp. Часткі праекта выпускаюцца ў выглядзе OpenCyc, які забяспечвае API, канчатковую кропку RDF і скід дадзеных пад ліцэнзію з адкрытым зыходным кодам
Змест
1 Агляд
2 База ведаў
3 рухавік высновы - 4 версіі - 41 OpenCyc - 42 ResearchCyc - 5 прыкладанняў - 51 база ведаў аб тэрарызме - 52, цыклапедыя - 53, Фонд клінікі Кліўленда - 6 крытык
7 выбітных супрацоўнікаў - 8 Глядзіце таксама - 9 Спасылкі - 10 Далейшае чытанне - 11 Знешнія спасылкі - Агляд - Праект быў запушчаны ў 1984 годзе ў рамках карпарацыі мікраэлектронікі і камп'ютэрных тэхналогій. Мэта складалася ў тым, каб кадыфікаваць у машынна-зручным выглядзе мільёны частак ведаў, якія складаюць чалавечы кім Пан сэнс CycL прадставіў уласную схему прадстаўлення ведаў, якая выкарыстала адносіны першага парадку [1] У 1986 годзе Дуг Ленат падлічыў, што намаганні па завяршэнні Cyc складаюць 250 000 правілаў і 350 чалавечых гадоў намаганняў [2]. Cycorp, Inc у Осціне, штат Тэхас, у 1994 г.
Назва "Cyc" з "энцыклапедыі", вымаўляецца [saɪk] як syke, з'яўляецца зарэгістраваным гандлёвым знакам, які належыць Cycorp. Арыгінальная база ведаў з'яўляецца ўласнай, але меншая версія базы ведаў , прызначаны для стварэння агульнага слоўніка для аўтаматычных разважанняў, быў выпушчаны як OpenCyc пад ліцэнзіяй Apache з адкрытым зыходным кодам. З нядаўніх часоў Cyc быў прадастаўлены даследчыкам AI пад ліцэнзіяй навуковых мэтаў у якасці ResearchCyc
Тыпавыя веды, прадстаўленыя ў у базе дадзеных "Кожнае дрэва - гэта расліна" і "Расліны паміраюць у рэшце рэшт". На пытанне, ці паміраюць дрэвы, рухавік высновы можа зрабіць відавочны вывад і правільна адказаць на пытанне. База ведаў КБ змяшчае больш мільён сцвярджэнняў, правілаў і ідэй здаровага сэнсу, вызначаных чалавекам. Сфармуляваны на мове CycL, які заснаваны на вылічэнні выказнікаў і мае сінтаксіс, падобны да мовы праграмавання Lisp. Большая частка бягучай працы над праектам Cyc працягвае займацца інфармацыяй, уручную прадстаўляючы факты пра свет, і ўкараняючы эфектыўныя механізмы высновы гэтых ведаў. Аднак усё часцей праца ў Cycorp прадугледжвае магчымасць Cyc мець магчымасць мець зносіны з канчатковымі карыстальнікамі на натуральнай мове і дапамагаць працэс фарміравання ведаў з дапамогай машыннага навучання
Як і ў многіх кампаній, Cycorp мае амбіцыі выкарыстоўваць натуральную апрацоўку мовы Cyc [3], каб разабраць увесь Інтэрнэт для здабывання структураваных дадзеных [4]
У 2008 годзе рэсурсы Cyc былі адлюстраваны ў многіх Вікіпедыях артыкулы [5] патэнцыйна палегчыць злучэнне з іншымі адкрытымі наборамі дадзеных, такімі як DBpedia і Freebase - база ведаў
Гэты раздзел мае патрэбу ў дадатковых цытатах для праверкі. палепшыць гэты артыкул, дадаўшы цытаты да надзейных крыніц Неабмежаваны матэрыял можа быць аспрэчаны і выдалены чэрвеня 2016 г. Даведайцеся, як і калі выдаліць паведамленне гэтага шаблона
Імёны паняццяў у Cyc вядомыя як канстанты Канстанты пачынаюцца з дадатковага "# $" і Існуюць канстанты для:
Асобныя прадметы, вядомыя як асобныя асобы, такія як # $ BillClinton або # $ France
Калекцыі, такія як # $ Tree-ThePlant, якія змяшчаюць усе дрэвы, або # $ EquivalenceRelation, якія змяшчаюць усе адносіны эквівалентнасці A член калекцыі называецца экзэмплярам гэтай калекцыі - Функцыі, якія ствараюць новыя тэрміны з зададзеных. Напрыклад, # $ FruitFn, калі прадастаўляецца аргумент, які апісвае тып альбо калекцыю раслін, верне калекцыю яго пладоў Па канвенцыі канстанты функцыі пачынаюцца з малой літары і заканчваюцца радком "Fn" - Функцыі праўды, якія могуць быць ужытыя да адной або некалькіх іншых канцэпцый і вяртаць ісціну альбо ілжыва, напрыклад, # siblings з'яўляецца sibli Ng адносіны, дакладна, калі два аргументы з'яўляюцца братамі і братамі. Па канвенцыі, канстанты функцыі праўды пачынаюцца з малой літары, ісціны праўды могуць быць разбіты на лагічныя злучальнікі, такія як # $ і, # $ або, # $ не, # $ мае на ўвазе, квантыфікатары # $ forAll, # $ thereExists і г.д., і выказнікі
Найбольш важнымі выказнікамі з'яўляюцца # $ isa і # $ $ genls. Першы з іх апісвае, што адзін элемент - асобнік калекцыі, другі - адзін калекцыя - падзадача яшчэ аднаго Факты пра паняцці сцвярджаюцца пры дапамозе пэўных прапаноў CycL. Выказнікі пішуцца перад іх аргументамі ў дужках:
# $ isa # $ BillClinton # $ UnitedStatesPresident
"Біл Клінтан належыць да калекцыі прэзідэнтаў ЗША" і
# $ genls # $ Tree-ThePlant # $ Plant
"Усе дрэвы - расліны"
# $ capitalCity # $ France # $ Paris # "Парыж - сталіца Францыі"
Прыгаворы могуць таксама ўтрымліваюць зменныя радкі, якія пачынаюцца з "" Гэтыя прапановы называюцца "правілы". Адно важнае правіла, сцверджанае пра # $ isa pred icate reads - # $ азначае, што # $ і
# $ isa OBJ SUBSET - # $ genls SUBSET SUPERSET - # $ isa OBJ SUPERSET - з інтэрпрэтацыяй "калі OBJ - асобнік калекцыі SUBSET і SUBSET - гэта падвыбарка SUPERSET, тады OBJ - экзэмпляр калекцыі SUPERSET ". Яшчэ адзін тыповы прыклад - # $ RelationsAllExists # $ bioMother # $ ChordataPhylum # $ FemaleAnimal", што азначае, што для кожнага асобніка калекцыі # $ ChordataPhylum, то ёсць для кожнага хордата існуе экземпляр жаночай жывёлы # $ FemaleAnimal, які з'яўляецца яго маці, апісаны выказнікам # $ bioMother
База ведаў падзяляецца на мікратэорыі Mt, калекцыі паняццяў і фактаў, як правіла якія адносяцца да адной канкрэтнай сферы ведаў У адрозненне ад базы ведаў у цэлым, кожная мікратэорыя павінна быць вольнай ад супярэчнасцей. Кожная мікратэорыя мае імя, якое з'яўляецца рэгулярнай пастаяннай; Канстанты мікратэорыі ўтрымліваюць радок "Mt" па канвенцыі. Напрыклад, # $ MathMt, мікратэорыя, якая змяшчае матэматычныя веды. Мікратэорыі могуць атрымліваць у спадчыну адзін ад аднаго і арганізаваны ў іерархіі: адна спецыялізацыя # $ MathMt - гэта $ $ GeometryGMt, мікратэорыя аб геаметрыя
рухавік высновы - рухавік высновы - гэта камп'ютэрная праграма, якая спрабуе атрымаць адказы з базы ведаў. Рухавік вываду Cyc ажыццяўляе агульную лагічную выснову, уключаючы модус порынаў, модул толлен, універсальную колькасную ацэнку і экзістэнцыяльную колькасную ацэнку [6]
Рэлізы
Гэты раздзел мае патрэбу ў дадатковых цытатах для праверкі. Калі ласка, дапамажыце палепшыць гэты артыкул, дадаўшы цытаты да надзейных крыніц. Неабмежаваныя матэрыялы могуць быць аспрэчаныя і выдалены чэрвеня 2016 г. Даведайцеся, як і калі выдаліць паведамленне з шаблона - OpenCyc
Самыя апошнія версія OpenCyc, 40, была выпушчана ў чэрвені 2012 г. OpenCyc 40 уключае ў сябе анталогію Cyc, якая змяшчае сотні тысяч тэрмінаў, а таксама млын іёны сцвярджэнняў, якія адносяцца паміж сабой тэрмінамі; аднак гэта ў асноўным таксанамічныя сцвярджэнні, а не складаныя правілы, даступныя ў Cyc. База ведаў змяшчае 239 000 канцэпцый і 2 093 000 фактаў, і іх можна праглядзець на сайце OpenCyc. Першая версія OpenCyc была выпушчана вясной 2002 года і ўтрымлівала ўсяго 6 тысяч канцэпцый і 60 000 фактаў База ведаў выпушчана пад ліцэнзіяй Apache. Cycorp заявіў пра намер выпусціць OpenCyc пад паралельнымі, неабмежаванымі ліцэнзіямі, каб задаволіць патрэбы сваіх карыстальнікаў. Праграма інтэрпрэтатара CycL і SubL дазваляе праглядаць і рэдагаваць базу дадзеных. як зрабіць высновы, выпускаецца бясплатна, але толькі як двайковы, без зыходнага кода. Ён даступны для Linux і Microsoft Windows. Праект з адкрытым зыходным кодам Texai [7] выпусціў RDF-сумяшчальны змест, здабыты з OpenCyc [8]
ResearchCyc
У ліпені 2006 года Cycorp выпусціў выкананы файл ResearchCyc 10, версіі Cyc, накіраванай на даследчую супольнасць, і бясплатна, на якой ResearchCyc знаходзіўся ў стадыі бэта-распрацоўкі lopment на працягу ўсяго 2004; бэта-версія была выпушчана ў лютым 2005 г. У дадатак да таксанамічнай інфармацыі, якая змяшчаецца ў OpenCyc, ResearchCyc ўключае ў сябе значна больш семантычных ведаў, то ёсць дадатковыя факты пра паняцці ў сваёй базе ведаў, і ўключае ў сябе вялікую лексіку, інструменты разбору і генерацыі ангельскай мовы і Java Інтэрактыўныя інтэрфейсы для рэдагавання ведаў і запытаў Акрамя таго, ён утрымлівае сістэму інтэграцыі дадзеных на аснове анталогіі - Прыкладанні
База ведаў аб тэрарызме - Комплексная база ведаў аб тэрарызме - гэта дадатак Cyc у распрацоўцы, які паспрабуе ў канчатковым выніку ўтрымліваць усе адпаведныя веды пра "тэрарыстычныя" групоўкі, іх членаў, лідэраў, ідэалогію, заснавальнікаў, спонсараў, прыналежнасці, аб'екты, месцы, фінансы, магчымасці, намеры, паводзіны, тактыку і поўныя апісанні канкрэтных тэрарыстычных падзей. Веды захоўваюцца як заявы ў матэматычная логіка, падыходная для камп'ютэрнага разумення і разважанняў [9] - Cyclopedia
Cyclopedia распрацоўваецца d; ён накладае ключавыя словы Cyc на старонках, узятых са старонак Вікіпедыі [10] [11] - Фонд клінікі Кліўленда - Клівія Кліўленда выкарыстала Cyc для распрацоўкі інтэрфейсу запытаў натуральнай мовы біямедыцынскай інфармацыі [12] Запыт разбіраецца на мноства лагічных фрагментаў CycL вышэйшага парадку з адкрытымі пераменнымі, пасля прымянення розных абмежаванняў ведаў аб медыцынскай вобласці, здаровага сэнсу, прагматыкі дыскурсу, сінтаксісу, ёсць спосаб усталяваць гэтыя фрагменты разам, адзін семантычна значымы афіцыйны запыт [13]
Крытыка - Праект Cyc быў названы "адным з самых супярэчлівых пачынанняў гісторыі штучнага інтэлекту" [14]. Крытыкі ўключаюць:
Складанасць сістэмы - магчыма, абумоўленая яе энцыклапедычнымі амбіцыямі - і выцякаючая з гэтага цяжкасць у даданне да сістэмы ўручную [неабходнае цытаванне]
Праблемы з маштабаванасцю, ад шырокай рэтыфікацыі, асабліва, калі канстанты [неабходнае цытаванне]
Нездавальняючая трактоўка паняцця субстанцыі і адноснага адлюстроўваецца адрозненне ўласцівых і знешніх уласцівасцей [неабходнае цытаванне]
Адсутнасць якіх-небудзь значных арыенціраў або параўнання па эфектыўнасці рухавікоў высновы Cyc Аднак гл. Ramachandran et al 2005 [15]
Сучасная недасканаласць сістэмы ў абедзве шырыні. і глыбіня, і звязаная з гэтым цяжкасць у вымярэнні яе паўнаты [неабходнае цытаванне]
Абмежаваная дакументацыя [неабходнае цытаванне]
Адсутнасць сучасных навучальных матэрыялаў у рэжыме онлайн абцяжарвае навучанне новых людзей [ спасылка патрэбная] - Вялікая колькасць прабелаў не толькі ў анталогіі звычайных аб'ектаў, але і практычна поўная адсутнасць адпаведных сцвярджэнняў, якія апісваюць такі аб'ект [неабходнае цытаванне]
Вучоны з машыннага навучання Педра Дамінгас ставіцца да праекта як да "катастрафічны правал" па шэрагу прычын, у тым ліку нязменны аб'ём дадзеных, неабходны для атрымання жыццяздольных вынікаў, і няздольнасць Cyc развівацца самастойна [16]
Выдатныя супрацоўнікі
Гэта спіс значных людзей, якія працуюць альбо працавалі над Cyc альбо ў якасці супрацоўнікаў MCC, дзе Cyc быў упершыню запушчаны, альбо Cycorp | Дуглас Ленат, Майкл Вітброк, Пат Хейс, Рамананат V Гуха, Сцюарт Дж. Расэл, Шрынія Шрынівасан
Джарэд Фрыдман | Глядзіце таксама BabelNet - Катэгарычная логіка - Кітайская пакой - Мова разметкі агента DARPA - DBpedia - Кампутар пятага пакалення - Freebase - Mindpixel
Неабходнае вывучэнне моў: Адкрыты розум, агульны сэнс - семантычная павуціна - прапанаваная анталогія верхняга зліцця
SHRDLU - сапраўдныя веды
UMBEL
Wolfram Alpha
YAGO
Спасылкі
^ Ленат, Дуглас "Спадчына Хэла: Камп'ютэр 2001 г. як мара і рэальнасць. З 2001 па 2001 г .: Здаровы сэнс і розум HAL" Cycorp, Inc Архіваваны з арыгінала 2006-10-06 Праверана 2006-09-26
^ Рэдактары кніг "Час жыцця" 1986 г. Разуменне кампутараў: Штучны інтэлект Амстэрдам: Кнігі "Час жыцця" p 84 ISBN 0-7054-0915-5
^ "Натуральная мова Cyc"
^ "Cyc R & amp; D "Праверана 2009-02-19
^" Інтэграцыя Cyc and Wikipedia: Folksonomy сустракаецца з строга вызначаным здаровым сэнсам "PDF Retrieved 2013-05-10
^" cyc Inference Engine ", атрымана 2015-06-04
^ Праект з адкрытым зыходным кодам Texai
^ Texai SourceForge Project файлы
^ "Комплексная база ведаў аб тэрарызме ў Cyc" CiteSeerX 1011709247 Адсутнічае альбо пустая | url = help; | date-date = патрабуецца | url = help
^ "DBpedia and Open-Cyc", атрымана 2009-06-09
^ Cyclopedia Samplehowing cyc - выдзелена канцэпцыя цыкла для сям'і
^ http: // wwww3org / 2001 / sw / sweo / public / UseCases / ClevelandClinic /
^ http: // wwwaaaiorg / ojs / indexphp / aimagazine / article / viewArticle / 2299
^ Bertino, Piero & amp; Zarri 2001, p 275
^ Ramachandran, Deepak "Даследчы цыкл першага ўпарадкавання: экспрэсіўнасць і эфектыўнасць у базе ведаў агульнага сэнсу" PDF атрымана 26 мая 2013 г.
^ Domingos, Pedro 2015 Алгарытм майстра: Як шукаць Канчатковая машына навучання ператворыцца ў наш свет ISBN 978-0465065707 - далейшае чытанне - Алан Беласка і інш 2004, "Эфектыўна прадстаўляючы прабелы ў ведах" У працы: D Караганніс, У Рэймер Эдс: Практычныя аспекты кіравання ведамі, Матэрыялы PAKM 2004 , Вена, Аўстрыя, 2–3 снежня 2004 г., Спрынгер-Верлаг, Берлін, Гейдэльберг, Эліза Берціна, Джан П'ера і ўзмацняльнік; BC Zarria 2001 Інтэлектуальныя сістэмы баз дадзеных Addison-Wesley Professional - John Cabral & amp; іншыя 2005 г. "Пераўтварэнне семантычнага мета-веды ў індуктыўную тэндэнцыю" У: Матэрыялы 15-й Міжнароднай канферэнцыі па індуктыўнай логіцы праграмавання Бон, Германія, жнівень 2005 г. - Джон Керціс і інш 2005 "Аб эфектыўным выкарыстанні цыклу ў сістэме адказаў на пытанні. "У: Даклады з семінара IJCAI па ведах і абгрунтаванні адказаў на пытанні Эдынбург, Шатландыя: 2005 год. Крыс Дыттан і інш. 2005" Комплексная база ведаў аб тэрарызме ў цык "У: Матэрыялы Міжнароднай канферэнцыі 2005 г. па аналізе выведкі, Маклайн , Вірджынія, май 2005 г.
Кеннет Форбус і інш. 2005 г. "Спалучэнне аналогіі, інтэлектуальнага пошуку інфармацыі і інтэграцыі ведаў для аналізу: папярэдні даклад" У: Матэрыялы Міжнароднай канферэнцыі 2005 г. па аналітычным аналізе 2005 г., Маклін, штат Вірджынія, май 2005 г.
douglas foxvog 2010, "Cyc" У: тэорыя і прымяненне анталогіі: камп'ютэрныя прыкладанні ", Springer
Fritz Lehmann and d foxvog 1998," Класці плоць на косці: праблемы, якія ўзнікаюць е ў стварэнні анатамічных баз ведаў з багатымі рэляцыйнымі структурамі "У: Абмен ведамі па біялагічных і медыцынскіх сістэмах, заснаваных на ведах, АААІ
Дуглас Ленат і Р. В. Гуха, 1990 г. Будаўніцтва вялікіх сістэм на аснове ведаў: прадстаўленне і высновы ў праекце Cyc" Аддзісан-Уэслі ISBN 0-201-51752-3
James Masters 2002 "Структураваная інтэграцыя крыніц ведаў і яе дадаткі да зліцця інфармацыі" У: Матэрыялы Пятай міжнароднай канферэнцыі па інфармацыйным зліцці Аннаполіс, доктар медыцынскіх навук, ліпень 2002 г. - James Masters and Z Güngördü 2003 "Структураваная інтэграцыя крыніц ведаў: справаздача аб прагрэсе" У: Інтэграцыя мультыагентных сістэм з інтэнсіўнымі ведамі Кембрыдж, штат Масачусэтс, ЗША, 2003 г. - Сінція Матушэк і інш. 2006 "Уводзіны ў сінтаксіс і змест цыкла" У: Proc вясновага сімпозіума AAAI 2006 па фарміраванні і абагульненні асноўных ведаў і яго прымянення да прадстаўлення ведаў і адказаў на пытанні Stanford, 2006
Сінція Матушак і інш. 2005 "Пошук здаровага сэнсу: Населенне цыкла з Інтэрнэту" У: Матэрыялы ХХ Нацыянальнай канферэнцыі па штучным інтэлекце ў Пітсбургу, Пенсільванія, ліпень 2005 г.
Том О'Хара і інш, 2003 "Выяўленне крытэрыяў для масавага назоўніка лексічных адлюстраванняў выкарыстанне базы ведаў пра веласіпедызм і яе пашырэнне на WordNet "У: Працы Пятага міжнароднага семінара па вылічальнай семантыцы, Цілбург, 2003 г., Фабрыцыа Морбіні і Ленхарт Шуберт 2009" Ацэнка EPILOG: разумнейшая для эпізадычнай логікі "Рочэстэрскага універсітэта, Commonsense Канферэнцыя '09 апісвае бібліятэку Cyc пра ~ 1600 'Здароўе тэстаў'
Кэці Пантон і інш 2002 г. "Фарміраванне ведаў і дыялог з выкарыстаннем набору інструментаў KRAKEN" У: Васямнаццатая Нацыянальная канферэнцыя па штучным інтэлекце ў Эдмантане, Канада, 2002 г.
Deepak Ramachandran P Рэйган і ўзмацняльнік; K Goolsbey 2005 "Першы ўпарадкаваны ResearchCyc: экспрэсіўнасць і эфектыўнасць у анталогіі здаровага сэнсу" У: Даклады з семінару AAAI па кантэкстах і анталогіі: тэорыя, практыка і прымяненне Пітсбург, Пенсільванія, ліпень 2005 г.
Стывен Рыд і Д Ленат 2002 "Адлюстраванне анталогіі ў цыкл" У: Семінар-канферэнцыя AAAI 2002 па онтологіях для семантычнага Web Edmonton, Канада, ліпень 2002 г.
Бенджамін Родэ і інш. 2005 "Да мадэлі аднаўлення ўзораў у рэляцыйных дадзеных" У: Матэрыялы 2005 Міжнародная канферэнцыя па аналізе выведкі Маклін, штат Вірджынія, май 2005 г.
Дэйв Шнайдэр і інш. 2005 г. "Збор і кіраванне фактамі аналізу інтэлекту" У: Матэрыялы Міжнароднай канферэнцыі 2005 г. па аналізе выведкі "Маклін, штат Вірджынія, май 2005 г." Блэйк Шэпард і інш. 2005 г. "Падыход, заснаваны на ведах да сеткавай бяспекі: прымяненне Cyc ў галіне ацэнкі сеткавых рызык" У: Працы семнаццаці інавацыйных прыкладанняў штучнага інтэлекту. Энс Пітсбург, Пенсільванія, ліпень 2005 г., Нік Зігель і інш. 2004 г. "Архітэктуры агентаў: аб'яднанне моцных бакоў праграмнай інжынерыі і кагнітыўных сістэм" У артыкуле: Семінар AAAI па архітэктурах інтэлектуальных агентаў: аб'яднанне моцных бакоў праграмнай інжынерыі і кагнітыўных сістэм Тэхнічны даклад WS-04-07, стар 74–79 Менло Парк, Каліфорнія: AAAI Press, 2004
Нік Зігель і інш. 2005 г. Здабыццё гіпотэз і сведчанне для аналізу разведкі: прымяненне Нооскейпа Кікорпа "У матэрыялах Міжнароднай канферэнцыі 2005 года па Аналіз выведкі, Маклін, штат Вірджынія, май 2005 г. - Майкл Вітброк і інш 2002, "Інтэрактыўная сістэма дыялогу для набыцця ведаў на цыкле" У: Матэрыялы васемнаццатай міжнароднай сумеснай канферэнцыі па штучным інтэлекце Акапулька, Мексіка, 2003 г. - Майкл Вітброк і інш. 2004 "Аўтаматызаванае анатаванне OWL пры дапамозе вялікай базы ведаў" У: Нататкі пра семінар 2004 года семінара па разметцы ведаў і семантычнай анатацыі n на 3-й Міжнароднай семантычнай вэб-канферэнцыі ISWC2004, Хірасіма, Японія, лістапад 2004 г., стар. 71–80. Майкл Вітброк і інш. 2005 г. «Веды пачынаюць веды: Крокі да асімітаванага набыцця ведаў на цыкле» У: Даклады з вясновага сімпозіума AAAI 2005 Аб зборы ведаў ад добраахвотных супрацоўнікаў KCVC, стр. 99–105, Стэнфард, штат Каліфорнія, сакавік 2005 г.
Уільям Джарольд 2001 г. «Праверка інтэлекту ў буйных сістэмах, заснаваных на правілах, з агульным пачуццём» «Правяральная мадэль праверкі інтэлекту: дакументы з 2001 г. AAAI Сімпозіум "Тэхнічны даклад АААІ SS-01-04
Уільям Джарольд 2003 Выкарыстанне анталогіі для ацэнкі вялікай анталогіі, заснаванай на правілах: тэорыя і практыка Спецыяльная публікацыя NIST 1014 - Знешнія спасылкі на галоўную старонку Cycorp - Публікацыі ад Вэб-старонка Cycorp - Opencycorg ўключае ў сябе некалькі падручнікаў - researchcyccom - Фонд Cyc - Публічны доступ да вэб-канчатковых кропак OpenCyc праз вэб-браўзэр - Cyc на SourceForgenet, выпуск з адкрытым зыходным кодам выпуск верхняга ўзроўню анталогіі Cyc 10 створаны 14 ліпеня 2006 г.
OpenCyc C API
Што б ні здарылася з машынамі, якія думаюць 23 красавіка 2005 г., Новы навуковец
здаровы сэнс 15 красавіка 2006 г., Новы навуковец - Афіцыйны Cyc блог
Падручнікі па Cyc
v
e - Вылічальныя веды
Тэмы і канцэпцыі - Алфавіт чалавечай думкі - Аўтаматычны кантроль - Аўтаматызаванае разважанне
Веданне здаровага сэнсу
Разважанне аб здаровых сэнсах - Вылічальнасць - Фармальная сістэма - Рухавік высновы - База ведаў - Сістэмы на аснове ведаў - Інжынірынг ведаў - Здабыча ведаў
Прадстаўніцтва ведаў > Поиск знаний
Класіфікацыя бібліятэк
Логічнае праграмаванне
Анталогія
Асабістая база ведаў
Адказ на пытанні
Семантычны разведвальнік
Прапановы і рэалізацыі
Zairja
Ars Magna 1300 - Нарыс рэальнага персанажа і філасофскай мовы 1688
Калькуляцыя вылічэння і ўзмацняльніка; Characteristica Universalis 1700 - дзесятковая класіфікацыя Дьюі 1876 - Begriffsschrift 1879 - Mundaneum 1910 - Лагічны атамізм, 1918 - Трактат Logico-Philosophicus 1921 - Праграма Гільберта 1920-х гадоў - Тэарэма пра няпоўнасць 1931 г. - Свет Brain 1938 - Memex 1945 - General Problem Solver 1959 - Prolog 1972 - Cyc 1984 - Semantic Web 2001 - Evi 2007 - Wolfram Alpha 2009 - Watson 2011 - Siri 2011
Графік ведаў 2012 - Вікідата 2012 - Кортана 2014 - Viv 2016 - Мастацкая літаратура - Падарожжы "Двигатель Гулливер", 1726 - Джо "Логічны Джо", 1946
Бібліятэкар, снежная катастрофа, 1992 г. - Д-р Ноў Ш. Штучны інтэлект, 2001 г. - Уотэрхаус Барочны цыкл, 2003 г. - Глядзіце таксама: Лагічныя машыны ў мастацкай літаратуры і спіс выдуманых камп'ютэраў


Cyc

Random Posts

B♭ (musical note)

B♭ (musical note)

B♭ B-flat; also called si bémol is the eleventh step of the Western chromatic scale starting from C ...
Fourth dimension in art

Fourth dimension in art

New possibilities opened up by the concept of four-dimensional space and difficulties involved in tr...
Holt Renfrew

Holt Renfrew

Holt, Renfrew & Co, Limited, commonly known as Holt Renfrew or Holt's,1 is a chain of high-end C...
Later Silla

Later Silla

Later Silla 668–935, Hangul: 후신라; Hanja: 後新羅; RR: Hushila, Korean pronunciation: ...