BiLİKLƏRİn təQDİm ediLMƏSİNİn produksiyali modeli

Semantik şəbəkələrin çatışmazlıqları:
- şəbəkə modeli mövzu sahəsinin strukturu haqqında aydın bir fikir vermir (daha doğrusu, ehtiva etmir), buna görə də belə bir modelin formalaşması və dəyişdirilməsi çətindir;
- şəbəkə modelləri passiv strukturlardır, onların işlənməsi üçün xüsusi formal nəticə çıxarma aparatı tələb olunur;
- semantik şəbəkədə həll yolunun tapılması problemi sorğunu əks etdirən alt şəbəkəyə uyğun olan şəbəkə fraqmentinin tapılması vəzifəsinə endirilir. Bu da öz növbəsində semantik şəbəkələrdə həll yolunu tapmağı çətinləşdirir;
- real mürəkkəblik səviyyəli sistemlərin təsvirində biliyin təsviri, istifadəsi və dəyişdirilməsi, xüsusən də onun anlayışları arasında çoxsaylı əlaqələr olduqda zəhmət tələb edən bir prosedura çevrilir.

Konseptual qraflar

Təbii dilin semantikasını modelləşdirən qraf strukturlarının sonrakı inkişafı Con Sova (1984) tərəfindən təklif olunan konseptual qraflardır.
Konseptual qraf iki növ təpədən ibarət ikitərəfli istiqamətləndirilmiş qrafdır: anlayışlar (ing. concept) və konseptual əlaqələr (ing. conceptual relation). Yada salaq ki, ikitərəfli qraf, təpələr dəsti elə iki hissəyə bölünə bilən qrafdır ki, qrafın hər bir tili bir hissədən bəzi təpəni digər hissənin bəzi təpəsi ilə birləşdirsin, yəni eyni hissədən iki təpəni birləşdirən til yoxdur.

5. ikitərəfli qraf
Konseptual qraflarda anlayışlar düzbucaqlılar, aralarındakı əlaqələr isə ellipslər şəklində göstərilir. Semantik şəbəkələrdən fərqli olaraq, anlayışlar arasındakı əlaqə adlandırılmış qraf qövsü ilə deyil, iki anlayışı etiketsiz qövslərlə birləşdirən müvafiq tipli təpə ilə göstərilir. Yuxarıdakı nümunə " Cavid stulu yapışqanla bərkitdi" (bax. Şəkil 5) konseptual qraf şəklində belə görünəcəkdir.

Konseptual qraf nümunəsi
İlk semantik şəbəkələrin müəllifləri "sinf - alt sinif" ("çoxluq" - "alt çoxluq") və "sinif" - "nüsxə" ("dəst" - " element " forması münasibətlərinin aydın semantik ayrılmasına lazımi diqqət yetirməmişlər) . Məsələn, bir sinfin ("məməlilər") xassələrini və davranışlarını xarakterizə edən münasibətlər, alt sinifin ("it") münasibətləri kimi, müəyyən bir konkret nüsxənin ("Alabaş") münasibətlərindən fərqlənə bilər. Semantik qraflarda anlayışların taksonomiyasının (iyerarxiyasının) qrafik və ya simvolik yerləşdirilməsi təmin edilmir. Konseptual qraflarda konsepti bildirən təpənin içərisində onun növünün və nümunəsinin adlarını təyin edə bilərsiniz. Məsələn, "şəxs: Cavid", "məməli: it" və ya "it: Tuzik".

Anonim nüsxələrin istifadəsinə misal
Konkret, lakin adsız (anonim) nümunələri təsvir edərkən "#" işarəsindən istifadə olunur. Məsələn, "şəxs : #1234" və ya "it : #4321". Anonim nümunələrin istifadəsi mövzu sahəsinin (bilik bazası) konseptual qrafiklər toplusu kimi təsvirini və təqdimatını sadələşdirməyə imkan verir. Xüsusilə, qara rəngli üç it "Tuzik", "Muxtar" və "Baykal" bir deyil, iki qrafiklə təsvir edilə bilər.
Nümunəyə adla istinad etmək əvəzinə, növün istənilən nümunəsini göstərmək üçün "*" işarəsindən istifadə edə bilərsiniz. Beləliklə, "it" və "it : *" anlayışlarının adları ekvivalentdir.
Ümumiləşdirici marker "*" ilə yanaşı, qrafiklərin daha sadələşdirilmiş və vizual göstərilməsi üçün dəyişənlərdən istifadə etməyə icazə verilir. Xüsusilə, oxların kəsişmələrini və fırlanmalarını minimuma endirmək üçün. Məsələn, "İt qulağını pəncəsi ilə qaşıyır" faktı belə görünə bilər.

Dəyişən istifadə nümunəsi
Daha əvvəl qeyd edildiyi kimi, bilik bazası konseptual qrafiklər toplusudur. Hər bir fərdi qrafik anlayışlar arasında assosiativ əlaqələr vasitəsilə təsvir olunan mövzu sahəsindən bir faktı (bəyanat, qayda) təmsil edir. Tip iyerarxiyaları konseptual qrafik nəzəriyyəsində biliyin strukturlaşdırılmasının ikinci əsas mexanizmini - anlayışların ümumiləşdirilməsini təmsil etmək üçün istifadə olunur. Ayrı bir iyerarxiya çoxlu miras daxil olmaqla, anlayışlar arasında taksonomik əlaqələri (irsiyyət münasibətlərini) təsvir edən qəfəs kimi təqdim olunur. Tip iyerarxiyasını qəfəs kimi təqdim etmək üçün ona iki xüsusi növ daxildir:
- bütün növlər üçün supertip olan universal tip. "┬" işarəsi ilə göstərilir;
- bütün növlər üçün alt tip olan absurd tip. "┴" işarəsi ilə göstərilir.
Aşağıdakı misal bir növ iyerarxiyasının nümunəsidir

Həndəsi fiqurların növlərinin iyerarxiyasına nümunə
Tiplərin iyerarxiyası mövzu sahəsinin statik komponentini və birbaşa konseptual qrafikləri həm statik, həm də dinamik təsvir etməyə imkan verir.
Konseptual qrafik nəzəriyyəsi mövcud olanlar əsasında yeni qrafiklər yaratmağa imkan verən dörd növ əməliyyat təqdim edir. Bunlara daxildir:
- surət çıxarmaq - istənilən qrafikin dəqiq surətinin yaradılması;
- semantik ümumi təpə-konseptlərə malik olduqda iki qrafikin birinə birləşməsi. Şəkil 5.6-da göstərilən qrafiklər üçün birləşmənin nəticəsi belə görünür:

- məhdudiyyət - qrafikin qovşaq-konseptinin onun ixtisaslaşmasını ifadə edən başqa qovşaq-konsepsiya ilə əvəz edilməsi və ya tip adının yarımtipin (instansiyanın) adı ilə əvəz edilməsi. Şəkil 5.6-da göstərilən qrafiklər üçün əməliyyatın tətbiqi nümunəsi:

Şəkil 10.
"Limit" əməliyyatının tətbiqi nümunəsi
- sadələşdirmə - təkrarlanan anlayışların və ya əlaqələrin istisna edilməsi. Təkrarlanma çox vaxt birləşmə əməliyyatı nəticəsində baş verir. Şəkil 5.7-də göstərilən qrafik üçün əməliyyatın tətbiqi nümunəsi:

"Sadələşdirmə" əməliyyatının tətbiqi nümunəsi
Konseptual qrafiklər tək bəyanatda ifadə olunan domen anlayışları arasındakı əlaqələri müəyyən edə bilməklə yanaşı, ifadələr arasındakı əlaqələri ifadə edə bilir. Məsələn, cümlə: "Vasya hesab edir ki, Maşa dondurmanı sevir." Burada "təklif edir" "Vasya" mövzusu ilə "Maşa dondurmanı sevir" ifadəsi arasındakı əlaqədir. Bütün cümlə bəyanat (meta-bəyanat) haqqında ifadədir.
Konseptual qrafiklərin formalizmində anlayışların xüsusi sinfi fərqlənir - bəyanat (ingiliscə təklif). "İfadə" anlayışı metastatementləri müəyyən etməyə imkan verən bir və ya bir neçə konseptual qrafiki ehtiva edir. Vizual olaraq, "bəyanat" içərisində digər konseptual qrafiklərin yerləşdiyi düzbucaqlı şəklində ifadə edilir.

Meta ifadəsinin nümunəsi
Ən vizual və başa düşülən formada ifadələri qrafiklər şəklində göstərməkdən əlavə, onlar sözdə ifadə edilə bilər. xətti forma. Bu zaman anlayışlar kvadrat mötərizədə, münasibətlər isə dairəvi mötərizədə alınır. Məsələn, Şəkildə göstərilən qrafik. 5.12, xətti formada belə görünür:
[şəxs: Vasya] <– (agent) <– [var edir] –> (obyekt) –>
[[şəxs: Maşa] <– (agent) <– [like] –> (obyekt) –> [dondurma]].
Bir anlayışı və ya əlaqəni başqaları ilə birləşdirən ikidən çox qövs varsa, onlar "-" vasitəsilə siyahıya alınır. Məsələn, Şəkildəki qrafik üçün. 5.5 xətti forma
[Maşa] <– (agent) <– [gücləndirmək] –
–> (zaman) –> [keçmiş]
–> (obyekt) –> [stul]
–> (alət) –> [yapışqan].
Qrafikin konturları varsa, oxşar yanaşma istifadə olunur. Məsələn, Şəkildəki qrafik üçün. 5.11 xətti forma
[it : *X] –
<– (agent) <– [cızıqlar] –
–> (obyekt) –> [qulaq]
–> (alət) –> [pəncə]
<- (hissə) -
<– [qulaq]
<– [pəncə].
Konseptual qrafiklərin mətn-simvol təsvirinin başqa yolları da var. Xüsusilə, “ISO/IEC IS 24707:2007” beynəlxalq standartında. İnformasiya texnologiyası - Ümumi Məntiq (CL): məntiqə əsaslanan dillər ailəsi üçün çərçivə” CGIF dilini (Konseptual Qrafik Mübadilə Formatını) təsvir edir.