Bilik mühəndisliyi və biliklərin əldə edilməsi. Bilik Mühəndisliyi Bilik Təmsil Modelləri

Adətən yüksək səviyyəli insan təcrübəsi tələb edən mürəkkəb problemləri həll etmək üçün biliklərin kompüter sistemləri ilə inteqrasiyası ilə məşğul olan mühəndislik fənni:

biliklərin konfiqurasiyasının idarə edilməsi (mühasibat uçotu);
dəyişikliklərin idarə edilməsi (təkamül);
logistika (lazım olduqda axtarış və çatdırılma).

Yüksək səviyyədə bilik mühəndisliyi prosesi iki hissədən ibarətdir:

Bilik çıxarılması- “xam biliyin” mütəşəkkil biliyə çevrilməsi, maddi daşıyıcı (fayllar, sənədlər, kitablar) və ekspertlər (ekspertlər qrupları) ola bilən mənbələrindən biliklərin əldə edilməsi prosesi. Bu Bilik Mühəndisliyinin bir hissəsidir.
Biliyin həyata keçirilməsi- mütəşəkkil biliyin reallaşdırılan biliyə çevrilməsi, mütəşəkkil biliyin realizə çevrilməsi prosesi.

Bilik İdarəetmə Texnologiyaları

Aşağıdakı bilik idarəetmə texnologiyaları fərqlənir:

gizli biliklərlə işləmək(lazımi bilik) mütəxəssislərin fikrincə(əksər hallarda "biliklərin idarə edilməsi" haqqında danışarkən nəzərdə tutulanlardır). Koqnitoloq (rol):
- ekspertə ekspert sisteminin işləməsi üçün zəruri olan bilikləri müəyyən etməyə və strukturlaşdırmağa kömək edir, ekspertdən qeyri-rəsmi bilikləri çıxarır;
- verilmiş problem sahəsi üçün ən uyğun olan intellektual sistemi seçir və bu İS-də biliyin təmsil olunmasını müəyyən edir;
- ekspertin daxil etdiyi qaydalarda istifadə olunacaq standart funksiyaları seçir və proqramlaşdırır.
yazılı biliklərlə işləmək(“knowledge management” kompüterlərə də şamil edilir: korporativ biliklərin idarə edilməsi, Knowledge Management) – “tam mətn axtarışı”, “semantik axtarış”, “avtomatik annotasiya” üzərində vurğu.
1. NLP dataloji bir fən kimi (“forma üzrə iş”), dalğa texnikası, qavrayış üsulları, submodallıqlar, məkan işarələmə, kalibrləmə
2. web 2.0-dan istifadə (bloqlar və vikilər)
yazılı formal biliklərlə işləmək(bilik mühəndisliyi, bu da biliklərin idarə edilməsinə daxildir, lakin o qədər də inamlı deyil) - struktur verilənlər bazalarına, mühəndislik modellərinə, məlumatların inteqrasiyasına vurğu. Bilik mühəndisliyində əksər texnologiyalar “semantik şəbəkə” adlanan Husserl-Wittgenstein-Bunge yanaşmasını həyata keçirmək yolunu tutmuşdur ki, biliklər faktlarla təmsil olunur (və faktlar anlayışlar arasındakı əlaqələrdir). Bir sıra faktlardan kənar əlaqələr təpə anlayışlarını birləşdirən semantik şəbəkə yaranır (Bax Con F. Sowa). Biliklərin semantik formada saxlanması və istifadəsi ideyası, demək olar ki, üst-üstə düşməyən bir çox təcrübə icmaları tərəfindən həyata keçirilmişdir ki, bu da heç bir sözün eyni olmadığı, lakin çox sayda tətbiqin və standartların ortaya çıxması ilə nəticələnmişdir. ideoloji və texnoloji cəhətdən uyğundur.
1. Məlumatların Modelləşdirilməsi + Məlumatların İnteqrasiyası. Onlar böyük sənaye obyektinin tikintisi zamanı müxtəlif təchizatçıların çoxsaylı CAD sistemlərindən məlumatların birləşdirilməsi lazım olduqda istifadə olunur. Açar sözlər: ISO 15926, Gellish, ISO 10303. “Ontologiya” sözünün əvəzinə “məlumat modeli” deyirlər. : praktiki olaraq heç biri, bütün məlumat sorğuları. Hər kəs biliklə əlbəyaxa mübarizə aparır. Qrafik yoxdur, bütün XML, xüsusi saxlama formatları Hər bir fərdi CAD sistemində məlumat sxemləri. Bu yaxınlarda, məsələn, CYC-dən və (standartlaşdırılmış UMBEL ontologiyasına əsaslanaraq, RDF-də ifadə və HTTP vasitəsilə məlumatlara girişi təmin etmək, bax) heterojen məlumatların inteqrasiyasına yönəlmiş digər həllər ortaya çıxdı. ISO 15926-7 layihələri eyni şeyə gəlir: müəyyən ontologiya + semantik veb standartları.
2. Konsepsiya xəritəsi() Təhsil və yaradıcılıq işləri üçün (çox vaxt internet vasitəsilə əməkdaşlıq) istifadə olunur. Açar formatlar (hamısı XML-də): XCT 3.0, lakin yeməyə hazır Mövzu Xəritəsi və redaktə və nümayiş üçün daha çox. Bilik idarəetmə vasitələri: yaradıcı prosesdə iki iştirakçı tərəfindən çəkilmiş şəbəkələri birləşdirən qrafik ekran. Yaxın qohum MindMap-dır, burada ümumiyyətlə qrafik yox, gözəl çəkilmiş ağac var və əlaqələri adsızdır.
3. Konseptual Qrafiklər Süni intellekt, ekspert sistemləri, agent sistemləri və janrın digər klassikləri üzrə akademik tədqiqatlar üçün istifadə olunur. Onlar filosof və məntiqçi Pirs ("ağıllı indeksləşdirmə") əsərinə arxalanırlar, əsas şəxs Con F. Sovadır. Biliyin saxlanması üçün əsas format: üç sintaksis, əsas biri CGIF (XML). Bilik idarəetmə vasitələri: Ümumi Məntiq (və ya ISO ISO/IEC IS 24707:2007, ).
4. Mövzu xəritəsi Onlar Bilik İdarəetmə təşəbbüsləri üçün istifadə olunacaq və onlar kataloqçulardan (biblioqraflar) gəliblər. Standartlaşdırmanın böyük pərəstişkarları (bax), lakin diqqəti itirdilər (onlar Semantik Veb yanaşmalarına uduzduqları ümumi məlumat modelləşdirməsinə qaçılmaz şəkildə cəlb olunurlar). Biliyin saxlanması üçün əsas formatlar: ISO 13250, XTM 2.0, HyTM. Bilik idarəetmə vasitələri: mövzu xəritəsi mühərriki istifadə olunur (onlarla seçim), çünki TMAPI 2.0 standartlaşdırılıb. Bundan əlavə, mövzu xəritələri üçün məhdudiyyətləri müəyyən etmək üçün xüsusi standart - ISO/IEC FCD 19756 (TMCL) - finiş xəttinə çatdı və Mövzu Xəritə Sorğu Dili (ISO 18048 layihəsi) dayanmış kimi görünür.

17.2. Praktik biliklərin çıxarılması üsulları

17.3. Biliyin strukturlaşdırılması

İntellektual informasiya texnologiyalarının yaradılmasında əsas problem mütəxəssisin biliklərinin kompüter yaddaşında adekvat əks olunmasıdır. Bu, kompüter elmində yeni bir istiqamətin - bilik mühəndisliyinin inkişafına gətirib çıxardı ki, burada insan biliyi və onun kompüterdə rəsmiləşdirilmiş (informasiya) göstərilməsi arasında əlaqə müəyyən edilir. Bilik mühəndisliyi biliklərin əldə edilməsi, onun təhlili və intellektual sistemdə sonrakı tətbiqi üçün rəsmiləşdirilməsi ilə bağlı məsələləri öyrənir və hazırlayır.

Fəslin məqsədi– bilik mühəndisliyinin əsas nəzəri aspektləri haqqında ümumi məlumat vermək və bilik mühəndisi kimi işləməyin bəzi praktiki üsullarını təqdim etmək.

Bu fəsli öyrəndikdən sonra bilməlisiniz:

Ekspert sistemlərinin işlənib hazırlanması zamanı biliklərin əldə edilməsinə yanaşmalar

Biliyin axtarışında yaranan nəzəri problemlər

Bilik mühəndisi tərəfindən nəzərə alınmalı olan psixoloji və linqvistik amillərin xüsusiyyətləri

Bilik fəlsəfəsinin bilik mühəndisinin işinə təsiri

Bilik mənbəyi ilə işləyərkən bilik mühəndisi üsulları

Bilik çıxarma üsulları

Ekspert oyunlarının mahiyyəti

Mətnlərdən bilik çıxarma üsulları

Əldə edilmiş biliklərin strukturlaşdırılması

Fən sahəsinin konseptual və funksional strukturunun formalaşması

Bilik necə rəsmiləşdirilir və bilik bazası formalaşır?

17.1. Bilik əldə etməyin nəzəri aspektləri

Bilik əldə etmək üçün strategiyalar

Psixoloji aspekt

Dilçilik aspekti

Epistemoloji aspekt

BİLİK ƏLDƏ ETME STRATEGIYALARI

Bilik əldə etmək üçün bir neçə strategiya var. Ən ümumi:

alınması;

çıxarılması;

formalaşması.

Altında biliklərin mənimsənilməsi ekspert və xüsusi proqram arasında dialoq vasitəsilə biliklər bazasının avtomatlaşdırılmış qurulması metodunu başa düşür (bu halda biliklərin strukturu proqramda əvvəlcədən qurulur). Bu strategiya mövzu sahəsinin əhəmiyyətli ilkin öyrənilməsini tələb edir. Bilik əldə etmə sistemləri əslində sistem tərtibatçıları tərəfindən qoyulmuş strukturlara uyğun olaraq hazır bilik parçaları əldə edir. Bu vasitələrin əksəriyyəti xüsusi olaraq ciddi şəkildə müəyyən edilmiş mövzu sahəsi və biliklərin təqdim edilməsi modeli olan xüsusi ekspert sistemlərinə yönəldilmişdir, yəni. universal deyil. Məsələn, bilik əldə etmək üçün bütün vasitələrin əcdadına çevrilmiş TEIRESIAS sistemi, istehsaldan istifadə edərək tibbi diaqnostika sahəsində EMYCIN "qabığı" üzərində qurulmuş MYCIN sisteminin və ya onun törəmə filiallarının bilik bazasını doldurmaq üçün nəzərdə tutulmuşdur. model təmsil bilik.

Müddət bilik çıxarılması bilik mühəndisi ilə bilik mənbəyi arasında birbaşa canlı əlaqəyə aiddir. Müəlliflər bu termini bilik mühəndisi vasitəsilə ekspertin səriştəsinin ekspert sisteminin bilik bazasına köçürülməsi prosedurunun daha geniş və daha dəqiq ifadəli mənası kimi istifadə edirlər.

Müddət formalarıyuxarıbiliklərin mənimsənilməsiənənəvi olaraq biliklərin əldə edilməsi və öyrənilməsi üçün məlumatların təhlili üçün modellərin, metodların və alqoritmlərin hazırlanması ilə məşğul olan bilik mühəndisliyinin son dərəcə perspektivli və fəal inkişaf edən sahəsinə təyin edilmişdir. Bu sahəyə təlim nümunələrindən fərziyyələr yaratmaq üçün induktiv modellər, analogiya ilə öyrənmə və digər üsullar daxildir.

Beləliklə, ekspert sistemlərinin inkişafında biliklərin mənimsənilməsi mərhələsinin aparılması üçün üç strategiyanı ayırd edə bilərik (şək. 17.1).

düyü. 17.1. Bilik əldə etmək üçün üç strategiya

Ölkəmizdə ekspert sistemlərinin inkişafının indiki mərhələsində biliklərin çıxarılması strategiyası, görünür, ən aktualdır, çünki daxili proqram təminatı bazarında biliklərin əldə edilməsi və formalaşdırılması üçün praktiki olaraq heç bir sənaye sistemləri yoxdur.

Bilik çıxarılması- bu, ekspert və bilik mənbəyi arasında qarşılıqlı əlaqə prosedurudur, bunun nəticəsində qərar qəbul edərkən mütəxəssislərin əsaslandırma prosesi və mövzu sahəsi haqqında fikirlərinin strukturu aydın olur.

Hazırda ekspert sistemlərinin əksər tərtibatçıları qeyd edirlər ki, biliklərin çıxarılması prosesi sənaye sistemlərinin qurulmasında darboğaz olaraq qalır.

Biliyin çıxarılması prosesi uzun və əmək tutumlu bir prosedurdur ki, burada idrak psixologiyası, sistem analizi, riyazi məntiq və s.-də xüsusi biliklərlə silahlanmış bilik mühəndisi ekspertlərin istifadə etdiyi mövzu sahəsinin modelini yenidən yaratmalı olur. qərarlar. Çox vaxt, bu ağrılı prosedurdan qaçmaq istəyən ekspert sistemlərinin başlanğıc tərtibatçıları sual verirlər: bir mütəxəssis özündən bilik çıxara bilərmi? Bir çox səbəblərə görə bu arzuolunmazdır.

Birincisi, ekspertin biliklərinin çoxu çoxsaylı təcrübə qatlarının, mərhələlərinin nəticəsidir. Və tez-tez bunu bilmək A etməlidir IN, ekspert onun mülahizə zəncirinin, məsələn, daha uzun olduğunu başa düşmür İLƏ D, D  A, A IN, və ya A Q, Q  R, R  B.

İkincisi, qədimlərin bildiyi kimi (Platonun “Dialoqlarını” xatırlayın), təfəkkür dialoqdur. Buna görə də, bilik mühəndisi ilə ekspert arasındakı dialoq, biliklərin saxlanıldığı, qismən qeyri-şifahi xarakter daşıyan mütəxəssisin yaddaşının labirintlərini "açmağın" ən təbii formasıdır, yəni. söz şəklində deyil, məsələn, vizual obrazlar şəklində ifadə olunur. Məhz bilik mühəndisinə izahat prosesində ekspert bu bulanıq assosiativ şəkillərə aydın şifahi etiketlər qoyur, yəni. biliyi sözlə ifadə edir.

Üçüncüsü, ekspertin malik olduğu informasiyanın dərinliyinə və genişliyinə görə mövzu sahəsinin modelini yaratmaq daha çətindir. Həqiqi mövzu sahəsinin çoxsaylı səbəb-nəticə əlaqələri mürəkkəb bir sistem təşkil edir, ondan "skelet" və ya əsas quruluşu təcrid etmək bəzən sistematik metodologiyaya sahib olan analitik üçün daha əlçatan olur: İstənilən model sadələşdirmədir, və təfərrüatları daha az bilməklə sadələşdirmək daha asandır.

ətraflı təsvir olunur psixoloji, linqvistik, qnoseoloji: bilik çıxarılması xarakterini anlamaq üçün, biz bu prosedur (Şəkil 17.2) üç əsas aspektləri vurğulamaq.

düyü. 17.2. Biliyin Axtarışının Əsas Aspektləri

PSİXOLOJİ Aspekt

Biliyin axtarışı üçün ünsiyyət modeli

Biliyin çıxarılmasının müəyyən edilmiş üç aspektindən psixoloji görünür, əsas şeydir, çünki bilik mühəndisi (analitik) ilə əsas bilik mənbəyi - peşəkar ekspert arasında qarşılıqlı əlaqənin uğurunu və səmərəliliyini müəyyən edir. Biz psixoloji aspekti də vurğulayırıq, çünki biliklərin çıxarılması ən çox sistem tərtibatçıları arasında birbaşa ünsiyyət prosesində baş verir.

Ünsiyyət qurmaq istəyi və bacarığı bilik mühəndisinin peşəkarlıq dərəcəsini xarakterizə edə bilər.

Məlumdur ki, danışıq ünsiyyəti zamanı informasiya itkiləri böyükdür (şək. 17.3). Bu baxımdan biz psixoloji biliklərdən istifadə etməklə analitik və ekspert arasında ünsiyyətin informasiya məzmununun artırılması problemini nəzərdən keçirəcəyik.

düyü. 17.3.Ünsiyyət zamanı məlumat itkisi

Bilik əldə edərkən aşağıdakı struktur rabitə modelini təklif edə bilərik:

ünsiyyət iştirakçıları (tərəfdaşlar);

rabitə vasitələri (prosedur);

ünsiyyət predmeti (bilik).

Bu struktura uyğun olaraq, biliklərin çıxarılması zamanı yaranan psixoloji problemlərin üç “qatını” qeyd edəcəyik (Şəkil 17.4) və onları ardıcıl olaraq nəzərdən keçirəcəyik.

düyü. 17.4. Biliyin çıxarılmasının psixoloji aspektinin strukturu

əlaqə təbəqəsi

Demək olar ki, bütün psixoloqlar qeyd edirlər ki, istənilən kollektiv proses iştirakçılar qrupunda yaranan atmosferdən təsirlənir. Elə təcrübələr var ki, onların nəticələri danılmaz şəkildə komandadakı mehriban atmosferin nəticəyə qrup üzvlərinin fərdi qabiliyyətlərindən daha çox təsir etdiyini göstərir. İnkişaf komandasının rəqabətdən çox əməkdaşlıq əlaqələri inkişaf etdirməsi xüsusilə vacibdir. Əməkdaşlıq əməkdaşlıq mühiti, qarşılıqlı yardım, bir-birinin uğurlarına maraq, yəni. əxlaqi ünsiyyət səviyyəsi, rəqabət tipli münasibətlər üçün isə fərdilik və şəxsiyyətlərarası rəqabət mühiti (aşağı ünsiyyət səviyyəsi).

Təəssüf ki, 100% zəmanətlə ünsiyyətdə uyğunluğu proqnozlaşdırmaq mümkün deyil. Bununla belə, ünsiyyət iştirakçılarının bir sıra şəxsiyyət xüsusiyyətlərini, xarakterini və digər xüsusiyyətlərini müəyyən etmək mümkündür, şübhəsiz ki, prosedurun effektivliyinə təsir göstərir. Bu psixoloji nümunələrin biliyi bilik mühəndisinin bilik çıxarma mərhələsini uğurla həyata keçirməsi üçün lazım olan psixoloji mədəniyyətin bir hissəsidir:

mehribanlıq və dostluq;

Yumor hissi;

yaxşı yaddaş və diqqət;

müşahidə;

təxəyyül və təəssürat qabiliyyəti;

daha çox konsentrasiya və əzmkarlıq;

ünsiyyətcillik və bacarıq;

analitiklik;

cəlbedici görünüş və geyinmə tərzi;

özünə inam.

Prosedur təbəqəsi

Mütəxəssis (əlaqə təbəqəsi) ilə inam və əlaqə elmini müvəffəqiyyətlə mənimsəmiş bilik mühəndisi hələ də bu atmosferin faydalı təsirlərindən yararlanmağı bacarmalıdır. Prosessual təbəqənin problemləri biliklərin çıxarılması prosedurunun özünə aiddir. Təmas problemini həll etmək üçün çox az fikir və cazibədarlıq tələb olunur;

Prosedurun ümumi prinsipləri üzərində dayanaq.

Mütəxəssis ilə söhbət ən yaxşı şəkildə kiçik bir otaqda aparılır. İşıqlandırma, istilik, rahatlıq birbaşa əhvalınıza təsir edir. Çay və ya qəhvə dostluq atmosferi yaradacaq. Amerikalı psixoloq I. Atwater hesab edir ki, işgüzar ünsiyyət üçün ən əlverişli məsafə 1,2 ilə 3 m arasındadır. Minimum “rahat” məsafəni 0,7 - 0,8 m hesab etmək olar.

Öz düşüncənizi yenidən qurmaq asan iş deyil və buna görə də bir seansın müddəti adətən 1,5 - 2 saatdan çox deyil (məsələn, 10-dan 12 saata qədər) bu iki saatı seçmək daha yaxşıdır. saat). Məlumdur ki, söhbət zamanı tərəfdaşların qarşılıqlı yorğunluğu adətən 20 - 25 dəqiqədən sonra baş verir, buna görə də sessiyada fasilələr lazımdır.

Hər bilik mühəndisinin özünəməxsus danışıq tərzi var. Bəziləri tez danışır, bəziləri yavaş danışır; bəziləri yüksək səslidir, bəziləri sakitdir və s. Söhbət tərzini dəyişdirmək demək olar ki, mümkün deyil - bu, erkən uşaqlıqda bir insanda kök salmışdır. Bununla belə, biliklərin çıxarılması peşəkar söhbətdir və onun uğuruna bilik mühəndisinin danışdığı ifadələrin uzunluğu da təsir edir.

Bu faktı amerikalı alimlər - dilçi İnqve və psixoloq Miller müəyyən ediblər. Məlum oldu ki, insan 7 plus və ya mənfi 2 söz dərinliyi (və ya uzunluğu) olan cümlələri ən yaxşı qavrayır. Bu rəqəm (7+2) Yngve-Miller nömrəsi adlanır. Onu nitqin “danışıq dili”nin ölçüsü hesab etmək olar.

Biliyin çıxarılması prosedurunu düzəltməyin zəruriliyinə heç kim şübhə etmir. Sual yaranır: bu hansı formada edilməlidir? Nəticələri qeyd etməyin üç yolu var:

söhbət zamanı bilavasitə kağız üzərində qeyd etmək (dezavantajlar - bu, tez-tez söhbətə mane olur, əlavə olaraq, stenoqrafiya bacarığınız olsa belə, hər şeyi yazmağa vaxt tapmaq çətindir);

analitikə sessiyanın bütün gedişatını və onun səhvlərini təhlil etməyə kömək edən lent yazısı (dezavantaj - ekspertə mane ola bilər);

əzbərləmə, sonra söhbətdən sonra qeyd (dezavantaj - yalnız parlaq yaddaşı olan analitiklər üçün uyğundur).

Koqnitiv təbəqə

Koqnitiv psixologiya (ing. cognition) insanın ətraf aləmi dərk etmə mexanizmlərini öyrənir.

Gəlin bilik mühəndisinə koqnitiv psixologiya nöqteyi-nəzərindən bəzi məsləhətlər verək:

ekspertə onun (analitik) daha başa düşülən və təbii olan təmsil modelini tətbiq etməmək;

metodun ekspertə “kilid açarı” kimi uyğun olması şərti əsasında ekspertlə işləmək üçün müxtəlif üsullardan istifadə etmək;

mövzu sahəsinin əsas anlayışlarını və onları birləşdirən münasibətləri müəyyən etmək kimi müəyyən edilə bilən çıxarılması prosedurunun məqsədini və ya onun əsas strategiyasını aydın başa düşmək;

daha tez-tez ekspertin əsaslandırmasını əks etdirən diaqramlar çəkin. Bu, informasiyanın insan yaddaşında obrazlı şəkildə təmsil olunması ilə bağlıdır.

Yuxarıda təqdim olunan material psixoloji mədəniyyətin əsasları ilə sıx bağlıdır ki, bu da özünü və digər insanları dərk etməyi və biliyi ehtiva edir; adekvat özünə hörmət və digər insanların qiymətləndirilməsi; psixi vəziyyətin özünü tənzimləməsi. Mütəxəssislərin - psixoloqların, psixoterapevtlərin köməyi ilə bu mədəniyyəti mənimsəmək daha asandır, ancaq məsələn, kitabların, ən azı populyar olanların köməyi ilə bunu özünüz edə bilərsiniz. Bundan əlavə, aktyorluq sənətinin əsaslarını mənimsəmək və sosial-psixoloji video təlimdə xüsusi dərslərdə iştirak etmək psixoloji uğursuzluqların uğurla aradan qaldırılmasına kömək edir.

Yekun olaraq, burada təcrübəsiz bir analitikin bir sıra ənənəvi psixoloji uğursuzluqları var:

ekspert və bilik mühəndisi arasında əlaqənin olmaması (bir və ya digərinin psixoloji xüsusiyyətlərinə görə; prosedurda səhvlər; "fasad" effektinin yaranması, yəni ekspertin "özünü göstərmək" istəyi);

anlayışın olmaması ("proyeksiya" effektinə görə, yəni analitikin fikrini ekspertin fikrinə köçürmək; və ya "sifariş" effekti, yəni diqqəti ilk növbədə ifadə olunana yönəltmək və s.);

söhbətlərin aşağı effektivliyi (ekspertin zəif motivasiyası, yəni maraq olmaması; və ya söhbətin zəif tempi; və ya uyğun olmayan suallar forması; və ya ekspertin qeyri-qənaətbəxş cavabları).

LİNQVİSTİK ASPEKT

Dilçilik aspektinin strukturu

Bilik mühəndisi ilə ekspert arasında ünsiyyət prosesi linqvistik ünsiyyət olduğundan, nəzər salaq linqvistik aspekt bilik mühəndisliyi. Mühəndislik bilikləri üçün vacib olan linqvistik problemlərin üç qatını qeyd edək (şək. 17.5).

düyü. 17.5. Biliyin axtarışının linqvistik aspektinin strukturu

Paylaşılan kod problemi

Əksər psixoloqlar və dilçilər dilin digər “daxili istifadə” işarə sistemləri ilə birlikdə əsas düşüncə vasitəsi olduğuna inanırlar. Analitik və ekspertin danışdığı və düşündüyü dillər əhəmiyyətli dərəcədə fərqlənə bilər.

Beləliklə, biz iki dillə maraqlanırıq - analitik dili,üç komponentdən ibarətdir:

hazırlıq dövründə ixtisaslaşdırılmış ədəbiyyatdan öyrəndiyi fənn sahəsinin şərtlərini;

onun “nəzəri baqajından” ümumi elmi terminologiya;

analitikin istifadə etdiyi gündəlik danışıq dili;

və dil ekspert ibarətdir:

mövzu sahəsində qəbul edilmiş xüsusi terminologiyadan;

ümumi elmi terminologiya; gündəlik dil;

ekspertin öz işi zamanı yaratdığı neologizmlər (onun peşəkar jarqonu).

Əgər ünsiyyətdə olan iki iştirakçının gündəlik və ümumi elmi dillərinin təxminən üst-üstə düşdüyünü fərz etsək, tərəfdaşların uğurlu qarşılıqlı əlaqə üçün inkişaf etdirməli olduqları bəzi ümumi dil və ya kod Şəkil 1-də təqdim olunan axınlardan ibarət olacaqdır. 17.6. Sonradan bu ümumi kod predmet sahəsinin bilik sahəsinin prototipi olan müəyyən konseptual (semantik) şəbəkəyə çevrilir.

düyü. 17.6.Ümumi kodun alınması sxemi

Ümumi kodun hazırlanması analitikin ekspertin işlətdiyi bütün terminləri yazması və onların mənasını aydınlaşdırması ilə başlayır. Əslində bu, mövzu sahəsinin lüğətinin tərtibidir. Bunun ardınca terminlərin qruplaşdırılması və sinonimlərin seçilməsi (eyni mənada olan sözlər) gedir. Ümumi kodun işlənib hazırlanması mövzu sahəsinin terminlərinin mənasına görə ilkin qruplaşdırılması ilə lüğətin tərtibi ilə başa çatır, yəni. konseptual yaxınlığa görə (bu, biliyin strukturlaşdırılmasında ilk addımdır).

düyü. 17.7 iki mütəxəssis tərəfindən terminlərin şərhindəki qeyri-müəyyənlik haqqında fikir verir. İşarələr sistemləri elmi olan semiotikada şərh problemi mərkəzi məsələlərdən biridir. Təfsir “işarə” ilə “işarələnmiş obyekt”i birləşdirir. Yalnız təfsir yolu ilə işarə məna qazanır. Beləliklə, Şek. 17.7 ekspert üçün “cihaz X” sözləri ilkin cihazın dövrəsinə uyğun gələn hansısa xüsusi sxemi ifadə edir, lakin təcrübəsiz analitikin başında “cihaz X” sözləri boş təsviri və ya bir növ “qara qutu”nu oyadır. tutacaqları ilə.

düyü. 17.7. Təfsir probleminin qeyri-müəyyənliyi

Konseptual quruluş

Süni intellekt və koqnitiv psixologiya üzrə əksər mütəxəssislər təbii intellektin və xüsusən də yaddaşın əsas xüsusiyyətinin bütün anlayışların şəbəkəyə qoşulması olduğuna inanırlar. Buna görə də, bilik bazasını inkişaf etdirmək üçün lüğət deyil, bütün terminlərin digər terminlərə keçidləri ilə lüğət girişlərində izah edildiyi bir ensiklopediya lazımdır.

Beləliklə, müəyyən bir problem səviyyəsində bilik mühəndisinin linqvistik işi bu cür əlaqəli fraqmentləri "tikiş" terminləri ilə qurmaqdır. Analitik və ekspertin diqqətli işi ilə konseptual strukturlarda anlayışlar iyerarxiyası yaranmağa başlayır ki, bu da ümumiyyətlə idrak psixologiyasının nəticələrinə uyğundur.

Anlayışların iyerarxiyası istənilən fənn sahəsinin bilik strukturunun konseptual təhlili üçün əsas ola bilən qlobal sxemdir.

Vurğulamaq lazımdır ki, lüğətin və konseptual quruluşun tərtibi işi linqvistik "hiss", terminlərin manipulyasiyasının asanlığı və bilik mühəndisinin zəngin lüğətini tələb edir, çünki analitik çox vaxt müstəqil olaraq xüsusiyyətlər lüğətini hazırlamağa məcbur olur. Paylaşılan kod nə qədər zəngin və ifadəli olarsa, bilik bazası bir o qədər dolğun olar.

Analitik obrazları və fikirləri şifahi formada çatdırmağın çətinliyini daim xatırlamağa məcbur olur. Çox vaxt bilik mühəndisi ekspertə söz və ifadələr təklif etməli olur.

İstifadəçi lüğəti

Ümumi kod və konseptual struktur təbəqələri ilə əlaqələndirilən linqvistik nəticələr adekvat bilik bazasının yaradılmasına yönəlib. Bununla belə, unutmamalıyıq ki, son istifadəçinin peşəkar səviyyəsi ona domenə xas dildən tam istifadə etməyə imkan verməyə bilər. İstifadəçi interfeysini inkişaf etdirmək üçün ümumi kod lüğətinin əlavə təkmilləşdirilməsi lazımdır, sistemin əlçatanlığı və "şəffaflığı" üçün tənzimlənir.

Sonda, təcrübəsiz bir mühəndisi gözləyən xarakterik linqvistik uğursuzluqları sadalayırıq:

müxtəlif dillərdə danışmaq (bilik mühəndisinin zəif hazırlığı səbəbindən);

kontekstlə uyğunsuzluq və terminlərin qeyri-adekvat təfsiri (əks rəyin olmaması, yəni bilik mühəndisinin çox müstəqil işi səbəbindən);

ümumi kod və istifadəçinin dili arasında fərqlərin olmaması (ekspert və istifadəçinin bilik səviyyəsindəki fərqlər nəzərə alınmır).

QNOSEOLOJİ ASPEKT

Epistemoloji aspektin mahiyyəti

Epistemologiya bilik nəzəriyyəsi və ya gerçəkliyin insan şüurunda əks olunması nəzəriyyəsi ilə bağlı fəlsəfənin bir sahəsidir.

Bilik mühəndisliyi bir elm kimi, belə demək mümkünsə, ikiqat qnoseoloji xarakter daşıyır - reallıq (O) əvvəlcə ekspertin şüurunda (M 1) əks olunur, sonra isə ekspertin fəaliyyəti və təcrübəsi bilik mühəndisinin şüuru ilə şərh olunur. (M 2), artıq üçüncü şərhlərin (P z) qurulması üçün əsas kimi xidmət edir - ekspert sisteminin bilik sahələri (Şəkil 17.8). İdrak prosesi mahiyyətcə insan şüurunda ətraf aləmin daxili təsvirini yaratmağa yönəlib.

düyü. 17.8. Biliyin çıxarılmasının epistemoloji aspekti

Biliklərin çıxarılması prosesində analitik əsasən ekspertlərin qeyri-kanonik fərdi bilikləri ilə əlaqəli bilik komponenti ilə maraqlanır, çünki bu tip biliyə malik olan fənlər ekspert sistemlərinin tətbiqinə ən həssas hesab olunur. Bu sahələr adətən empirik adlanır, çünki onlarda böyük həcmdə fərdi empirik faktlar və müşahidələr toplanmışdır, onların nəzəri ümumiləşdirilməsi isə gələcəyin işidir.

Bilik həmişə yeni konsepsiya və nəzəriyyələrin yaradılması ilə bağlıdır. Maraqlıdır ki, bir mütəxəssis tez-tez analitiklə söhbət kontekstində yeni biliklər "tez" yaradır. Belə bir bilik nəsli o vaxta qədər mövzu sahəsinin bir sıra əlaqələri və qanunauyğunluqlarından xəbərsiz olan ekspertin özü üçün də faydalı ola bilər. Yeni biliklərin yaranmasında “mama” olan analitikə burada elmi tədqiqatın məntiqinin və elmin konseptual iyerarxiyasının tanınmış prinsiplərindən istifadə etməyə imkan verən sistem metodologiyasının alətləri kömək edə bilər. Bu metodologiya onu xüsusinin arxasında ümumini görməyə məcbur edir, yəni. zəncirlər qurmaq:

FAKT  ÜMUMİ FAKT  EMPİRİK QANUN  NƏZƏRİ QANUN

Bilik mühəndisi həmişə bu zəncirin son həlqəsinə çatmayacaq, lakin hərəkət etmək istəyi çox məhsuldar ola bilər. Bu yanaşma iki səviyyəyə malik olan biliyin özünün strukturuna tam uyğundur:

empirik (müşahidələr, hadisələr);

nəzəri (qanunlar, abstraksiyalar, ümumiləşdirmələr).

Elmi biliyin meyarları

Nəzəriyyə təkcə elmi biliklərin ümumiləşdirilməsi üçün ardıcıl sistem deyil, həm də yeni biliklərin istehsalının müəyyən üsuludur. Həm yeni biliyin özünü, həm də elmi əldə etmə üsulunu nəzərdən keçirməyə imkan verən elmi xarakterin əsas metodoloji meyarları bunlardır:

daxili ardıcıllıq və ardıcıllıq;

ardıcıllıq;

obyektivlik;

tarixçilik.

Daxili ardıcıllıq.İlk baxışdan bu meyar sadəcə olaraq empirik sahələrdə işləmir: onlarda faktlar çox vaxt bir-biri ilə uzlaşmır, təriflər ziddiyyətli, diffuz və s. Empirik biliyin xüsusiyyətlərini, onun modallığını, uyğunsuzluğunu və natamamlığını bilən analitik empiriklərin bu “kobudluqlarını” hamarlaşdırmalıdır.

Bilik modallığı onun müxtəlif kateqoriyalarda mövcud olma ehtimalı deməkdir, yəni. varlıq və məcburiyyət konstruksiyalarında. Beləliklə, nümunələrin bəziləri mümkündür, digərləri məcburidir və s. Bundan əlavə, modallığın belə çalarlarını ayırd etməliyik: ekspert bilir ki...; ekspert hesab edir ki...; ekspert istəyir...; ekspert hesab edir ki...

Mümkün uyğunsuzluq empirik bilik dialektikanın əsas qanunlarının təbii nəticəsidir və bu ziddiyyətlər həmişə bilik sahəsində həll edilməməlidir, əksinə, mütəxəssislərin əsaslandırılmasında ən çox başlanğıc nöqtəsi kimi xidmət edən ziddiyyətlərdir.

Yarımçıqlıq biliklər fənn sahəsinin tam təsvirinin mümkünsüzlüyü ilə bağlıdır. Analitikin vəzifəsi bu natamamlığı müəyyən bir “tamlıq” çərçivəsi ilə məhdudlaşdırmaqdır, yəni. mövzu sahəsinin sərhədlərini daraltmaq və ya problemi sadələşdirən bir sıra məhdudiyyətlər və fərziyyələr təqdim etmək.

Sistemlilik. Biliyə sistem-struktur yanaşma (Hegelə qayıdıb) analitiki istənilən predmet sahəsini sistemli bütövün qanunları və onun tərkib hissələrinin qarşılıqlı əlaqəsi nöqteyi-nəzərindən nəzərdən keçirməyə yönəldir. Müasir strukturizm hər hansı bir obyektin çoxsəviyyəli iyerarxik təşkilindən irəli gəlir, yəni. bütün proseslər və hadisələr bir çox kiçik alt çoxluqlar (xüsusiyyətlər, təfərrüatlar) kimi qəbul edilə bilər və əksinə, hər hansı bir obyekt ümumiləşdirmələrin ali siniflərinin elementləri kimi qəbul edilə bilər (və edilməlidir).

Obyektivlik.İdrak prosesi dərin subyektivdir, yəni. o, mahiyyətcə bilən subyektin özünün xüsusiyyətlərindən asılıdır. Subyektivlik faktların təsvirindən başlayır və obyektlərin ideallaşdırılması dərinləşdikcə artır.

Deməli, biliyin obyektivliyindən danışmaqdansa, dərketmə dərinliyindən danışmaq daha düzgündür. Anlayış birgə yaradılışdır, obyektin subyekt nöqteyi-nəzərindən şərh edilməsi prosesidir. Bu, insan şüurunun dərinliklərində baş verən və insanın bütün intellektual və emosional qabiliyyətlərinin səfərbər edilməsini tələb edən mürəkkəb və çoxmənalı prosesdir. Analitik bütün səylərini problemi başa düşməyə yönəltməlidir. Psixologiya təsdiq edir ki, intellektual problemləri tez və uğurla həll edən insanlar vaxtlarının çoxunu onu başa düşməyə sərf edirlər, tez həll axtarmağa başlayanlar isə çox vaxt tapa bilmirlər.

Tarixçilik. Bu meyar inkişafla bağlıdır. İndiki bilik, onu doğuran keçmiş haqqında bilikdir. Əksər ekspert sistemləri "üfüqi" bilik dilimini təmin etsə də - vaxtı nəzərə almadan (statikada), bilik mühəndisi həmişə zaman dəyişikliklərini nəzərə alan prosesləri - həm keçmişlə əlaqəni, həm də gələcəklə əlaqəni nəzərə almalıdır. Məsələn, bilik sahəsinin və bilik bazasının strukturu həm işlənmə dövründə, həm də ekspert sisteminin işləməsi zamanı düzəliş və korreksiyaya imkan verməlidir.

İdrakın strukturu

Biliyin elmi mahiyyətinin əsas meyarlarını nəzərdən keçirərək, indi onun strukturunu təsvir etməyə çalışacağıq. İdrakın metodoloji strukturunu bilik mühəndisi nöqteyi-nəzərindən nəzərdən keçirəcəyimiz mərhələlər ardıcıllığı (şək. 17.9) kimi təqdim etmək olar.

Faktların təsviri və sintezi. Bu, analitiklə ekspert arasındakı söhbətlərin “quru qalığı” kimidir. Çıxarma prosesi zamanı qeydlərin diqqətli və tam aparılması və onlar üzrə vaxtında “ev tapşırığı” idrakın məhsuldar birinci mərhələsinin açarıdır.

Təcrübədə yuxarıda təsvir olunan obyektivlik və ardıcıllıq prinsiplərinə riayət etmək çətin olur. Çox vaxt bu mərhələdə faktlar sadəcə toplanır və sanki “ümumi çantaya” atılır; Təcrübəli bilik mühəndisi tez-tez dərhal hər bir fakt üçün "rəf" və ya "qutu" tapmağa çalışır və bununla da konseptuallaşdırma mərhələsinə hazırlaşır.

düyü. 17.9.İdrakın strukturu

Əlaqələrin və nümunələrin qurulması. Mütəxəssisin başında çox vaxt dolayı yolla olsa da əlaqələr qurulur; Mühəndisin vəzifəsi ekspertin nəticələrinin çərçivəsini müəyyən etməkdir. Mütəxəssis mülahizələrini yenidən qurarkən, bilik mühəndisi iki ən məşhur təfəkkür nəzəriyyəsinə - məntiqi və assosiativ nəzəriyyəyə etibar edə bilər. Eyni zamanda, məntiqi nəzəriyyə, riyaziyyatçıların simasında olan qızğın pərəstişkarları sayəsində, süni intellektlə bağlı əsərlərdə geniş istinad edilir və hər cür istifadə olunursa, ikinci, assosiativ nəzəriyyə daha az tanınır və populyardır. həm də qədim köklərə malikdir. Məntiqi nəzəriyyənin gözəlliyi və ahəngdarlığı insanların nadir hallarda riyazi məntiqlə düşündüyü acı həqiqəti gizlətməməlidir.

Assosiativ nəzəriyyə təfəkkürü ümumi anlayışlarla bağlı fikirlər zənciri kimi təmsil edir. Belə təfəkkürün əsas əməliyyatları müxtəlif əlaqələr əsasında əldə edilən assosiasiyalardır; keçmiş təcrübələri xatırlamaq; təsadüfi müvəffəqiyyətlə sınaq və səhv; adi (“avtomatik”) reaksiyalar və s.

İdeallaşdırılmış modelin qurulması. Subyektin mövzu sahəsi haqqında anlayışını əks etdirən bir model qurmaq üçün düşüncə prosesində yaranan dünyanın ideallaşdırılmış modellərini təsvir edə və qura bilən xüsusi bir dil lazımdır. Bu dil müvafiq fənn sahəsində qəbul edilmiş kateqoriya aparatının, eləcə də riyaziyyat və məntiqin formal simvolik vasitələrinin köməyi ilə tədricən yaradılır. Empirik predmet sahələri üçün belə bir dil hələ inkişaf etdirilməyib və analitikin yarı-formal şəkildə təsvir edəcəyi bilik sahəsi belə bir dilin yaradılması yolunda ilk addım ola bilər.

Modellərin izahı və proqnozlaşdırılması. Biliyin strukturunun bu yekun mərhələsi eyni zamanda əldə edilmiş biliyin həqiqətinin qismən meyarıdır. Müəyyən edilmiş ekspert bilikləri sistemi tam və obyektiv olarsa, onun əsasında verilmiş predmet sahəsindən proqnozlar vermək və istənilən hadisəni izah etmək olar. Bir qayda olaraq, ekspert sistemlərinin bilik bazaları komponentlərin parçalanmasından və modulluğundan (əlaqəsizliyindən) əziyyət çəkir. Bütün bunlar bizə insanlar kimi yeni nümunələri proqnozlaşdıra və verilənlər bazasında açıq şəkildə göstərilməyən halları izah edə bilən həqiqətən ağıllı sistemlər yaratmağa imkan vermir. Burada istisna yeni biliklərin və “proqnozlaşdırmanın” yaradılmasına yönəlmiş biliklərin yaradılması sistemləridir.

Sonda, bilik mühəndisliyinin qnoseoloji problemləri ilə əlaqəli ən çox yayılmış uğursuzluqları sadalayırıq (qismən):

cılız, parçalanmış bilik (ardıcıllıq prinsipinin pozulması və ya diqqət mərkəzini seçməkdə səhvlər səbəbindən);

biliyin uyğunsuzluğu (təbiət və cəmiyyətin təbii uyğunsuzluğu, çıxarılan biliklərin natamam olması, ekspertin səriştəsizliyi);

yanlış təsnifat (siniflərin sayının düzgün müəyyən edilməməsi və ya sinfin qeyri-dəqiq təsviri səbəbindən);

ümumiləşdirmənin səhv səviyyəsi (obyekt siniflərinin həddindən artıq təfərrüatı və ya ümumiləşdirilməsi səbəbindən).

Sistem təchizat müqaviləsi bağlayan vasitəçidir.

Bilik mühəndisliyi kompüter elminin bir sahəsidir ki, onun daxilində biliklərin kompüterlərdə təqdim edilməsi, onun yenilənməsi və manipulyasiyası üzrə tədqiqatlar aparılır.

Bilik sistemi - biliyə əsaslanan sistem.

SOZ SBZ DBMS ES IS SII - süni intellekt sistemi.

Biliyə əsaslanan sistemin strukturu.

Həll almaq üçün KB mexanizmi

İNTERFACE

Bilik bazası müəyyən bir mövzu sahəsində toplanmış bilikləri kompüterdə təmsil edən modeldir. Bu biliklər rəsmiləşdirilməlidir.
Bilik bir modeldən istifadə edərək formalaşır və sonra müəyyən bir dildən istifadə etməklə təmsil olunur.

Xüsusi obyektlər və qaydalar haqqında biliklər adətən bilik bazasında vurğulanır. Bu qaydalar orijinal faktlardan yenilərini çıxarmaq üçün həllərin alınması mexanizmi kimi icra olunur.

İnterfeys istifadəçiyə tanış olan dildə dialoq təqdim edir.

Nəticəyə əsaslanan metodlar çox vaxt bilik mühəndisliyində istifadə olunur.

Mövzu sahəsi anlayışı.

Obyekt mövcud olan və ya ayrıca bir varlıq kimi qəbul edilən bir şeydir.

Əsas xüsusiyyətlər: diskretlik; fərq.

Bilik təqdim edərkən praqmatik yanaşma istifadə olunur, yəni. yaradılmış sistemin həll edəcəyi məsələlərin həlli üçün vacib olan obyektin xassələri vurğulanır. Buna görə də biliyə əsaslanan sistem mücərrəd varlıqlar olan şeylərlə məşğul olur. Obyekt obyektin bəzi xassələrinin daşıyıcısı kimi çıxış edir. Mövzu sahəsinin vəziyyəti zamanla dəyişə bilər. Zamanın hər anında mövzu sahəsinin vəziyyəti obyektlər və əlaqələr toplusu ilə xarakterizə olunur. Mövzu sahəsinin vəziyyəti bir vəziyyətlə xarakterizə olunur.

Mövzu sahəsini təsvir edən konseptual vasitələr.

Konseptual model ən ümumi xüsusiyyətləri əks etdirir. Ətraflı təsvir etmək üçün dillərə ehtiyac var. Mövzu sahəsini təsvir edən konseptual vasitələrin xarakterik xüsusiyyətləri abstraksiya və universallıqdır. Onlar hər hansı bir mövzu sahəsini təsvir etmək üçün istifadə edilə bilər.

Obyekt sinfi anlayışı.

Obyekt anlayışı çoxluq anlayışıdır. Bir-birinə bənzər obyektlər siniflərə birləşdirilir. Zamanın müxtəlif nöqtələrində eyni sinifə müxtəlif obyektlər dəsti uyğun gələ bilər.

K - obyekt sinfi.

Kt – t zamanında K sinfinə aid obyektlərin çoxluğu.

Qrup (1999) = (IA-1-99, IA-1-98, …, IA-1-94, IB-1-99,…)

Qrup (1998) = (IA-1-98, IA-1-97, …, IA-1-93, IB-1-98,…)

(t Кt = (… )

Müəllim vəzifəsi = (professor, dosent, baş müəllim, müəllim, assistent)

1 4 Həndəsi fiqur, kvadrat forma, mavi rəng.

(К: А1 К1, А2К2, …, АнКn) ad atributu obyekt siniflərinin siniflərinin adı atribut cütü

Obyektlərin identifikasiyası birbaşa və dolayı ola bilər. Birbaşa xətt halında obyektlərin adları və obyektlərin seriya nömrələri istifadə olunur; dolayı obyekt xassələrinin istifadəsinə əsaslanır.

Bir atribut komponent ola bilər. Atribut dedikdə komponentlərin xassə, xarakteristikası və ya adı başa düşülür.

(Həndəsi forma: forma Həndəsi forma rəng Rəng)

Atribut adı və atribut dəyər cütləri çox vaxt eyni olur.

Nümunə vəziyyət:

(Mühazirə: müəllim Mühazirəçinin soyadı, yer auditoriya sayı, mövzu Mövzunun adı, dinləyici Qrup kodu, həftənin günü, vaxt Başlama vaxtı)

Vəziyyət – “müəllim” və “dinləyici” arasındakı əlaqə və bu vəziyyətin digər xüsusiyyətləri göstərilir.

Vəziyyətdə iştirakçıların rolları:

Dinləyici

Vəziyyətin xüsusiyyətləri:

(K: А1К1, А2К2, …, АnКn) – biliyin hansısa struktur şəklində təsviri.

(tarix, gün, ayın_günü)

(tarix, ay, ay_adı)

(tarix, il, il)

(həndəsi_fiqur, forma, həndəsi_şəkil)

(həndəsi_fiqur, rəng, rəng)

Biliyin bu təsviri biliyin ayrı-ayrı faktlar şəklində təqdim edilməsinə uyğun gəlir.

(K: A1K1, A2K2, ..., AnKn)

Obyektlər haqqında biliklərin təmsilləri aşağıdakılara bölünür:

obyekt sinifləri (məlumat strukturu)

xüsusi obyektlər haqqında biliklər (məlumatlar haqqında)

Obyekt sinifləri.

1. (K: A1K1, A2K2, ..., AnKn)

Аi – atribut adı

Ki – obyekt sinifləri, atribut dəyəridir

K - sinif adı

(müəllimlər:

Tam adı soyadı_baş hərfləri ilə,

Vəzifə öyrədilməsi_vəzifə)

(müəllim, tam adı, soyadı_baş hərfləri ilə, müəllim, müəllimlik_vəzifəsi)

3. K (K1, K2, ..., Kn)

4. K (A1,A2, ..., An)

(müəllim (soyad_baş hərfləri ilə, müəllimlik_vəzifəsi), müəllim (tam adı, vəzifəsi))

Birinci forma üçün bilik təmsili:

(K: A1K1,A2K2, ... , AnKn) ki (Ki

Biliyin atributiv təmsili:

(müəllim: - təmsil edir

Tam adı Semenov - bəzi quruluş

Vəzifə dosent) - məlumat

İkinci forma üçün bilik təmsili:

(K: AiKi) k (K, ki (Ki

Biliyin fərdi faktlar şəklində atributiv təqdimatı:

(müəllim1, tam adı, Semenov) - 1, 2 arasında əlaqə var

(müəllim1, vəzifə, dosent) - faktlar

(müəllim2, tam adı, Petrov)

(müəllim2, vəzifə, köməkçi)

Üçüncü forma üçün bilik təmsili:

K (K1, K2, … , Kn)

(müəllim (Semenov, dosent) - biliyin mövqe təmsili

Əgər atribut adları yoxdursa və atributların özləri müəyyən mövqelərdə yazılıbsa, bu, biliyin mövqe təmsilidir.

Biliyin "üçlü" şəklində təmsili - (obyekt, atribut, dəyər).

Qeyri-dəqiq dəyərləri təmsil etmək üçün etimad əmsallarından istifadə olunur - (obyekt, atribut, dəyər, etibarlılıq əmsalı).

0 - qeyri-müəyyənliyə uyğundur. mənfi dəyər – atribut dəyərinin qeyri-mümkünlüyünə inam dərəcəsi.

(xəstə 1, diaqnoz, qastrit, K740)

* (xəstə, tam adı, Antonov, diaqnoz kolit K760, qastrit K740)

Obyekt sinfi haqqında biliyin təsviri o zaman minimal adlanır ki, atributlardan biri silindikdə, qalan atributlar toplusu bu obyekt sinfinin təmsili olmaqdan çıxır.

İcarəyə (icarə_obyekti, kirayəçi, icarəyə verən, icarə_müddəti, haqq).

Əgər “icarə_müddəti”ni silsəniz, alqı-satqı əldə edəcəksiniz, silsəniz də
“icarə müddəti” və “haqq”, onda siz hədiyyə alırsınız.

Biliyin əlaqəli verilənlər bazasında təmsil olunması.

Relational verilənlər bazası - məlumatlar mövqe formatında saxlanılır.

Məlumat cədvəl şəklində saxlanılır, burada cədvəlin adı sinifin adıdır.
Hər bir sinif cədvəl və ya verilənlər bazası faylına uyğundur. Sinif adı müvafiq cədvəlin adıdır. Atribut adları – müvafiq cədvəl sahələri
(sütun). Cədvəl sətirləri verilənlər bazası qeydləridir. Giriş mövqe formatında olan girişə uyğundur.
|A1 |A2 | . . .|An |
| | |. . | |
|K1 |K2 | . . .|Кn |
| | |. . | |

Müəllimlər

Mövqe bazasında atribut anlayışı saxlanılır.

K (A1,A2, ..., An) girişi atributlar arasındakı əlaqə adlanır. Bu terminologiya əlaqəli verilənlər bazasında istifadə olunur. Əlaqəli verilənlər bazasında məlumat ideyası “açar” anlayışına əsaslanır.

Açar, dəyəri fayldakı qeydi unikal şəkildə müəyyən edən əlaqə atributları toplusudur.

Mənzil

| şəhər |küçə |ev |bina|mənzil|sahə |otaqların sayı|
|Moskva |Tverskaya |2 |1 |47 |60 |2 |
|Moskva |Tverskaya |2 |1 |54 |50 |1 |

Bu halda açar bir neçə sahədən ibarət olacaq.

Ki sup Kj sinif sup alt sinifinin alt sinifidir; alt sinif əlavə sinif.

Ki, Kj if (t Ki t (Kj t) alt sinfidir

(Hər hansı bir zamanda t Ki sinfi Kj-nin alt sinfidirsə)

Npr – şəbəkə təsnifatı.

Şəbəkə təsnifatı iyerarxik struktur kimi təqdim olunur.

Tələbə yeməyi tələbə.

Kj-nin Ki hissəsi - Ki hissəsi Kj-nin bir hissəsidir

Ki sinfinin xüsusi obyekti unikal müəyyən edilmiş Kj obyektinin bir hissəsidirsə, Ki Kj-nin bir hissəsidir.

Mənsubiyyət münasibəti. k isa K - elementdir

Ki ius K - tərkib hissəsidir

K sinif obyektinin K1, K2, ... sinif obyektlərindən ibarət olması deməkdir,
Kn və K sinfinin obyektinə Ki sinfinin bir neçə obyekti daxil ola bilər.

4 nömrəli mühazirə.

Münasibətlərin xüsusiyyətləri.

Qismən nizam münasibətləri keçid xassəsinə malikdir.

Ki sup Kj Kj sup Km

Ki hissəsi Kj Kj hissəsi Km

Əgər element blokun tərkib hissəsidirsə və blok...

Üzvlük qrafikində dövrlər yoxdur.

K1 ins K2, K2 ins K3,…,Kn-1 ins Kj

Kn in K1 olması doğru deyil

Moskva şəhərdir

Şəhər sup Yer

Moskva bir məhəllədir

Obyektlərin sinifləri üzrə əməliyyatlar.

Obyekt sinifləri üzərində əməliyyatlardan istifadə edərək siz yeni obyekt sinfi təyin edə bilərsiniz

Ki, bloklar dəsti, məsələn, televizorlar

Maddi obyektlər üç sinfə bölünür

Vəziyyət (Obyekt (Avadanlıq = Material obyekti

Şəxs (Otaq = Şəxs (Avadanlıq = Otaq ()
Avadanlıq =?

Obyekt siniflərinin yerləşdirilməsi

Şəxs (soyadı, adı, atasının adı, doğum ili, cinsi)

Cins = (kişi, qadın)

Kişi, qadın = İnsan cinsi

K (K1, K2, K3, K4, K5)

KK5 – K5 sinfinə görə sinif bölgüsü.

Bütün bu siniflərin birliyi insandır.

Kişi?Qadın=İnsan

Kişi?Qadın=?

(Xarici dil biliyi

Bilikli insan

Mövzu xarici_dil)

Bölmə nəticəsində xarici dil bilən insanlardan ibarət siniflər əldə edirik.

Mövzu sahəsinin konseptual diaqramı onun üzərində müəyyən edilmiş obyektlərin, münasibətlərin və əməliyyatların siniflərinin məcmusudur.

Mövzu sahəsinin vəziyyətinin şablon təsviri:

K sinifləri bir qrupda intizam dərsləri keçirir.

İvanov I.I. Bazar ertəsi günü G-301-də 4-cü cütlükdə IT-1-98 qrupunda TOE intizamı üzrə dərslər keçirir.

(siniflər: müəllim Müəllim intizamı İntizam_adı qrup Qrup_kodu gün Həftə_gün vaxtı Cüt_sayı yer Auditoriya)

Mövzu sahəsinin konseptual modelləri - sonlu şablonlar toplusuna uyğun olaraq qurulmuş ifadələr toplusu ilə birlikdə konseptual diaqram.

Müəssisə və Əlaqələr Diaqramı (ER Diaqramı)

Müəssisə Əlaqələri Diaqramı

mahiyyət

Müəssisə və Əlaqə Atributları

1 kafedrada N müəllim çalışır. “*” müəllimin işarəsidir - şöbəni tapa bilərsiniz.

Ünsiyyət feli və ya obyekti

Atributlar – sifət, saylar, ölçülər, hərəkət yeri

Yükləmə cədvəli

Məntiqi sistemlər (modellər), malların mağazaya çatdırılmasının bir nümunəsi əsasında.

Biliyin təmsilinin məntiqi modelləri.

Predikat hesablamalarına əsaslanan məntiqi proqramlaşdırma dillərindən birində mövzu sahəsinin təsviri.

1-ci dərəcəli çox predikat hesabının dili. Çoxsaylı 1-ci sıra məntiqi.

Bu dili yaratmaq üçün:

Sort anlayışı obyektlərin sinifləri anlayışına uyğundur.

Bir çox növ S

Dəstdə funksiyalar müəyyən edilir. f-funksiya adı;

arqumentlərin növləri;
B – funksiya dəyərinin növü.
Z – imza məntiqi modellərdə biliyin təqdim edilməsinin ən yüksək səviyyəsidir.

Predikat -
T=(0;1)

yalan doğru
- B tipi sabit

Nümunə olaraq istehsalda hissələrin emalına baxaq.
2 döngə;
1-freze;

S=(Hissə, Maşın, Əməliyyat, Hissə_növü, Maşın_növü, Vaxt)
1) uşaq: Əməliyyat təfərrüatı; f A1 B
2) st: Əməliyyat (Maşın;
3) başlanğıc: Əməliyyat (Vaxt
4) con: Əməliyyat (Vaxt
5) hissə_növü: Hissə (Hissə_növü
6) type_st: Maşın (Maşın növü
7) 0: (Vaxt

T: (Vaxt
8) mil_val: (hissə_tipi mil_yeri: (hissə_tipi
9) freze kəsiciləri: (Maşın_tipi cərəyan: (Maşın_tipi
10) cutter_face: əməliyyat T cari_rev: əməliyyat T
11) +: Vaxt*Vaxt Vaxtı
12): Vaxt*Vaxt T

Xüsusi obyektlər haqqında bilik
(bilik təmsilçiliyinin aşağı səviyyəsi) çoxlu predikativ hesablama dilində struktur inteqrasiya imzası adlanır.
1) imza
2) İnteqrasiya strukturu. İmzalar.
3) Hər sort adı üçün bu çeşidin çoxlu obyektləri yaradılır.
Hissə = (1-ci hissə, 2-ci hissə, 3-cü hissə, 4-cü hissə)
Maşın = (st.1, st.2, st.3)
Əməliyyat =(oper1,oper2,oper3,oper4,oper5,oper6,oper7,oper8)
Hissə_növü = (gövdə_val, mil_yeri)
Machine_type = (cari, freze kəsiciləri)
Vaxt = (1,2,…,t)

Bütün dəstlərin birliyi kainatdır.
Sistemdəki strukturdan hər bir funksiya və predikat bir çox amillərə uyğundur.
1) uşaq(oper.1)=uşaq1 uşaq(əməliyyat2)=uşaq1 uşaq(əməliyyat3)=uşaq2

…………………..
2) st.(oper.1)= st.3 st.(oper.2)= st.1 st.(oper.3)= st.3

…………………
3) start(oper.1)=0 start(operation2)=5 start(operation3)=5
…………………..
4) conc(oper.1)=5 conc(oper.2)=12 conc(oper.3)=0
…………………
5) type_det(hissə 1)=gövdə_val növü_detail(ətraflı.2)=val_yerləri növü_detail(ətraflı3)=polad_val növü_detail(ətraflı 4)=val_oturacaqlar
………………….
6) type_st. (st.1)=cari tip_st. (st.2)=cari tip_st. (st.3) = kəsicilər
………………….
10) cutter_face (oper1) cari_rev (oper2) cutter_face (oper3)
|əməliyyat|hissə |maşın |başlanğıc |son |dəyirman_sonu|cari_arr|
|Oper1 |Det.1 |St.3 |0 |5 |1 |0 |
|Oper2 |Det.1 |St.1 |5 |12 |0 |1 |
|Oper3 |Det.2 |Mad.3 |5 |10 |1 |0 |
|Oper4 |Det.2 |Mad.2 |10 |17 |0 |1 |
|Oper.5 |Det.3 |Mad.3 |10 |16 |1 |0 |
|Oper6 |Det.3 |Mad.1 |16 |26 |0 |1 |
|Oper7 |Det.4 |Mad.3 |16 |22 |1 |0 |
|Oper8 |Det.4 |Mad.2 |22 |32 |0 |1 |

3) Komponent: Məntiqi düsturlar

Düsturların qurulması qaydaları: a) A sortunun sabiti A növünün şərtidir b) A sortundan qiymət alan dəyişən A növünün terminidir c) imzada müvafiq olaraq funksiya - qurulmuş növ şərtləri varsa, onda
- B tipli termin var d) imzada predikat varsa -
,quraşdırılmış sortların termləri
, yəni atom. e) əgər - eyni tipli terminlər, onda ifadə, yəni atom e) Atom düzgün qurulmuş düsturdur (PPF) Atomun tərkibinə daxil olan dəyişən bu atomda sərbəstdir. g) qurulmuş düstur sərbəst şəkildə A tipli x dəyişənlərini ehtiva edirsə, onda ifadələr:

Həmçinin PPF-dir, “x” dəyişəni bağlıdır (yeni fayllarda) h) əgər düsturlar artıq qurulubsa, o zaman , həm də PPF-dir
Nümunələr:
1) Nümayəndəlik Biliyi b => oper2 torna tezgahında yerinə yetirilir type_st(st(oper2))=ncurrent
2) Opera 2 st. 1-də 1-ci dayanacaqda, 5-ci sonda tamamlanır
3)

Mühazirə 8 11/12/99.

Qətnamə üsulu

Həll metodu qeyri-mümkün olduğunu sübut edir.
Bu üsuldan istifadə etmək üçün orijinal formulun DNF-ə çevrilməsi lazımdır.
DNF:
- pii hərflərinin diszunksiyası – atom və ya atomun inkarı.
Sonra DNF bəndlər toplusu kimi təmsil olunur
Çözüm metodunda bir nəticə çıxarma qaydası var
Nəticədə 2 bənddən biz ruoventa adlanan yenisini alırıq
- həmişə yalan olan boş bənd alırıq.
Əgər dəstdə boş bənd varsa, o, qeyri-qənaətbəxşdir.
Nəticə bu çoxluğun qeyri-qənaətbəxş olduğunu sübut edən boş bənddir.
Həll üsulu boş bənd alınana qədər tətbiq edilir.
m, n – const
daimi dəyişən əvəzinə əvəzetmə – unifikasiya.
Bu halda əvəzetməni (n/y) yerinə yetiririk:
(1) və (2) -dən => a(x)c(x,n) (5)
(3) və (5) dən əvəzetmənin yerinə yetirilməsi (m/n) => c(m,n) (6)
Əvəz etmədən (4) və (6) dan => 0

Proloqda qətnamə prinsipi
Proloq xordian bəndlərindən istifadə edir, yəni. inkarsız bir hərfdən ibarət bəndlər.
Misal üçün
=>

inkarsız birləşmə

Tərkibində heç bir hərf olmayan disjunktlardan istifadə etmək olar. – bu proloqdakı hədəf ifadəsidir: ? – a a: - b,c,d. b: - e, f. c. e. f.
?-a a(1) a(2) a(3)
|Addım No. |Hədəf |İlkin |qətnamə|
| |. disjunct | |
|1 |?- a. |a:-b,c,d. |-b,c,d. |
|2 |?-b,c,d |b:-e,f |-e,f,c,d |
|3 |?-e,f,c,d |e |-f,c,d |
|4 |?-f,c,d |f |-c,d |
|5 |?-c,d |c |-d |
|6 |?-d |d |0 |

Proqramın qrafik şəklində təsviri a: - b;c b: - d,e c: - g,f. e: - i,h g: - h,j d. f. h.
?-a
"," - Və
";" - və ya
Qrafikin qurulması hədəf bənddən başlayır.
Qrafik baxılan problemin hansı və neçə həll yolu olduğunu göstərir.

Problemin iki həlli

Bilik təmsilinin istehsal modeli.
Bu modelin əsasını aşağıdakı formaya malik istehsal qaydaları təşkil edir
- istehsal qaydası >:=
Əgər onda [CD=]

Nümunələr:
Qayda 5
Cins=qadın olarsa

Və əlavə = kiçik

Və çəki = 65 il və ya daha çox
Sonra nisbi_çəki = dəyişən
Etibar faktoru 0-100 rəqəmi ilə müəyyən edilir

Qayda 27
ƏGƏR perspektiv=əla

Və risk = yüksək
TO faktoru=0 CD=10
Ümumiyyətlə, müqəddimə məntiqi ifadə ola bilər.
Əgər müqəddimə doğrudursa, nəticə də doğrudur, yəni. nəticə müqəddimənin doğru olduğu halda yerinə yetirilən bəzi hərəkətləri göstərə bilər
::[AI...I]
::== obyekt, atribut, dəyər, etimad faktoru - biliyin dörd şəklində təqdim edilməsi
::==
:==CD=
Eyni obyektin fərqli mənaları ola bilər.
Çox qiymətli obyektlər bir neçə etibarlı dəyərə malik ola bilən obyektlərdir.
Əgər obyekt çoxqiymətli elan edilmirsə, o zaman bir neçə qiymətə malik ola bilər, onda onların etibarlı olması lazım deyil, yəni. CD = 100

Obyektlər üçün istifadəçidən tələb olunan dəyər.
Hansı əlavə?
1. Kiçik
2. Orta icazə verilən dəyərlər
3. Böyük

Yaş neçədi
1. 25-dən az
2. 25-dən 55-ə qədər
3. 55-dən çox
Bağlamanın etibarlılıq əmsalı=min(Kdusl)

Qayda perspektivinin yerinə yetirilməsi nəticəsində əldə edilən fakt = əla AC = 50 risk = yüksək AC = 70 amil = 0

Bilik təmsilinin istehsal modelinin əsas strukturu

İlkin məlumatlar

Nəticə

Mühazirə 9 (Son)
|№ |Münaqişə |İcra|Təxmin edilən|
|addım|Çox | | |
| |qaydaları |qaydaları |fakt |
|1 | | | |
|2 | | | |
|3 | | | |
|4 | | | |
|5 | | | |

Nəticələr hədəf zirvəyə çatdıqda və ya tətbiq olunan qaydalar qalmadıqda və məqsədə nail olmadıqda başa çatır.

Əks nəticələr - yuxarıdan aşağıya doğru aparılır (nəticələr hədəfə yönəldilir)

P 1 P2 P3 P4
P5

C 4 C5 C6 C7 C8

|№ |Məqsəd|Münaqişə |Yerinə yetirilməsi|Alt-məqsədlər|Fakt|
|addım| |dəst | | | |
| | |qaydaları |qaydaları | | |
|1 |C1 |P6,P7 |P6 |S2,C3 | |
|2 |S2 |P1,P2 |P1 |S1,S5,S| |
|3 |C3 | | |3 |F1 |
|4 |C4 | | | |F2 |
|5 |C5 |P3 |P3 | | |
|6 |C6 | | |C6,C7,C|F3 |
|7 |C7 | | |8 |F4 |
|8 |С8 | | | |F5 |
| | | | | | |

Məqsəd – “müddət” – məqsəd obyektin adı ilə müəyyən edilir.
Qaydaların yekunu ilə müqayisə edilir və nəticə ilə qayda seçilir
obyektin adını ehtiva edən . Hədəf obyekti ehtiva edən bir qayda seçirik, fərziyyə yaradırıq

Prosesdə hipotez ya təsdiqlənir, ya da təkzib olunur. Nəticələr biri təsdiqlənənə və ya bütün mümkün fərziyyələr tükənənə qədər davam edir.
Çünki daha az çek istifadə olunur bir qaydanın bir neçə şərti və bir nəticəsi var.

İki istiqamətli çıxışlar.

Birincisi, az miqdarda məlumat əsasında birbaşa nəticələr hazırlanır, nəticədə digər nəticələri təsdiqləmək və ya təkzib etmək üçün fərziyyə formalaşır.
Qaydaların şərtlərini yoxlamaq üçün hər addımda şərtlərin yoxlanıldığı qaydaları seçən bir qayda aktivləşdirmə aparatı istifadə olunur.
Şərtlərdən də istifadə edilməlidir. Qaydalar baxımından fərdi qaydalar, sonra isə ümumi qaydalar fərqləndirilir.
Ümumi qaydalar – tətbiq olunma şərtləri qaydaları. Tətbiq sahəsi.

İstehsal qaydasının ümumiləşdirilmiş strukturu.
(i); Q; P; A; =B; N
(i) – qayda adı:
Q – qaydanın tətbiq dairəsi;
P – qaydanın tətbiqi şərti (məntiqi şərt)
A=>B – əsas qayda, burada A ilkin, B isə nəticədir;
N – qoyulmuş şərt, nüvənin yerinə yetirildiyi təqdirdə yerinə yetiriləcək hərəkətləri müəyyən edir.
P – doğrudursa, qaydanın əsas hissəsi işə salınır.

Çərçivə – stereotipik vəziyyəti təmsil etmək üçün məlumat strukturu
(k: A1K1, A2K2, …., AnKn)
(to: A1k1, A2k2,….,An kn)
(fayl adı: slot1 adı (slot1 dəyəri) slot2 adı (slot2 dəyəri)

……………………………….. yuva n adı (yuva n dəyəri))
Protoframe - obyektlər sinfi haqqında bilik.
Çərçivə - nümunə - yuvaları xüsusi dəyərlərlə doldurmaqla protoçərçivədən əldə edilir.
Çərçivə strukturuna adətən sistem yuvaları daxildir. Slot sisteminə daxildir:
Biz yuvaları çərçivənin birbaşa uşaqlarına işarə edən yuva kimi təyin edirik.

Slotlar sistemi kimi: proqramın yaradıcısı və onun modifikasiyası haqqında məlumatları ehtiva edən yuvalar.
Quruluşa daxildir:
- miras göstəricisi;
- məlumat növü göstəricisi;
- cinlər və s.

FMS DİLİ (FMS).
Miras göstəriciləri ola bilər:
U – unikal – unikal
S – eyni – bəzi
R – diapazon – sərhəd göstəricisi;
0 – ləğv – nəzərə alma

U – eyni adlarla müxtəlif səviyyəli çərçivələrdə fərqli olacaq.
S – eyni adları olan daha yüksək səviyyəli yuvalardan dəyərlərin miras alınması üçün yuvalar

Aşağı tənliyin qiyməti yuxarı tənlikdə müəyyən edilmiş dəyərin hüdudları daxilində olmalıdır.

R
İnsan

Əgər dəyər göstərilməyibsə, o zaman yuxarı tənlik yuvasından miras alınır və göstərilibsə, miras nəzərə alınmır.

Mühazirə 11 12/3/99

OPS-5 biliklərin təqdimat sistemində şəbəkə və çərçivə modellərinin birləşməsi
Bu dildə istehsal qaydaları və verilənlər bazası var
::=({| }+)

()+ - Bir neçə dəfə təkrarlana bilər
::=((dəyər))
::= |
(Maddə sinfi turşusu

Rəngsiz)
(Tapşırıqların sırası: Mənbə, Sızma Qılıncoynatma)
Qaydalar nədir:
::=(P)
::={}+
::= | -
::= | |
::=((dəyər>)+) |

# (Tapşırıq sırası)

([{ }+])
# (maddə)
Nümunə mütləq verilmiş sinfin bütün atributlarını göstərmir, yəni. yaza bilərik
(Maddə sinfi turşusu

adı) yəni. dəyişən turşu - şey bir dəyər alacaq
::= ({ >}+)
Yaddaş iş elementinin müvafiq atributunun dəyəri bu vərəqdə göstərilən elementlərdən birinə, ən azı birinə uyğun olmalıdır.
Bu mənalar konkret sözlərlə ifadə olunur.
# (Maddə sinfi turşusu

Rəng)
::= ({{{}+}}+)
Dəyərlərin siyahısı məhdudiyyətlər kimi də göstərilə bilər
# (Mühərrikin gücü (100 200))

(Mühərrikin gücü 160)
:={}+
::=(et | sil | (dəyişdir
{} +)

# (P koordinatı _a

(hədəf vəziyyət aktivdir

Ad koordinatı)
Hədəf koordinasiya edə bilirsə və tapşırıqların ardıcıllığı müəyyən edilməyibsə, yaradın

(Tapşırıqların sırası) –>
(hədəf vəziyyətini aktiv edin

Sifariş tapşırıqlarını adlandırın)
(modif1 gözləmə vəziyyəti))

Problemlərin həlli strategiyası açıq bir məqsəd qoymağa əsaslanır
Performans
1. ziddiyyətli qaydalar toplusu ilə nəticələnən yaddaş elementləri ilə müqayisə
2. Münaqişə toplusundan qaydaların seçilməsi
3. Qaydaların yekununda göstərilən hərəkətlərin həyata keçirilməsi
Məqsəd əldə olunana qədər icra edir.

Bilik əldə etmək

Mənbədən biliyin çıxarılması, tələb olunan formaya çevrilməsi və intellektual sistemin bilik bazasına köçürülməsi.

Bilik aşağıdakılara bölünür:
- obyektivləşdirilmiş;
- subyektiv
Obyektivləşdirilmiş - xarici mənbələrdə - kitablarda, jurnallarda, tədqiqat işlərində təqdim olunan biliklər.
- formatlanmış, yəni. qanunlar, düsturlar, modellər, alqoritmlər şəklində təqdim olunur.
Subyektiv - ekspert və empirik olan biliklər xarici formada təqdim edilmir.
Mütəxəssis biliyi qeyri-rəsmidir, bir çox evristik üsul və qaydalardan ibarətdir, problemlərin həllinə yanaşmalar tapmağa və təsdiq və ya təkzib edilə bilən fərziyyələr irəli sürməyə imkan verir.
Bilik hər hansı bir obyektin müşahidəsi prosesində əldə edilə bilər.
Biliklərin əldə edilməsi prosesində bilik mühəndisinin və məsləhətçinin iş rejimləri.
1. protokol təhlili
- problemlərin həlli prosesində əsaslandırmalar yüksək səslə qeyd olunur.
O.S. protokollar tərtib edilir və təhlil edilir
2. Müsahibə - təcrübə ilə bilik əldə etməyə yönəlmiş dialoq aparılır.
3. Peşəkar fəaliyyətlərin oyun simulyasiyası.

Müsahibə üsulları.
1. Addımlara bölünmə iyerarxik strukturların qurulmasına imkan verən əlaqələri müəyyən edir
2. Repertuar şəbəkəsi 3 anlayış təklif olunur və 2-ci anlayışla 3-cü anlayış arasındakı fərqi adlandırmaq tələb olunur. Ekspertə bir neçə anlayış təklif olunur və ümumi xassələri => forma siniflərini adlandırmaq tələb olunur.

Bilik sahəsini formalaşdırmaq üçün konitoloqun iş metodu
2 mərhələ daxildir
1. hazırlıq
1.1. Sistemin həll etməli olduğu problemin aydın şəkildə hazırlanması
2. Koniti Litovaya təqdim etmək
3. Ekspertlərin seçilməsi
4. Mütəxəssisləri nüsxə ilə tanış etmək
5. Eksperti məşhur süni intellekt texnikası ilə tanış etmək
6. Nüsxədən bilik sahəsinin formalaşması
2. Əsas mərhələ
1. rejimdə bilik sahəsinin vurulması
2. kosmetoloqun komanda işi - protokolun təhlili, anlayışlar arasında əlaqələrin müəyyən edilməsi, ekspert üçün sualların hazırlanması
3. Bilik sahəsini artırmaq - ekspertə sual vermək vəzifəsi
4. Konseptual problemin rəsmiləşdirilməsi.
5. Modelin tamlığının yoxlanılması
Model natamamdırsa, onda 2-ci yaxınlaşma istifadə olunur.

Mühazirə 12 10.12. 99.

Qeyri-səlis çoxluqlar
– məhsulun qalınlığı kiçik orta böyük

dərəcə

10 15 40 məhsul qalınlığı
- qeyri-səlis çoxluq x - universal çoxluq
x - A cütləri dəsti yaradır
- qeyri-səlis çoxluğun üzvlük funksiyası adlanır.
Müəyyən bir element X üçün üzvlük funksiyası dəyərləri çağırılır

Mənsubiyyət dərəcəsi

Qeyri-səlis çoxluğun daşıyıcısı
Normal qeyri-səlis çoxluq bunun üçün çoxluqdur

Qeyri-səlis dəst
X - universal dəst
X - A cütləri dəsti yaradır
: - qeyri-səlis çoxluğun üzvlük funksiyası adlanır.
Müəyyən X elementi üçün üzvlük funksiyasının dəyəri üzvlük dərəcəsi adlanır
- qeyri-səlis çoxluğun daşıyıcısı
&
Normal qeyri-səlis çoxluq hər biri üçün bir çoxluqdur

Normal formaya endirsək => onun bütün dəyərlərini bölmək lazımdır
.

Üzvlük funksiyası 10-dan 40-a qədər olan tam ədədlə verilsin
Məhsulun kiçik qalınlığı anlayışını müəyyənləşdirin.

| | | | | | | | x x

10 11 12 13 14 15 16 17 18
18

Qeyri-səlis çoxluqlar üzərində əməliyyatlar

1. Qeyri-səlis çoxluqlar birliyi

2. Qeyri-səlis çoxluqların kəsişməsi

3. Qeyri-səlis çoxluğun tamamlanması

12 və 13-cü mühazirələrin başlanğıcı.

(A1,(A2,….,(x1,x2,…,xn x1(X1 x2(X2 … xn(Xn)

(A1 x(A2 x … x(An = ()

(x (x1,x2,…,xn) = min((A1 (x1), (A2 (x2)...(An (xn) ))

(A x(B = (,)
, }
5. Qeyri-səlis çoxluğun gücə yüksəldilməsi.

(A2 = con((A) - konsentrasiya

(A0,5 = dil((A) – uzanma

Üzvlük funksiyasının təyini üsulları.

2-dən bir qədər çox. 0-dan 5-ə qədər.
|x |0 |1 |2 |3 |4 |5 |
|n1 |- |- |- |10|8 |4 |
|n2 |10|10|10|- |2 |6 |

(A = n1 / (n1 + n2)

Reytinq üsulu.

Qeyri-səlis dəyişən.

(- qeyri-səlis dəyişənin adı x – onun tərif sahəsi

(A mənadır, qeyri-səlis çoxluq qeyri-səlis dəyişənin semantikasını müəyyən edir

Linqvistik dəyişən.

(- linqvistik dəyişənin adı

T – əsas terminlər dəsti – qeyri-səlis dəyişənlərin adlarını formalaşdırır
(nadir hallarda, bəzən, tez-tez), linqvistik dəyişənlərdir

X – linqvistik mənaların daşıyıcısı – tərif sahəsi

G – sintaktik prosedur

M – semantik prosedur

Simvolları çoxlu terminlərdən (və, və ya, yox), tip dəyişdiricilərindən terminlər təşkil edən qrammatik terminlər şəklində sintaktik prosedur.
(çox, az, yox və s.)

(- tezlik

T = (nadir hallarda, bəzən, tez-tez)

Tez-tez

Belə terminlər ilkinlərlə birlikdə çoxluğun şərtlərinin törəməsini təşkil edir.

Semantik prosedurlar termo-qeyri-səlis semantikanın yenidən yazılmasını mümkün edir.

M((1 və ya (2) = (A1 ((A2)).

((1, x1, (A1))

((2, x2, (A2))

M((1 və (2) = (A1 ((A2)).

M(çox() = con((A)

M(bir qədər() = dil((A)

Ssenari.

Bu, mövzu sahəsi üçün səciyyəvi olan hərəkətlərin və hadisələrin ardıcıllığı haqqında biliklərin ümumiləşdirilmiş və struktur formada təqdim olunduğu biliklərin təsviri üçün çərçivə modelləri sinfidir. Bir stereotipi - səbəbli ssenarini nəzərdən keçirək - bu, hədəflərə çatmaq üçün lazım olan hərəkətlərin ardıcıllığını müəyyən edir;

(kcus adı: slot1 adı (slot1 dəyəri); slot2name (slot2 dəyəri);

... yuva adı n (yuva dəyəri n))

(kcus aktyoru hədəf aktyor əsas nəticə sisteminin adı)

Müqavilə əsas hərəkətdən əvvəl onun qüvvəyə minməsi üçün yerinə yetirilməli olan hərəkətləri müəyyən edir. Nəticə son hərəkətdir. Sistemin adı skriptdir.

(kcus "yanğınsöndürmə": aktyor (S :) aktyorun məqsədi (C: "yanğı dayandırmaq")

P11, P12 bağlamaları (cus: “söndürmə vasitələrini axtarın” R1, “söndürən maşınlar”)

K1 açarı (f: “tam atəşkəs üçün söndürmə vasitələrinin istifadəsi”) nəticə (P: “atəşkəs”) sistemin adı (sys: cus*1))

R1 - daha tez olun

(kcus “söndürmə vasitələrinin axtarışı”: aktyor (S:) aktyorun məqsədi (C: “söndürmə vasitələrinin tapılması”)

P121, P22 bağlamaları (cus: “söndürmə vasitələrinin yerləşdiyi yerin koordinatlarının müəyyən edilməsi” R1, “söndürmə vasitələrinin yerinə hərəkət”)

K2 açarı (f: “söndürmə vasitələrini tutmaq”) nəticə (P: “söndürmə vasitələrinin yerləşdiyi yerdə olmaq”) sistemin adı (sys: cus*2))

(kcus “söndürmə vasitələrinin yanğın yerinə daşınması”: aktyor (S:) aktyorun məqsədi (C: “söndürmə vasitələrinin yanğın yerinə çatdırılması”)

P31, P32 bağlamaları (cus: “söndürmə vasitələrinin mövcudluğu” R1, “yanğın yerinin koordinatlarının müəyyən edilməsi”)

K3 açarı (f: “yanğın yerinə hərəkət”) nəticə (P: “yanğın yerində söndürmə vasitələrinin tapılması”) sistemin adı (sys: cus*3))

Ssenari əsasında biliyin təkmilləşdirilməsi.

Sıralama:

D = cus: P11 R1 cus: P12 R1 K1 =

P21R1P22R1K2 P31R1P32R1K3

P21R1P22R1K2 R1 P31R1P32R1K3 R1 K1

Binalar əsas hərəkətdən əvvəl yerinə yetirilməli olan və onun hərəkəti üçün zəruri olan hərəkətləri müəyyənləşdirir. İstintaq son hərəkətdir. Sistem adı skripti.

Pseudofiziki məntiqlərə əsaslanan biliklərin doldurulması.

P1 - təyyarənin enişi

P2 - nərdivan təchizatı

P3 - təyyarəni tərk edən sərnişinlər

P4 - avtobus çatdırılması

P5 - hava limanının terminalına gəliş

Mətnin linqvistik səviyyədə strukturu aşağıdakı düsturla təmsil olunur:

TS = PR4dt&P1R3 10,(P2&P2R1P3&P4R3 2,(P5 t = 15 saat 20 dəqiqə)

PR4dt , P1R3 10,(P2 (P2R4 dt + 10)

P1R3 10,(P2 (P1R1P2

P4R3 2,(P5 (P4R1P5

TS* = P1R1P2& P1R1P3& P2R1P3& P4R1P5

Biliklərin ümumiləşdirilməsinin modelləri və üsulları.

Ümumiləşdirmə mövcud faktları izah edən biliklərin əldə edilməsi prosesinə, eləcə də yeni faktları təsnif etmək, izah etmək və proqnozlaşdırmaq qabiliyyətinə aiddir. İlkin məlumatlar təlim nümunəsi ilə təmsil olunur. Obyektləri siniflərə bölmək olar. Obyektlərin aprior şəkildə siniflərə bölünməsinin müəyyən edilib-edilməməsindən asılı olaraq, ümumiləşdirmə modelləri nümunələr və siniflər üzrə ümumiləşdirmə modellərinə bölünür.

(+ = (01+, 02+…0nj+) – müsbət nümunə.

Mənfi nümunə təyin edilə bilər (- = (01-, 02-…0ьj-)

Obyektin Kj sinfinə aid olub-olmadığını müəyyən etməyə imkan verən qayda tapmaq tələb olunur.

Məlumatların ümumiləşdirilməsi modellərində nümunə sinif obyektləri dəsti ilə təmsil olunur. Ümumiləşdirmə üsulları xüsusiyyətlərinə görə ümumiləşdirmə metodlarına və struktur-məntiqi ümumiləşdirmə metodlarına bölünür.

Z = (z1, z2, …, zr)

Zi = (zi1, zi2, …, zini)

Obyekt Qi = (z1j1, z2j2, …, zrjr) xüsusiyyət dəyərlərinin dəsti ilə xarakterizə olunur.

Struktur-məntiqi ümumiləşdirmə üsulları struktur-məntiqi üsullar arasında daxili quruluşa malik olan obyektlər haqqında bilikləri təmsil etmək üçün istifadə olunur. İki istiqamət irəli sürmək olar: normal hesablamanın induktiv üsulları və semantik şəbəkələrdə ümumiləşdirmə üsulları.

Xarakteristikalar əsasında anlayışların ümumiləşdirilməsi alqoritmi.

Obyektlərin müəyyən bir sinfə aid olub-olmadığını müəyyən etmək qaydaları elementləri hij və funksiyaları olan bir sıra məntiqi düsturlarda təmsil olunur (((((((()

Z = (z1, z2) (cins, yaş)

Z1 = (z11, z12) (m, f)

Z2 = (z21, z22, z23) (gənc, orta, yaşlı)

(j+ = (01+, 02+) (j- = (01-, 02-, 03-))

01+ = (z11, z21) 02+ = (z11, z22)

01- = (z11, z23) 02- = (z12, z21) 03- = (z12, z22)

&i hij - ümumiləşdirilmiş konyunktiv anlayış

0 = max(xij – 1/(i), burada 0 meyardır, xij xüsusiyyətin müəyyən dəyərinin baş vermə tezliyi, (i xüsusiyyətlərin sayıdır.

0 = 3/5 – 1/2 = 0.1

(j+ = (01+, 02+) (j- = (01-))

(-1+ = 0 (-1- = {02-, 03-}

-----------------------

Vəziyyət

Statik

Dinamik

Daimi xüsusiyyətlər və əlaqələr

dövlətlər

Davamlı

Müvəqqəti

Proseslər

(xəstə 1, diaqnoz, kolit, K760)
(xəstə 1, diaqnoz, qastrit, K740)

tələbə

Müəyyən edilməmiş obyekt

Xüsusi obyekt

Maddi obyekt

Qeyri-maddi obyekt

vəziyyət

boşluq

otaq

avadanlıq

tələbələr

inzibati heyət

müəllimlər

xidmət işçiləri

aspirant

şöbə müdiri

metodist

professor

köməkçi

laborant

boşluq

əyalət

məhəllə

işləyir

müəllim

Kafe adı

əvəzetmə

intizam

Qrup kodu

Bilik mühəndisliyi ekspert sistemlərinin qurulması texnologiyasıdır. Bu proses bilik mühəndisi adlanan ekspert sisteminin yaradıcısı ilə müəyyən bir mövzu sahəsində bir və ya bir neçə ekspert arasında qarşılıqlı əlaqənin xüsusi formasını tələb edir. Bilik mühəndisi problemləri həll etmək üçün istifadə etdikləri prosedurları, strategiyaları və əsas qaydaları ekspertlərdən “çıxarır” və bu bilikləri ekspert sisteminə daxil edir. Ekspert sistemlərinin yaradılması zamanı qarşıya çıxan ən çətin problemlərdən biri ekspertin biliklərinin və həll yollarını tapmaq üçün istifadə etdiyi metodların təsvirinin sistemin bilik bazasında təqdim edilməsinə imkan verən formaya çevrilməsi və daha sonra onların həllində səmərəli istifadə edilməsidir. müəyyən bir mövzu sahəsində problemlər.

Bir qayda olaraq, ekspert prosessual və ya kəmiyyət üsullarından istifadə etmir. Onun əsas vasitələri analogiya, intuisiya və abstraksiyadır. Çox vaxt ekspert həll yolunu necə tapdığını belə izah edə bilmir. Bilik bazasının yaradılması üç mərhələdən ibarətdir:
- mövzu sahəsinin təsviri;
- biliyin təmsil modelinin seçimi;
- biliklərin mənimsənilməsi.

Bilik bazasının yaradılmasında ilk addım ekspert sisteminin problemlərin həllinə yönəldiyi mövzu sahəsini müəyyən etməkdir. Əslində, bu iş mühəndisin sistemin tətbiq dairəsinin sərhədləri və həll etdiyi problemlər sinfi haqqında biliklərini müəyyənləşdirməkdən ibarətdir. Bu halda lazımdır:
- həll ediləcək vəzifələrin xarakterini müəyyən etmək;
- mövzu sahəsinin obyektlərini seçmək;
- obyektlər arasında əlaqə yaratmaq;
- biliyin təmsil modelini seçmək;
- mövzu sahəsinin spesifik xüsusiyyətlərini müəyyən etmək.

Domenin identifikasiyası real dünyanı mücərrədləşdirmək üçün ilk addımdır. Mövzu sahəsi müəyyən edildikdən sonra bilik mühəndisi onu rəsmi şəkildə təsvir etməlidir. Bunun üçün o, biliyin təmsil modelini seçməlidir. Formal olaraq, bu, mövzu sahəsinin xüsusiyyətlərini ən yaxşı şəkildə göstərə biləcəyiniz bir model olmalıdır.

Bilik mühəndisi ilk növbədə ekspertlə müsahibə aparmağa borcludur və yalnız bundan sonra sistemi qurmağa başlayır. Bu halda sistemin nəzərdə tutulan məqsədini müəyyən etmək lazımdır. Bu zaman əsas məqsəd alt məqsədlərə bölünür.

Növbəti mərhələdə mənbə məlumatlarının sərhədlərini müəyyən etmək lazımdır. Həll üçün axtarış məkanı yaratmaq üçün ümumi problemin məqsədləri iyerarxiyasının hər bir səviyyəsində alt məqsədləri müəyyən etmək lazımdır. İyerarxiyanın yuxarı hissəsində ümumiliyi ilə sistemin fundamental imkanlarını və məqsədini əks etdirən vəzifə qoyulmalıdır.

Mövzu sahəsinin obyektlərini müəyyən etdikdən sonra onlar arasında hansı əlaqələrin mövcud olduğunu müəyyən etmək lazımdır. Mümkün qədər çox əlaqə müəyyən etməyə çalışmalısınız.

Bu təsviri sistemin bilik bazasında yerləşdirməyə imkan verən formaya gətirmək üçün predmet sahəsinin nəticədə keyfiyyətcə təsviri hansısa formal dil vasitəsi ilə təqdim edilməlidir. Bu problemi həll etmək üçün müvafiq bilik təqdimetmə modeli seçilir, onun köməyi ilə mövzu sahəsi haqqında məlumat formal şəkildə ifadə edilə bilər.>

Sistem təchizat müqaviləsi bağlayan vasitəçidir.

Bilik mühəndisliyi kompüter elminin bir sahəsidir ki, onun daxilində biliklərin kompüterlərdə təqdim edilməsi, onun yenilənməsi və manipulyasiyası üzrə tədqiqatlar aparılır.

Bilik sistemi - biliyə əsaslanan sistem.

SOZ SBZ DBMS ES IS SII - süni intellekt sistemi.

Biliyə əsaslanan sistemin strukturu.

İNTERFACE

Bilik bazası müəyyən bir mövzu sahəsində toplanmış bilikləri kompüterdə təmsil edən modeldir. Bu biliklər rəsmiləşdirilməlidir. Bilik bir modeldən istifadə edərək formalaşır və sonra müəyyən bir dildən istifadə etməklə təmsil olunur.

İnterfeys istifadəçiyə tanış olan dildə dialoq təqdim edir.

Nəticəyə əsaslanan metodlar çox vaxt bilik mühəndisliyində istifadə olunur.

Mövzu sahəsi anlayışı.

Obyekt mövcud olan və ya ayrıca bir varlıq kimi qəbul edilən bir şeydir.

Əsas xüsusiyyətlər: diskretlik; fərq.

Mövzu sahəsini təsvir edən konseptual vasitələr.

Obyekt sinfi anlayışı.

K - obyekt sinfi.

K t – t zamanında K sinfinə aid obyektlərin çoxluğu.

Qrup (1999) = (IA-1-99, IA-1-98, …, IA-1-94, IB-1-99,…)

Qrup (1998) = (IA-1-98, IA-1-97, …, IA-1-93, IB-1-98,…)

" t K t = (… )

Müəllim vəzifəsi = (professor, dosent, baş müəllim, müəllim, assistent)

1 4 Həndəsi fiqur, kvadrat forma, mavi rəng.
obyektlərin atribut cütü

Bir atribut komponent ola bilər. Atribut dedikdə komponentlərin xassə, xarakteristikası və ya adı başa düşülür.

(Həndəsi fiqur:

forma həndəsi forma

rəng Rəng)

Atribut adı və atribut dəyər cütləri çox vaxt eyni olur.

Nümunə vəziyyət:

müəllim Müəllimin soyadı,

yer #_auditoriya,

mövzu Mövzu_adı,

dinləyici Qrup kodu,

gün Həftənin günü,

vaxt Başlama_zamanı)

Vəziyyət – “müəllim” və “dinləyici” arasındakı əlaqə və bu vəziyyətin digər xüsusiyyətləri göstərilir.

Vəziyyətdə iştirakçıların rolları:

Dinləyici

Vəziyyətin xüsusiyyətləri:

(K: A 1 K 1, A 2 K 2, ..., A n K n) – biliyin hansısa struktur şəklində təsviri.

(tarix, gün, ayın_günü)

(tarix, ay, ay_adı)

(tarix, il, il)

(həndəsi_fiqur, forma, həndəsi_şəkil)

(həndəsi_fiqur, rəng, rəng)

Biliyin bu təsviri biliyin ayrı-ayrı faktlar şəklində təqdim edilməsinə uyğun gəlir.

(K: A 1 K 1, A 2 K 2, ..., A n K n)

Obyektlər haqqında biliklərin təmsilləri aşağıdakılara bölünür:

Obyekt sinifləri (məlumat strukturu)

Xüsusi obyektlər haqqında biliklər (məlumatlar haqqında)

Obyekt sinifləri.

1. (K: A 1 K 1, A 2 K 2, ..., A n K n)

Və i atribut adıdır

To i – obyekt sinifləri atribut dəyəridir

K - sinif adı

(müəllimlər:

Tam adı soyadı_baş hərfləri ilə,

Vəzifə öyrədilməsi_vəzifə)

2. (K: A i K i)

(müəllim, tam adı, soyadı_baş hərfləri ilə,

müəllim, vəzifə tədrisi_vəzifəsi)

3. K (K 1, K 2, ..., K n)

4. K (A 1, A 2, ..., A n)

(müəllim (soyad_baş hərflərlə, müəllimlik_vəzifəsi),

müəllim (adı, vəzifəsi))

Birinci forma üçün bilik təmsili:

(K: A 1 K 1 , A 2 K 2 , … , A n K n) k i Î K i

Biliyin atributiv təmsili:

(müəllim: - təmsil edir

Tam adı Semenov - bəzi quruluş

Vəzifə dosent) - məlumat

İkinci forma üçün bilik təmsili:

(K: A i K i) k Î K, k i Î K i

Biliyin fərdi faktlar şəklində atributiv təqdimatı:

(müəllim 1 , tam adı, Semenov) - 1 , 2 arasında əlaqələrdir

(müəllim 1 , vəzifə, dosent) - faktlar

(müəllim 2 , tam adı, Petrov)

(müəllim 2 , vəzifə, köməkçi)

Üçüncü forma üçün bilik təmsili:

K (K 1, K 2, ..., K n)

(müəllim (Semenov, dosent) - biliyin mövqe təmsili

Əgər atribut adları yoxdursa və atributların özləri müəyyən mövqelərdə yazılıbsa, bu, biliyin mövqe təmsilidir.

Biliyin "üçlü" şəklində təmsili - (obyekt, atribut, dəyər).

Qeyri-dəqiq dəyərləri təmsil etmək üçün etimad əmsallarından istifadə olunur - (obyekt, atribut, dəyər, etibarlılıq əmsalı).

(xəstə 1, diaqnoz, kolit, K760)

0 - qeyri-müəyyənliyə uyğundur.

mənfi dəyər – atribut dəyərinin qeyri-mümkünlüyünə inam dərəcəsi.