Thu . 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 000 концепцій та 60 000 фактів База знань випущена під ліцензією Apache License Cycorp заявив про намір випустити OpenCyc під паралельними, необмеженими ліцензіями для задоволення потреб своїх користувачів Інтерпретатор CycL і SubL - програма, яка дозволяє також переглядати та редагувати базу даних як робити висновки, випускається безкоштовно, але лише як двійковий, без вихідного коду. Він доступний для Linux та Microsoft Windows Проект Texai з відкритим кодом випустив вміст, сумісний з 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 Agent Markup Language - DBpedia - Комп'ютер п'ятого покоління - Freebase - Mindpixel
Нескінченне вивчення мови: Відкритий розум, здоровий глузд - Семантична веб-сторінка - Рекомендована верхньооб'єднана онтологія - SHRDLU - Істинне знання - UMBEL - Wolfram Alpha
YAGO
Посилання
^ Ленат, Дуглас "Спадщина Хела: Комп'ютер 2001 як мрія та реальність З 2001 по 2001 рік: здоровий глузд і розум HAL" Cycorp, Inc В архіві з оригіналу 2006-10-06 Отримано 2006-09-26
^ Редактори книг "Час життя" 1986 р. Розуміння комп'ютерів: Штучний інтелект Амстердам: Книги про час життя стор. 84 ISBN 0-7054-0915-5
^ "Природна мова Цика"
^ "Cyc R & amp; D "Отримано 2009-02-19
^" Інтеграція Cyc and Wikipedia: Folksonomy відповідає чітко визначеному здоровому глузду "PDF завантажено 2013-05-10
^" cyc Inference engine "Добуто 2015-06-04
^ Проект Texai з відкритим кодом
^ Проект Texai SourceForge файли ^ ^ "Комплексна база знань про тероризм у Cyc" CiteSeerX 1011709247 Відсутня або порожня | url = help; | дата доступу = потрібна | url = довідка | ^ "DBpedia та Open-Cyc" Отримано 2009-06-09
^ Циклопедія Зразки циклу виділення циклу виділено циклом для сім'ї
^ http: // wwww3org / 2001 / sw / sweo / public / UseCases / ClevelandClinic /
^ http: // wwwaaaiorg / ojs / indexphp / aimagazine / article / viewArticle / 2299
^ Bertino, Piero & amp; Zarri 2001, p 275
^ Рамачандран, Діпак "Дослідницький цикл першого впорядкування: виразність та ефективність у базі знань загального чуття" PDF Отримано 26 травня 2013 року
^ Домінгос, Педро 2015 Алгоритм майстра: як квест для Кінцева машина навчання перетворить наш світ ISBN 978-0465065707 - подальше читання - Алан Беласко та ін. 2004 "Ефективне представлення прогалин у знаннях" В: D Karagiannis, U Reimer Eds: Практичні аспекти управління знаннями, Праці 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 р.
douglas foxvog 2010, "Cyc" В: Теорія та застосування онтології: Комп'ютерні програми ", Спрингер, Фріц Леманн і d foxvog 1998," Поставлення плоті на кістки: проблеми, що виникають " e у створенні анатомічних баз знань із багатими реляційними структурами "В: Обмін знаннями в біологічних та медичних системах, заснованих на знаннях, АААІ. Дуглас Ленат та Р. В. Гуха 1990. Побудова великих систем на основі знань: представлення та висновок у проекті Cyc" Аддісон-Уеслі ISBN 0-201-51752-3
James Masters 2002 "Структурована інтеграція джерел знань та їх застосування до інформаційного синтезу" В: Праці П'ятої міжнародної конференції з інформаційного синтезу Аннаполіс, доктор медицини, липень 2002 р. - James Masters and Z Güngördü 2003 "Структурована інтеграція джерел знань: звіт про прогрес" в: Інтеграція багатоагентних систем, що інтенсивно знаються, Кембридж, штат Массачусетс, США, 2003 р. - Сінтія Матушек та ін., 2006 "Вступ до синтаксису та змісту циклу" В: Проц. Весняного симпозіуму AAAI 2006 року щодо формування та складання базових знань та його застосувань для представлення знань та питань, що відповідають на питання Стенфорд, 2006 р.
Сінтія Матушек та ін. 2005 "Пошук здорового глузду: Населення циклу з Інтернету" В: Матеріали ХХ Національної конференції з питань штучного інтелекту Пітсбург, Пенсильванія, липень 2005 р.
Том О'Хара та ін. 2003 р. "Подання критеріїв масових іменних лексичних відображень використання бази знань Cyc та її поширення на WordNet "В: Праці П'ятого міжнародного семінару з обчислювальної семантики Тільбург, 2003 р. - Фабрізіо Морбіні та Ленхарт Шуберт 2009" Оцінка EPILOG: швидше для епізодичної логіки "Рочестерського університету, Консенсенс '09 Конференція описує бібліотеку Cyc ~ 1600 «Тести здорового глузду» - Кеті Пантон та ін 2002 «Формування знань та діалог за допомогою набору інструментів KRAKEN»: Вісімнадцята Національна конференція з питань штучного інтелекту Едмонтон, Канада, 2002 р. - Deepak Ramachandran P Рейган & amp; K Goolsbey 2005 "Перший упорядкований ResearchCyc: експресивність та ефективність в онтології здорового глузду" У: Доповіді з семінару AAAI з контекстів та онтологій: теорія, практика та застосування Піттсбург, Пенсильванія, липень 2005 р.
Стівен Рід і Д Ленат 2002 "Зображення онтологій у цикл" В: Семінар конференції AAAI 2002 з онтології для семантичного веб-Едмонтона, Канада, липень 2002 р.
Бенджамін Роде та ін. 2005 "Назустріч моделі відновлення візерунків у реляційних даних" в: Матеріали 2005 року Міжнародна конференція з аналізу розвідки Маклін, штат Вірджинія, травень 2005 р.
Дейв Шнайдер та ін 2005 р. "Збір та управління фактами аналізу розвідки" В: Матеріали Міжнародної конференції з аналізу розвідки 2005 року "Маклін, штат Вірджинія, травень 2005 р." Блейк Шепард та ін 2005 "Підхід на основі знань до мережевої безпеки: застосування циклу в галузі оцінки мережевих ризиків" В: Праці сімнадцятої інноваційної програми штучного інтелекту Пітсбург, Пенсильванія, липень 2005 року. Nick Siegel et al 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 р.
William Jarrold 2001 «Валідація інтелекту в великих системах, заснованих на правилах із здоровим глуздом» «Модельна перевірка інтелекту: Документи з AAAI 2001 року Симпозіум "Технічний звіт AAAI SS-01-04" - William Jarrold 2003 Використання онтології для оцінки великої онтології на основі правил: теорія та практика Спеціальна публікація NIST 1014 - Зовнішні посилання - Домашня сторінка Cycorp - Публікації від Веб-сторінка Cycorp - Opencycorg включає декілька навчальних посібників - researchcyccom - Фонд Cyc - Публічний доступ до веб-кінцевих точок OpenCyc через веб-браузер
Cyc on SourceForgenet, випуск з відкритим кодом випуск вертологічного Cyc онтології 10 створений 14 липня 2006 р. - OpenCyc C API - Що б не трапилось з машинами, які думають 23 квітня 2005 р., New Scientist
здоровий глузд 15 квітня 2006 р., New Scientist
Official Cyc блог - Відеоуроки по Cyc
v
e - Обчислювальні знання - Теми та концепції - Алфавіт людської думки - Авторитетний контроль - Автоматизовані міркування
Знання здорового глузду - Разум з розумом - Розрахунковість - Формальна система - Двигун виводу - База знань - Системи на основі знань - Інженерія знань - Витяг знань - Представлення знань
Пошук знань - Бібліотечна класифікація - Логічне програмування - Онтологія - База персональних знань - Відповіді на запитання - Семантична перевірка - Пропозиції та реалізація - Zairja
Ars Magna 1300 - Нарис реального персонажа та філософської мови 1688
Calculus ratiocinator & amp; Characteristica Universalis 1700 - Десяткова класифікація Дьюї 1876 - Begriffsschrift 1879 - Mundaneum 1910 - Логічний атомізм 1918 - Tractatus 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 Графік знань 2012 - Вікідата 2012 - Кортана 2014 - Viv 2016 - У художній літературі - Подорожі Двигуна Гуллівера, 1726 - Джо "Логічний Джо, що називається", 1946
Бібліотекарський сніговий крах, 1992 р. Д-р Знай А.І. Штучний інтелект, 2001 р. - Уотерхаус Бароковий цикл, 2003 рік.


Cyc

Random Posts

Ralph Neville, 2nd Earl of Westmorland

Ralph Neville, 2nd Earl of Westmorland

Ralph Neville, 2nd Earl of Westmorland 4 April 1406 – 3 November 1484 was an English peer Content...
Mamprusi language

Mamprusi language

The Mamprusi language, Mampruli Mampelle, Ŋmampulli, is a Gur language spoken in northern Ghana by t...
Singapore Changi Airport

Singapore Changi Airport

Singapore Changi Airport IATA: SIN, ICAO: WSSS, or simply Changi Airport, is the primary civili...
Christian Siriano

Christian Siriano

Christian Siriano born November 18, 1985 is an American fashion designer and member of the Council o...