Кіріспе
Жасанды интеллект жобасы
CycL – компьютерлік ғылым және жасанды интеллект саласындағы онтология тілі. Раманатхан В. Гуха тілдің алғашқы нұсқаларын жасауға зор үлес қосты. CycL-дың MELD деп аталатын ұқсас нұсқасы бар. CycL-дың бастапқы нұсқасы фрейм тілі болған, бірақ қазіргі нұсқасы солай емес. Керісінше, ол классикалық бірінші реттік логикаға негізделген, модальдық операторлар мен жоғары реттік квантификация үшін кеңейтулермен жабдықталған декларативтік тіл. CycL, Cycorp компаниясынан қолжетімді Cyc Knowledge Base-те сақталған білімді көрсету үшін пайдаланылады. OpenCyc жүйесімен бірге шығарылған CycL тілінде жазылған бастапқы код, семантикалық желіні қолдау үшін оның тиімділігін арттыру мақсатында ашық лицензиямен таратылады.
Тұрақтылар
Cyc-тегі ұғым атаулары тұрақтылар деп аталады. Тұрақтылар "#$" таңбасынан басталады және регистрге сезімтал. Тұрақтылардың түрлері: #$BillClinton немесе #$France сияқты жеке тұлғалар. #$Tree ThePlant (барлық ағаштарды қамтитын) немесе #$EquivalenceRelation (барлық эквиваленттілік қатынастарын қамтитын) сияқты жиынтар. Жиынның мүшесі сол жиынның инстанциясы деп аталады. Бір немесе бірнеше басқа ұғымдарға қолданылып, дұрыс немесе бұрыс мәнін қайтаратын шындық функциялары. Мысалы, #$siblings – бауырластық қатынасы, егер екі аргумент бауырлас болса, дұрыс. Конвенция бойынша, шындық функциясы тұрақтылары кіші әріппен басталады. Шындық функцияларын логикалық операторларға (мысалы, #$and, #$or, #$not, #$implies), кванторларға (#$forAll, #$thereExists және т.б.) және предикаттарға бөлуге болады. Сондай-ақ, берілгендерден жаңа терминдерді құратын функциялар бар. Мысалы, #$FruitFn өсімдік түрін (немесе жиынтығын) сипаттаушы аргумент берілген кезде оның жемістерінің жиынтығын қайтарады. Функция тұрақтылары үлкен әріппен басталып, "Fn" қосымшасымен аяқталады.
Individual items known as individuals, such as #$BillClinton or #$France. Collections, such as #$Tree ThePlant (containing all trees) or #$EquivalenceRelation (containing all equivalence relations). A member of a collection is called an instance of that collection. Truth Functions which can be applied to one or more other concepts and return either true or false. For example, #$siblings is the sibling relationship, true if the two arguments are siblings. By convention, truth function constants start with a lower case letter. Truth functions may be broken down into logical connectives (such as #$and, #$or, #$not, #$implies), quantifiers (#$forAll, #$thereExists, etc.) and predicates. Functions, which produce new terms from given ones. For example, #$FruitFn, when provided with an argument describing a type (or collection) of plants, will return the collection of its fruits. By convention, function constants start with an upper case letter and end with the string "Fn".
Микротеориялар
Білім базасы микротеорияларға (МТ) бөлінеді, олар әдетте білімнің нақты бір саласына қатысты түсініктер мен фактілер жиынтығы болып табылады. Жалпы білім базасынан өзгеше, әрбір микротеорияда қарама-қайшылықтар болмауы керек. Әрбір микротеорияның атауы бар, ол тұрақты мән; микротеория тұрақтылары конвенция бойынша "Mt" жолын қамтиды. Мысалы, #$MathMt – математикалық білімді қамтитын микротеория. Микротеориялар бір-бірінен мұрагерлікке өтуі мүмкін және иерархиялық түрде ұйымдастырылған: #$MathMt-нің бір саласы – #$GeometryGMt, геометрия туралы микротеория.
one specialization of #$MathMt is #$GeometryGMt, the microtheory about geometry.