KL ONE: Семантикалық желілер мен фреймдер негізіндегі білімді ұсыну жүйесі
KL-ONE
KL-ONE: семантикалық желілер мен фреймдер негізіндегі білімді ұсыну жүйесі. Фрейм тілі, тұжырымдамалық ақпаратты ұйымдастыру, автоматты қорытынды шығару.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
KL ONE (айтылуы "кей элл уон") – семантикалық желілер және фреймдер дәстүріндегі білімді ұсыну жүйесі; яғни, ол фрейм тілі. Бұл жүйе семантикалық желілердегі мағыналық белгісіздікті жоюға және түсініктерді құрылымдық мұрагерлік желісі ретінде нақты көрсетуге бағытталған.
KL ONE (pronounced "kay ell won") is a knowledge representation system in the tradition of semantic networks and frames; that is, it is a frame language. The system is an attempt to overcome semantic indistinctness in semantic network representations and to explicitly represent conceptual information as a structured inheritance network.
Шолу
KL ONE сияқты жүйелердің толық отбасы бар. KL ONE жүйесі бастаған инновациялардың бірі – дедуктивті жіктегіштің, яғни автоматтандырылған қорыту механизмінің қолданылуы. Бұл механизм фреймдік онтологияны тексеруге және салалық сарапшы ұсынған бастапқы ақпарат негізінде онтология туралы жаңа ақпаратты қорытуға мүмкіндік береді. KL ONE жүйесіндегі фреймдер концепттер деп аталады. Олар субсумпция қатынастары арқылы иерархия құрайды; KL ONE терминологиясында суперкласс өзінің субклассдарын қамтиды делінеді. Көптеген мұрагерлікке рұқсат етіледі. Шындығында, концепт жақсы қалыптасқан деп есептелуі үшін, ол бірнеше басқа концепттен мұрагерлік еткен болуы керек. Барлық концепттер, ең жоғарғы концепттен (әдетте THING) басқа, кем дегенде бір суперклассқа ие болуы тиіс. KL ONE жүйесінде сипаттамалар концепттердің екі негізгі класына бөлінеді: бастапқы және анықталған. Бастапқы концепттер – толық анықталмаған салалық концепттер. Яғни, концепттың барлық қасиеттері берілген жағдайда да, оны жіктеу үшін жеткіліксіз. Оларды толық емес анықтамалар деп қарастыруға болады. Осы көзқарас бойынша, анықталған концепттер толық анықтамалар болып табылады. Концепттың қасиеттері берілген жағдайда, олар концептті жіктеу үшін қажетті және жеткілікті шарттар болып табылады. Слот концепті рөлдер деп аталады, ал рөлдердің мәндері рөл толтырушылар деп аталады. Әртүрлі жағдайларда қолданылатын рөлдердің бірнеше түрі бар. Ең көп таралған және маңызды рөл түрі – рөлді бірнеше толтырушымен толтыру мүмкіндігін қамтитын жалпы RoleSet.
There is a whole family of KL ONE like systems. One of the innovations that KL ONE initiated was the use of a deductive classifier, an automated reasoning engine that can validate a frame ontology and deduce new information about the ontology based on the initial information provided by a domain expert. Frames in KL ONE are called concepts. These form hierarchies using subsume relations; in the KL ONE terminology a super class is said to subsume its subclasses. Multiple inheritance is allowed. Actually a concept is said to be well formed only if it inherits from more than one other concept. All concepts, except the top concept (usually THING), must have at least one super class. In KL ONE descriptions are separated into two basic classes of concepts: primitive and defined. Primitives are domain concepts that are not fully defined. This means that given all the properties of a concept, this is not sufficient to classify it. They may also be viewed as incomplete definitions. Using the same view, defined concepts are complete definitions. Given the properties of a concept, these are necessary and sufficient conditions to classify the concept. The slot concept is called roles and the values of the roles are role fillers. There are several different types of roles to be used in different situations. The most common and important role type is the generic RoleSet that captures the fact that the role may be filled with more than one filler.