істина або брехня. Наприклад # $ Siblings (нащадки одного батька) є відношенням споріднення, істинним тільки в тому випадку, коли два його аргументу є братами або сестрами. За угодою, константи функцій істинності починаються з літери в нижньому регістрі. Функції істинності піддаються разбиению на логічні зв'язки (такі як # $ and, # $ Or, # $ not, # $ implies), квантори (# $ forAll, # $ thereExists, і т. д.) і предикати.
В· Функцій Functions , які утворюють нові терми з даних. Наприклад, якщо передати функції # $ FruitFn в якості аргументу тип (або колекцію) рослин, поверне колекцію їх фруктів. За угодою, імена Констаном функцій починаються з літери у верхньому регістрі і закінчуються рядком В«FnВ».
Найбільш важливими предикатами є # $ isa і # $ genls. Перший є твердженням що якийсь елемент є екземпляром якоїсь колекції, а другий що колекція є підколекція інший колекції. Факти про концепції декларуються з допомогою особливих висловлювань мови CycL. Предикати записуються в дужках перед своїми аргументами:
(# $ isa # $ BillClinton # $ UnitedStatesPresident)
означає що В«Білл Клінтон входить до сукупність президентів СШАВ», а висловлювання
(# $ genls # $ Tree-ThePlant # $ Plant)
читається як В«Усі дерева є рослинамиВ». p> (# $ capitalCity # $ France # $ Paris)
означає: В«Париж столиця ФранціїВ». br/>
Висловлювання також можуть містити змінні, рядки починаються зі знака В«?В». Ці висловлювання називаються В«правиламиВ». Одне з найважливіших правил, що відносяться до предикату # $ isa читається:
(# $ implies
(# $ and
(# $ isa? OBJ? SUBSET)
(# $ genls? SUBSET? SUPERSET) )
(# $ isa? OBJ? SUPERSET))
що означає В«Якщо OBJ є екземпляром колекції SUBSET, а SUBSET у свою чергу є підколекція SUPERSET тоді також OBJ є екземпляром колекції SUPERSET В». Інший типовий приклад:
(# $ relationAllExists # $ biologicalMother # $ ChordataPhylum # $ FemaleAnimal)
що означає що будь-який екземпляр колекції # $ ChordataPhylum (тобто будь хордова) пов'язаний з самкою тваринного (примірником # $ FemaleAnimal), яка є його матір'ю (Що описується предикатом # $ BiologicalMother). p> База знань Cyc розділена на мікротеоріі (Mt), колекції концепцій і фактів що належать одній конкретній галузі знань. На відміну від повної бази знань, всяка мікротеорія повинна бути вільною від протиріч. Всяка мікротеорія має назву, яка є звичайною константою; за угодою константи мікротеорій містять рядок В«MtВ». Приклад - # $ MathMt, мікротеорія містить математичні знання. Мікротеоріі можуть успадковуватися одна від інший і організовані в ієрархію: однією із спеціалізацій # $ MathMt є # $ GeometryGMt - мікротеорія про геометрії. h2> OpenCyc
Остання версія OpenCyc, 1.0 була випущена в липні 2006 року. OpenCyc 1.0 включає в себе повну онтологію Cyc містить сотні тисяч виразів, мільйони тверджень, зв'язують терми між собою. База знань містить 470000 концепцій і 306000 фактів і її можна переглянути на сайті OpenCyc. Перша версія OpenCyc була випущена в травні 2001 року і містила тільки 6000 концепия і 60000 фактів. База знань випущена під ліцензією Apache. Cycorp має намір випускати OpenCyc під паралельними, менш жорсткими ліцензіями щоб задовольнити потреби своїх користувачів. Інтерпретатор CycL і SubL (програма, яка дозволяє вам переглядати і змінювати базу даних і робити висновки) випущена безкоштовно, але тільки в двійковому вигляді, без вихідних текстів. Вона працює як під GNU/Linux так і під Microsoft Windows. h2> ResearchCyc
У липні 2006 року Cycorp випустила ResearchCyc 1.0, безкоштовну (але з закритими ісходникамі) версію Cyc призначену для дослідницького співтовариства. (ResearchCyc знаходився в бета версії протягом усього 2004 року, а випущена в бета-тестування вона була в лютому 2005.) На додаток до таксономічної інформації з OpenCyc, ResearchCyc включає значно більше семантичних знань (тобто додаткові факти) про концепції в своїй базі знань, і включає великий лексикон, інструменти для граматичного розбору та генерації Англійської мови, написані на мові Java інтерфейси для редагування знань і створення запитів до бази.
Cycorp публічно висловила свій намір випустити всі терми і таксономічні взаємозв'язку, що містяться в ResearchCyc, як частина OpenCyc і це було зроблено у версії 1.0. Одна із зазначених цілей - створити повністю вільний і необмежений семантичний словник для використання в Semantic Web. Таксономія OpenCyc доступна в форматі Owl на сайті проекту
Критика проекту Cyc
Cyc описують як В«одне з найбільш суперечливих починань в історії штучного інтелекту В»(Бертино та ін стор 275), так що він неминуче отримав свою частку критики.
В· Надмірна складність системи - без сумніву необхідна чинності енциклопедичних амбіцій - і відповідно складність...
