Գիտելիքների ճարտարագիտություն և գիտելիքների ձեռքբերում: Գիտելիքների ճարտարագիտության Գիտելիքների ներկայացման մոդելներ

Ինժեներական դիսցիպլին, որը զբաղվում է համակարգչային համակարգերի հետ գիտելիքների ինտեգրմամբ՝ լուծելու բարդ խնդիրներ, որոնք սովորաբար պահանջում են բարձր մակարդակի մարդկային փորձ.

գիտելիքների կոնֆիգուրացիայի կառավարում (հաշվապահություն);
փոփոխության կառավարում (էվոլյուցիա);
լոգիստիկա (որոնում և առաքում ըստ անհրաժեշտության):

Բարձր մակարդակի վրա գիտելիքի ճարտարագիտական գործընթացը բաղկացած է երկու.

Գիտելիքի արդյունահանում- «հում գիտելիքի» վերածումը կազմակերպված գիտելիքի, դրա աղբյուրներից գիտելիքներ ստանալու գործընթաց, որոնք կարող են լինել նյութական լրատվամիջոցներ (ֆայլեր, փաստաթղթեր, գրքեր) և փորձագետներ (փորձագետների խմբեր): Այն գիտելիքի ճարտարագիտության մի մասն է:
Գիտելիքների իրականացում- կազմակերպված գիտելիքների փոխակերպումը իրացվածի, կազմակերպված գիտելիքը իրացվածի վերածելու գործընթաց:

Գիտելիքների կառավարման տեխնոլոգիաներ

Առանձնացվում են գիտելիքի կառավարման հետևյալ տեխնոլոգիաները.

աշխատել լուռ գիտելիքներով(լռելյայն գիտելիքներ) փորձագետների մտքում(առավել հաճախ դրանք հենց այն են, ինչ նկատի ունեն, երբ մենք խոսում ենք «գիտելիքների կառավարման» մասին): Կոգնիտոլոգ (դեր).
- օգնում է փորձագետին բացահայտել և ձևավորել փորձագիտական համակարգի գործունեության համար անհրաժեշտ գիտելիքները, փորձագետից քաղել ոչ պաշտոնական գիտելիքներ.
- ընտրում է ինտելեկտուալ համակարգը, որն առավել հարմար է տվյալ խնդրահարույց տարածքի համար և որոշում, թե ինչպես է ներկայացվում գիտելիքը այս IS-ում.
- ընտրում և ծրագրավորում է ստանդարտ գործառույթներ, որոնք կօգտագործվեն փորձագետի կողմից մուտքագրված կանոններում:
աշխատել գրավոր գիտելիքներով(«գիտելիքների կառավարումը» տարածվում է համակարգիչների վրա. կորպորատիվ գիտելիքների կառավարում, Գիտելիքների կառավարում) - շեշտը դնում է «ամբողջ տեքստի որոնման», «իմաստային որոնման», «ավտոմատ անոտացիայի» վրա:
1. NLP-ն որպես տվյալների տրամաբանական դիսցիպլին («աշխատանք ըստ ձևի»), ալիքային տեխնիկա, ընկալման եղանակներ, ենթամոդալներ, տարածական գծանշում, չափաբերում
2. վեբ 2.0-ի օգտագործում (բլոգեր և վիքիներ)
աշխատել գրավոր ֆորմալ գիտելիքներով(գիտելիքների ճարտարագիտություն, որը նույնպես ներառված է գիտելիքի կառավարման մեջ, բայց ոչ այնքան վստահ) - շեշտը կառուցվածքային տվյալների բազաների, ինժեներական մոդելների, տվյալների ինտեգրման վրա։ Գիտելիքի ճարտարագիտության տեխնոլոգիաների մեծ մասը գնացել է այսպես կոչված «իմաստային ցանցի» ներդրման ճանապարհով, Հուսերլ-Վիտգենշտեյն-Բունգեի մոտեցմամբ, որ գիտելիքը ներկայացվում է փաստերով (իսկ փաստերը հասկացությունների միջև փոխհարաբերություններ են): Փաստերի մի շարքից առաջանում է իմաստային ցանց (տե՛ս Ջոն Ֆ. Սովաի ակնարկը), որտեղ եզրային հարաբերությունները կապում են գագաթային հասկացությունները։ Իմաստային ձևով գիտելիքը պահելու և օգտագործելու գաղափարն իրականացվել է պրակտիկայի գրեթե չհամընկնող համայնքների կողմից, ինչը հանգեցրել է հսկայական թվով իրականացումների և ստանդարտների առաջացմանը, որոնցում ոչ մի բառ նույնը չէ, այլ գաղափարապես և տեխնոլոգիապես համատեղելի:
1. Տվյալների մոդելավորում + Տվյալների ինտեգրում. Դրանք օգտագործվում են, երբ մեծ արդյունաբերական օբյեկտի կառուցման ժամանակ անհրաժեշտ է միավորել տարբեր մատակարարների բազմաթիվ CAD համակարգերի տվյալները: Հիմնաբառեր ISO 15926, Gellish, ISO 10303: «Օնտոլոգիա» բառի փոխարեն ասում են «տվյալների մոդել»։ Գործնականում ոչ մեկը, տվյալների բոլոր հարցումները: Բոլորը գիտելիքով պայքարում են ձեռնամուխ։ Չկան գրաֆիկա, բոլոր XML, սեփականության պահպանման ձևաչափեր Տվյալների սխեմաներ յուրաքանչյուր առանձին CAD համակարգում: Վերջերս հայտնվեցին այլ լուծումներ, որոնք ուղղված էին տարասեռ տվյալների ինտեգրմանը, օրինակ՝ CYC-ից և (հիմնված ստանդարտացված UMBEL գոյաբանության վրա, արտահայտությունը RDF-ում և տվյալների հասանելիությունը HTTP-ի միջոցով, տես): ISO 15926-7 նախագծերը հանգում են նույն բանին. որոշակի գոյաբանություն + իմաստային վեբ ստանդարտներ:
2. Հայեցակարգային քարտեզ() Օգտագործվում է (հաճախ համացանցի միջոցով համատեղ) կրթական և ստեղծագործական աշխատանքի համար: Հիմնական ձևաչափեր (բոլորը XML-ով) XCT 3.0, բայց պատրաստ է օգտագործել Թեմայի քարտեզ և շատ ավելին խմբագրման և ցուցադրման համար: Գիտելիքների կառավարման գործիքներգրաֆիկական ցուցադրում, որը միավորում է ցանցերը, որոնք գծվել են ստեղծագործական գործընթացի երկու մասնակիցների կողմից: Մոտ ազգականը MindMap-ն է, որտեղ ընդհանրապես ոչ թե գրաֆիկ կա, այլ գեղեցիկ գծագրված ծառ, իսկ կապերն անանուն են։
3. Հայեցակարգային գրաֆիկներՕգտագործվում է արհեստական ինտելեկտի, փորձագիտական համակարգերի, գործակալական համակարգերի և ժանրի այլ դասականների ակադեմիական ուսումնասիրությունների համար: Նրանք հիմնվում են փիլիսոփա և տրամաբան Փիրսի աշխատանքի վրա («խելացի ինդեքսավորում»), առանցքային անձը Ջոն Ֆ. Սովան է։ Գիտելիքի պահպանման հիմնական ձևաչափըերեք շարահյուսություն, որոնցից հիմնականը CGIF (XML) է: Գիտելիքների կառավարման գործիքներԸնդհանուր տրամաբանություն (կամ ISO ISO/IEC IS 24707:2007, ):
4. Թեմայի քարտեզԴրանք կօգտագործվեն Գիտելիքի կառավարման նախաձեռնությունների համար, և դրանք ստացվել են կատալոգներից (մատենագետներից): Ստանդարտացման մեծ երկրպագուներ (տես), բայց կորցրել են ուշադրությունը (նրանք անխնա ձգվում են ընդհանուր տվյալների մոդելավորմանը, որտեղ նրանք կորցնում են իմաստային վեբ մոտեցումները): Գիտելիքի պահպանման հիմնական ձևաչափերը ISO 13250, XTM 2.0, HyTM: Գիտելիքների կառավարման գործիքներՕգտագործված է թեմայի քարտեզի շարժիչը (տասնյակ տարբերակներ), քանի որ TMAPI 2.0-ը ստանդարտացված է: Ի հավելումն, թեմատիկ քարտեզների համար սահմանափակումներ սահմանելու հատուկ ստանդարտ՝ ISO/IEC FCD 19756 (TMCL) հասել է ավարտի, և թեմայի քարտեզի հարցումների լեզուն (ISO 18048 նախագիծ) կարծես կանգ է առել:

17.2. Գիտելիքի արդյունահանման գործնական մեթոդներ

17.3. Գիտելիքների կառուցվածքը

Խելացի տեղեկատվական տեխնոլոգիաների ստեղծման հիմնական խնդիրը համակարգչային հիշողության մեջ մասնագետի գիտելիքների համարժեք ներկայացումն է: Սա հանգեցրեց համակարգչային գիտության նոր ուղղության զարգացմանը՝ գիտելիքի ճարտարագիտություն, որտեղ որոշվում է մարդկային գիտելիքների և համակարգչում դրա պաշտոնական (տեղեկատվական) ցուցադրման միջև կապը: Գիտելիքների ճարտարագիտությունը ուսումնասիրում և մշակում է գիտելիքների ձեռքբերման, դրա վերլուծության և ձևակերպման հետ կապված հարցեր՝ խելացի համակարգում հետագա ներդրման համար:

Գլխի նպատակը- ակնարկ տալ գիտելիքի ճարտարագիտության հիմնական տեսական ասպեկտներին և ներկայացնել որպես գիտելիքի ինժեներ աշխատելու որոշ գործնական մեթոդներ:

Այս գլուխն ուսումնասիրելուց հետո դուք պետք է իմանաք.

Փորձագիտական համակարգեր մշակելիս գիտելիք ձեռք բերելու մոտեցումներ

Տեսական խնդիրներ, որոնք ծագում են գիտելիքի որոնման մեջ

Հոգեբանական և լեզվական գործոնների առանձնահատկությունները, որոնք անհրաժեշտ է հաշվի առնել գիտելիքի ինժեների կողմից

Գիտելիքի փիլիսոփայության ազդեցությունը գիտելիքի ինժեների աշխատանքի վրա

Գիտելիքի ինժեների մեթոդները գիտելիքի աղբյուրի հետ աշխատելիս

Գիտելիքների արդյունահանման մեթոդներ

Փորձագիտական խաղերի էությունը

Տեքստերից գիտելիքներ քաղելու մեթոդներ

Ձեռք բերված գիտելիքների կառուցվածքը

Առարկայական տարածքի հայեցակարգային և ֆունկցիոնալ կառուցվածքի ձևավորում

Ինչպե՞ս է ձևավորվում գիտելիքը և ձևավորվում գիտելիքների բազա:

17.1. Գիտելիքների ձեռքբերման տեսական ասպեկտները

Գիտելիք ձեռք բերելու ռազմավարություններ

Հոգեբանական ասպեկտ

Լեզվական ասպեկտ

Իմացաբանական ասպեկտ

ԳԻՏԵԼԻՔՆԵՐ ՍՏԱՑՆԵԼՈՒ ՌԱԶՄԱՎԱՐՈՒԹՅՈՒՆՆԵՐ

Գիտելիք ձեռք բերելու մի քանի ռազմավարություն կա. Առավել տարածված:

ձեռքբերում;

արդյունահանում;

կազմում.

Տակ գիտելիքների ձեռքբերումհասկանում է գիտելիքի բազայի ավտոմատացված կառուցման մեթոդը փորձագետի և հատուկ ծրագրի միջև երկխոսության միջոցով (այս դեպքում գիտելիքի կառուցվածքը նախապես ներկառուցված է ծրագրի մեջ): Այս ռազմավարությունը պահանջում է առարկայական ոլորտի զգալի նախնական ուսումնասիրություն: Գիտելիքների ձեռքբերման համակարգերն իրականում ձեռք են բերում գիտելիքների պատրաստի կտորներ՝ համակարգ մշակողների կողմից սահմանված կառուցվածքներին համապատասխան: Այս գործիքներից շատերը հատուկ կենտրոնացած են հատուկ փորձագիտական համակարգերի վրա՝ խիստ սահմանված առարկայական տիրույթով և գիտելիքների ներկայացման մոդելով, այսինքն. համընդհանուր չեն: Օրինակ, TEIRESIAS համակարգը, որը դարձավ գիտելիք ձեռք բերելու բոլոր գործիքների նախահայրը, նախատեսված է համալրելու MYCIN համակարգի կամ նրա դուստր մասնաճյուղերի գիտելիքների բազան, որը կառուցված է EMYCIN «կեղևի» վրա բժշկական ախտորոշման ոլորտում՝ օգտագործելով արտադրություն: մոդել ներկայացուցչությունգիտելիք։

Ժամկետ գիտելիքների արդյունահանումվերաբերում է գիտելիքի ինժեների և գիտելիքի աղբյուրի ուղիղ կենդանի շփմանը: Հեղինակները հակված են օգտագործել այս տերմինը որպես ավելի տարողունակ և ավելի ճշգրիտ արտահայտիչ իմաստ՝ գիտելիքի ինժեների միջոցով փորձագետի իրավասությունը փորձագիտական համակարգի գիտելիքների բազա փոխանցելու ընթացակարգի:

Ժամկետ ձևերըվերևգիտելիքների ձեռքբերումավանդաբար նշանակվել է գիտելիքի ճարտարագիտության չափազանց խոստումնալից և ակտիվ զարգացող բնագավառ, որը զբաղվում է գիտելիքների ձեռքբերման և ուսուցման համար տվյալների վերլուծության մոդելների, մեթոդների և ալգորիթմների մշակմամբ: Այս ոլորտը ներառում է ինդուկտիվ մոդելներ՝ ուսուցման նմուշներից վարկածներ ստեղծելու, անալոգիայի միջոցով սովորելու և այլ մեթոդների համար:

Այսպիսով, մենք կարող ենք առանձնացնել փորձագիտական համակարգերի մշակման գիտելիքի ձեռքբերման փուլն անցկացնելու երեք ռազմավարություն (նկ. 17.1):

Բրինձ. 17.1.Գիտելիք ձեռք բերելու երեք ռազմավարություն

Մեր երկրում փորձագիտական համակարգերի զարգացման ներկա փուլում գիտելիքի արդյունահանման ռազմավարությունը, ըստ երևույթին, ամենաարդիականն է, քանի որ ծրագրային ապահովման ներքին շուկայում գործնականում չկան գիտելիք ձեռք բերելու և ձևավորելու արդյունաբերական համակարգեր:

Գիտելիքի արդյունահանում– սա փորձագետի և գիտելիքի աղբյուրի միջև փոխազդեցության ընթացակարգ է, որի արդյունքում պարզ է դառնում որոշում կայացնելիս մասնագետների հիմնավորման գործընթացը և թեմայի վերաբերյալ նրանց պատկերացումների կառուցվածքը:

Ներկայումս փորձագիտական համակարգերի մշակողների մեծ մասը նշում է, որ գիտելիքի արդյունահանման գործընթացը մնում է արդյունաբերական համակարգերի կառուցման խոչընդոտը:

Գիտելիքի արդյունահանման գործընթացը երկար և աշխատատար պրոցեդուրա է, երբ գիտելիքի ինժեները, զինված ճանաչողական հոգեբանության, համակարգերի վերլուծության, մաթեմատիկական տրամաբանության և այլնի հատուկ գիտելիքներով, պետք է վերստեղծի առարկայական ոլորտի մոդելը, որն օգտագործում են փորձագետները: որոշումները. Հաճախ փորձագիտական համակարգերի սկսնակ մշակողները, ցանկանալով խուսափել այս ցավոտ պրոցեդուրայից, հարց են տալիս՝ կարո՞ղ է փորձագետը գիտելիք կորզել իրենից: Շատ պատճառներով դա անցանկալի է։

Նախ, փորձագետի գիտելիքների մեծ մասը արդյունք է բազմաթիվ շերտերի, փորձի փուլերի: Եվ հաճախ դա իմանալով Ապետք է IN,փորձագետը չի գիտակցում, որ իր հիմնավորումների շղթան, օրինակ, շատ ավելի երկար է եղել ՀԵՏ Դ, Դ  Ա, Ա IN,կամ Ա Ք, Ք  Ռ, Ռ  Բ.

Երկրորդ, ինչպես գիտեին հին մարդիկ (հիշեք Պլատոնի «Երկխոսությունները»), մտածողությունը երկխոսական է: Եվ հետևաբար, գիտելիքի ինժեների և փորձագետի միջև երկխոսությունը փորձագետի հիշողության լաբիրինթոսները «բացելու» ամենաբնական ձևն է, որում պահվում է գիտելիքը, մասամբ ոչ խոսքային բնույթի, այսինքն. արտահայտված ոչ թե բառերի, օրինակ տեսողական պատկերների տեսքով։ Գիտելիքի ինժեներին բացատրելու գործընթացում է, որ փորձագետը հստակ բառային պիտակներ է դնում այս մշուշոտ ասոցիատիվ պատկերների վրա, այսինքն. բանավոր փոխանցում է գիտելիքները.

Երրորդ, փորձագետի համար շատ ավելի դժվար է ստեղծել առարկայական տարածքի մոդել՝ իր ունեցած տեղեկատվության խորության և ընդարձակության պատճառով: Իրական առարկայի բազմաթիվ պատճառահետևանքային հարաբերությունները կազմում են բարդ համակարգ, որից «կմախքի» կամ հիմնական կառուցվածքի մեկուսացումը երբեմն ավելի հասանելի է վերլուծաբանի համար, ով նաև ունի համակարգված մեթոդաբանություն. ցանկացած մոդել պարզեցում է, և ավելի հեշտ է պարզեցնել մանրամասների քիչ իմացությամբ:

Գիտելիքների արդյունահանման բնույթը հասկանալու համար մենք ընդգծում ենք այս ընթացակարգի երեք հիմնական ասպեկտները (նկ. 17.2)՝ հոգեբանական, լեզվաբանական, իմացաբանական, որոնք մանրամասն նկարագրված են.

Բրինձ. 17.2.Գիտելիքների որոնման հիմնական ասպեկտները

ՀՈԳԵԲԱՆԱԿԱՆ ԱՍՊԵԿՏ

Գիտելիքի որոնման հաղորդակցման մոդել

Գիտելիքի արդյունահանման երեք բացահայտված ասպեկտներից հոգեբանականդա, ըստ երևույթին, գլխավորն է, քանի որ այն որոշում է գիտելիքի ինժեների (վերլուծաբանի) և գիտելիքի հիմնական աղբյուրի՝ պրոֆեսիոնալ փորձագետի միջև փոխգործակցության հաջողությունն ու արդյունավետությունը: Մենք կարևորում ենք հոգեբանական ասպեկտը նաև այն պատճառով, որ գիտելիքի արդյունահանումը առավել հաճախ տեղի է ունենում համակարգի մշակողների միջև անմիջական շփման գործընթացում:

Հաղորդակցվելու ցանկությունն ու կարողությունը կարող են բնութագրել գիտելիքի ինժեների պրոֆեսիոնալիզմի աստիճանը:

Հայտնի է, որ խոսակցական հաղորդակցության ընթացքում տեղեկատվության կորուստները մեծ են (նկ. 17.3): Այս առումով մենք կդիտարկենք հոգեբանական գիտելիքների կիրառման միջոցով վերլուծաբանի և փորձագետի միջև հաղորդակցության տեղեկատվական բովանդակության բարձրացման խնդիրը:

Բրինձ. 17.3.Հաղորդակցության ընթացքում տեղեկատվության կորուստ

Գիտելիքի արդյունահանման ժամանակ մենք կարող ենք առաջարկել հաղորդակցության հետևյալ կառուցվածքային մոդելը.

կապի մասնակիցներ (գործընկերներ);

կապի միջոցներ (ընթացակարգ);

կապի առարկա (գիտելիք):

Այս կառուցվածքին համապատասխան՝ մենք կառանձնացնենք հոգեբանական խնդիրների երեք «շերտեր», որոնք առաջանում են գիտելիքի արդյունահանման ժամանակ (նկ. 17.4) և կդիտարկենք դրանք հաջորդաբար:

Բրինձ. 17.4.Գիտելիքի արդյունահանման հոգեբանական ասպեկտի կառուցվածքը

շփման շերտ

Գրեթե բոլոր հոգեբանները նշում են, որ ցանկացած կոլեկտիվ գործընթացի վրա ազդում է այն մթնոլորտը, որն առաջանում է մասնակիցների խմբում։ Կան փորձեր, որոնց արդյունքները անհերքելիորեն ցույց են տալիս, որ թիմում ընկերական մթնոլորտն ավելի մեծ ազդեցություն ունի արդյունքի վրա, քան առանձին խմբի անդամների անհատական կարողությունները: Հատկապես կարևոր է, որ զարգացման թիմը զարգացնի ոչ թե մրցակցային, այլ համագործակցային հարաբերություններ: Համագործակցությունը բնութագրվում է համագործակցության մթնոլորտով, փոխօգնությամբ, հետաքրքրությամբ միմյանց հաջողություններով, այսինքն. բարոյական հաղորդակցության մակարդակ, իսկ մրցակցային տիպի հարաբերությունների համար՝ անհատականության և միջանձնային մրցակցության մթնոլորտ (շփման ցածր մակարդակ):

Ցավոք, 100% երաշխիքով հնարավոր չէ կանխատեսել համատեղելիությունը հաղորդակցության մեջ: Այնուամենայնիվ, հնարավոր է բացահայտել հաղորդակցության մասնակիցների անհատականության մի շարք գծեր, բնավորություն և այլ բնութագրեր, որոնք, անկասկած, ազդում են ընթացակարգի արդյունավետության վրա: Այս հոգեբանական օրինաչափությունների իմացությունը հոգեբանական մշակույթի մի մասն է, որը գիտելիքի ինժեները պետք է ունենա գիտելիքի արդյունահանման փուլը հաջողությամբ իրականացնելու համար.

բարի կամք և ընկերասիրություն;

հումորի զգացում;

լավ հիշողություն և ուշադրություն;

դիտարկում;

երևակայություն և տպավորիչություն;

ավելի մեծ կենտրոնացում և հաստատակամություն;

մարդամոտություն և հնարամտություն;

վերլուծականություն;

գրավիչ տեսք և հագնվելու ձև;

ինքնավստահություն.

Ընթացակարգային շերտ

Գիտելիքի ինժեները, ով հաջողությամբ յուրացրել է վստահության և փորձագետի հետ հարաբերությունների գիտությունը (շփման շերտը) դեռ պետք է կարողանա օգտվել այս մթնոլորտի շահավետ ազդեցություններից: Ընթացակարգային շերտի խնդիրները վերաբերում են հենց գիտելիքի արդյունահանման ընթացակարգին։ Այստեղ քիչ է անհրաժեշտ խորաթափանցությունը և հմայքը, որը օգտակար է շփման խնդրի լուծման համար.

Եկեք անդրադառնանք ընթացակարգի ընդհանուր սկզբունքներին:

Փորձագետի հետ զրույցը լավագույնս անցկացվում է առանձնացված փոքրիկ սենյակում: Լուսավորությունը, ջերմությունը, հարմարավետությունն ուղղակիորեն ազդում են ձեր տրամադրության վրա։ Թեյը կամ սուրճը կստեղծեն ընկերական մթնոլորտ։ Ամերիկացի հոգեբան Ի. Աթվաթերը կարծում է, որ գործնական հաղորդակցության համար ամենաբարենպաստ հեռավորությունը 1,2-ից 3 մ է: Նվազագույն «հարմարավետ» հեռավորությունը կարելի է համարել 0,7-0,8 մ:

Ձեր սեփական պատճառաբանությունը վերակառուցելը հեշտ գործ չէ, և, հետևաբար, մեկ նստաշրջանի տեւողությունը սովորաբար չի գերազանցում 1,5-2 ժամը: Ավելի լավ է ընտրել այս երկու ժամը օրվա առաջին կեսին (օրինակ՝ ժամը 10-ից 12-ը): ժամացույց): Հայտնի է, որ զրույցի ընթացքում զուգընկերների փոխադարձ հոգնածությունը սովորաբար տեղի է ունենում 20-25 րոպե հետո, ուստի նիստում դադարներ են անհրաժեշտ։

Յուրաքանչյուր գիտելիքի ինժեներ ունի խոսելու իր յուրահատուկ ձևը: Ոմանք խոսում են արագ, մյուսները խոսում են դանդաղ; ոմանք բարձրաձայն են, մյուսները՝ լուռ և այլն: Խոսակցության ոճը փոխելը գրեթե անհնար է, դա մարդու մեջ արմատացած է վաղ մանկությունից: Այնուամենայնիվ, գիտելիքի արդյունահանումը մասնագիտական խոսակցություն է, և դրա հաջողության վրա ազդում է նաև այն արտահայտությունների երկարությունը, որոնք խոսում է գիտելիքի ինժեները:

Այս փաստը հաստատել են ամերիկացի գիտնականներ՝ լեզվաբան Ինգվեն և հոգեբան Միլլերը։ Պարզվել է, որ մարդն ամենալավն է ընկալում 7 գումարած կամ մինուս 2 բառի խորությամբ (կամ երկարությամբ) նախադասությունները։ Այս թիվը (7+2) կոչվում է Yngve-Miller համար: Դա կարելի է համարել խոսքի «խոսակցականության» չափանիշ։

Ոչ ոք չի կասկածում գիտելիքի արդյունահանման կարգը շտկելու անհրաժեշտության վրա։ Հարց է առաջանում՝ ի՞նչ ձևով դա պետք է արվի։ Արդյունքները գրանցելու երեք եղանակ կա.

թղթի վրա ուղղակիորեն զրույցի ընթացքում ձայնագրություն (թերություններ. դա հաճախ խանգարում է խոսակցությանը, բացի այդ, դժվար է ժամանակ ունենալ ամեն ինչ գրի առնելու համար, նույնիսկ եթե դուք ունեք սղագրության հմտություններ);

ձայնագրություն, որն օգնում է վերլուծաբանին վերլուծել նիստի ամբողջ ընթացքը և իր սխալները (թերություն. դա կարող է խանգարել փորձագետին);

անգիր անելը, որին հաջորդում է ձայնագրությունը զրույցից հետո (թերություն՝ հարմար է միայն փայլուն հիշողություն ունեցող վերլուծաբանների համար):

Ճանաչողական շերտ

Կոգնիտիվ հոգեբանությունը (անգլ. ճանաչողություն) ուսումնասիրում է այն մեխանիզմները, որոնցով մարդը հասկանում է իրեն շրջապատող աշխարհը։

Եկեք մի քանի խորհուրդ տանք գիտելիքի ինժեներին ճանաչողական հոգեբանության տեսանկյունից.

փորձագետին մի պարտադրեք ներկայացման մոդելը, որն ավելի հասկանալի և բնական է նրա համար (վերլուծաբան).

օգտագործել փորձագետի հետ աշխատելու տարբեր մեթոդներ՝ հիմնվելով այն պայմանի վրա, որ մեթոդը պետք է համապատասխանի փորձագետին «կողպեքի բանալին».

հստակ հասկանալ արդյունահանման ընթացակարգի նպատակը կամ դրա հիմնական ռազմավարությունը, որը կարող է սահմանվել որպես առարկայական ոլորտի հիմնական հասկացությունների և դրանք կապող հարաբերությունների նույնականացում.

ավելի հաճախ գծեք դիագրամներ, որոնք արտացոլում են փորձագետի հիմնավորումը: Դա պայմանավորված է մարդու հիշողության մեջ տեղեկատվության փոխաբերական ներկայացմամբ:

Վերևում ներկայացված նյութը սերտորեն կապված է հոգեբանական մշակույթի հիմունքների հետ, որը ներառում է իր և այլ մարդկանց ըմբռնումն ու իմացությունը. համարժեք ինքնագնահատական և այլ մարդկանց գնահատում; հոգեկան վիճակի ինքնակարգավորում. Ավելի հեշտ է յուրացնել այս մշակույթը մասնագետների՝ հոգեբանների, հոգեթերապևտների օգնությամբ, բայց դուք կարող եք դա անել ինքներդ՝ օրինակ գրքերի, թեկուզ հայտնիների օգնությամբ։ Բացի այդ, դերասանական վարպետության հիմունքներին տիրապետելը և սոցիալ-հոգեբանական տեսաթրեյնինգի հատուկ պարապմունքներին մասնակցելը նպաստում է հոգեբանական անհաջողությունների հաջող հաղթահարմանը:

Եզրափակելով, ահա սկսնակ վերլուծաբանի մի շարք ավանդական հոգեբանական ձախողումներ.

փորձագետի և գիտելիքի ինժեների միջև կապի բացակայությունը (մեկի կամ մյուսի հոգեբանական բնութագրերի պատճառով, ընթացակարգի սխալները, «ֆասադային» էֆեկտի առաջացումը, այսինքն. փորձագետի ցանկությունը «ցուցադրվելու»);

հասկացողության բացակայություն («պրոյեկցիոն» էֆեկտի պատճառով, այսինքն՝ վերլուծաբանի տեսակետը փորձագետի տեսակետին փոխանցելը, կամ «կարգի» էֆեկտը, այսինքն՝ ուշադրությունը կենտրոնացնելը հիմնականում առաջին արտահայտվածի վրա և այլն);

խոսակցությունների ցածր արդյունավետություն (փորձագետի թույլ մոտիվացիա, օրինակ՝ հետաքրքրության բացակայություն; կամ խոսակցության վատ տեմպ; կամ հարցերի անհամապատասխան ձև, կամ փորձագետի անբավարար պատասխաններ):

ԼԵԶՎԱԿԱՆ ԱՍՊԵԿՏ

Լեզվական ասպեկտի կառուցվածքը

Քանի որ գիտելիքի ինժեների և փորձագետի միջև հաղորդակցության գործընթացը լեզվական հաղորդակցություն է, եկեք դիտարկենք լեզվական ասպեկտգիտելիքի ճարտարագիտություն. Առանձնացնենք ճարտարագիտական գիտելիքների համար կարևոր լեզվաբանական խնդիրների երեք շերտեր (նկ. 17.5):

Բրինձ. 17.5.Գիտելիքների որոնման լեզվական կողմի կառուցվածքը

Համօգտագործվող կոդի խնդիր

Հոգեբանների և լեզվաբանների մեծ մասը կարծում է, որ լեզուն մտածողության հիմնական միջոցն է՝ «ներքին օգտագործման» այլ նշանների համակարգերի հետ միասին։ Վերլուծաբանի և փորձագետի խոսած և մտածած լեզուները կարող են զգալիորեն տարբերվել:

Այսպիսով, մենք հետաքրքրված ենք երկու լեզուներով. վերլուծական լեզու,բաղկացած երեք բաղադրիչներից.

առարկայական ոլորտի պայմանները, որոնք նա սովորել է նախապատրաստման ընթացքում մասնագիտացված գրականությունից.

ընդհանուր գիտական տերմինաբանություն նրա «տեսական ուղեբեռից».

վերլուծաբանի կողմից օգտագործվող ամենօրյա խոսակցական լեզուն.

և լեզուն փորձագետբաղկացած.

առարկայական ոլորտում ընդունված հատուկ տերմինաբանությունից.

ընդհանուր գիտական տերմինաբանություն; ամենօրյա լեզու;

նեոլոգիզմները, որոնք ստեղծվել են փորձագետի կողմից աշխատանքի ընթացքում (նրա մասնագիտական ժարգոնը).

Եթե ենթադրենք, որ հաղորդակցության երկու մասնակիցների առօրյա և ընդհանուր գիտական լեզուները մոտավորապես համընկնում են, ապա որոշ ընդհանուր լեզու կամ ծածկագիր, որը գործընկերները պետք է մշակեն հաջող փոխգործակցության համար, բաղկացած կլինի Նկարում ներկայացված հոսքերից: 17.6. Հետագայում այս ընդհանուր ծածկագիրը փոխակերպվում է որոշակի հայեցակարգային (իմաստային) ցանցի, որը առարկայական ոլորտի գիտելիքների ոլորտի նախատիպն է։

Բրինձ. 17.6.Ընդհանուր ծածկագիր ստանալու սխեմա

Ընդհանուր կոդի մշակումը սկսվում է նրանից, որ վերլուծաբանը գրի է առնում փորձագետի օգտագործած բոլոր տերմինները և պարզաբանում դրանց իմաստը: Իրականում սա առարկայական ոլորտի բառարանի կազմում է։ Դրան հաջորդում է տերմինների խմբավորումը և հոմանիշների (նույնը նշանակող բառերի) ընտրությունը։ Ընդհանուր կոդի մշակումն ավարտվում է առարկայական ոլորտի տերմինների բառարան կազմելով՝ դրանց նախնական խմբավորումն ըստ նշանակության, այսինքն. հայեցակարգային մոտիկությամբ (սա գիտելիքների կառուցվածքի առաջին քայլն է):

Բրինձ. 17.7-ը պատկերացում է տալիս երկու մասնագետների կողմից տերմինների մեկնաբանման անորոշության մասին: Նշանակագիտությունում՝ նշանային համակարգերի գիտության մեջ, մեկնաբանության խնդիրը կենտրոնականներից է։ Մեկնաբանությունը կապում է «նշանը» և «նշանակված առարկան»: Միայն մեկնաբանության միջոցով է նշանն իմաստ ստանում: Այսպիսով, Նկ. 17.7 «Սարք X» բառերը փորձագետի համար նշանակում են որոշակի որոշակի շղթա, որը համապատասխանում է սկզբնական սարքի միացմանը, սակայն սկսնակ վերլուծաբանի գլխում «սարք X» բառերը առաջացնում են դատարկ պատկեր կամ ինչ-որ «սև արկղ»: բռնակներով։

Բրինձ. 17.7.Մեկնաբանության խնդրի երկիմաստություն

Հայեցակարգային կառուցվածք

Արհեստական ինտելեկտի և ճանաչողական հոգեբանության փորձագետների մեծ մասը կարծում է, որ բնական ինտելեկտի և հատկապես հիշողության հիմնական առանձնահատկությունը բոլոր հասկացությունների միացումն է ցանցի մեջ: Հետևաբար, գիտելիքների բազա մշակելու համար ձեզ հարկավոր է ոչ թե բառարան, այլ հանրագիտարան, որտեղ բոլոր տերմինները բացատրված են բառարանի գրառումներում՝ այլ տերմինների հղումներով:

Այսպիսով, գիտելիքի ինժեների լեզվական աշխատանքը տվյալ խնդրի շերտում նման հարակից հատվածներ կառուցելն է՝ «կարելով» տերմինները: Վերլուծաբանի և փորձագետի զգույշ աշխատանքով կոնցեպտուալ կառույցներում սկսում է առաջանալ հասկացությունների հիերարխիա, որն ընդհանուր առմամբ համահունչ է ճանաչողական հոգեբանության արդյունքներին։

Հասկացությունների հիերարխիագլոբալ սխեմա է, որը կարող է հիմք հանդիսանալ ցանկացած առարկայի գիտելիքի կառուցվածքի հայեցակարգային վերլուծության համար:

Հարկ է ընդգծել, որ բառարան և հայեցակարգային կառուցվածք կազմելու աշխատանքը պահանջում է լեզվական «զգացում», տերմինների մանիպուլյացիայի հեշտություն և գիտելիքների ինժեների հարուստ բառապաշար, քանի որ վերլուծաբանը հաճախ ստիպված է ինքնուրույն մշակել առանձնահատկությունների բառարան: Որքան հարուստ և արտահայտիչ է ընդհանուր ծածկագիրը, այնքան ավելի ամբողջական է գիտելիքների բազան:

Վերլուծաբանը ստիպված է անընդհատ հիշել պատկերներն ու գաղափարները բանավոր կերպով փոխանցելու դժվարությունը։ Հաճախ գիտելիքի ինժեները պետք է մասնագետին առաջարկի բառեր և արտահայտություններ:

Օգտագործողի բառարան

Լեզվաբանական արդյունքները, որոնք փոխկապակցված են ընդհանուր կոդի շերտերի և հայեցակարգային կառուցվածքի հետ, ուղղված են համապատասխան գիտելիքների բազա ստեղծելուն: Այնուամենայնիվ, չպետք է մոռանալ, որ վերջնական օգտագործողի մասնագիտական մակարդակը կարող է թույլ չտալ նրան ամբողջությամբ օգտագործել տիրույթին հատուկ լեզուն։ Օգտատիրոջ միջերես մշակելու համար անհրաժեշտ է ընդհանուր կոդերի բառարանի լրացուցիչ ճշգրտում, որը հարմարեցված է համակարգի մատչելիության և «թափանցիկության» համար:

Եզրափակելով, մենք թվարկում ենք բնորոշ լեզվական ձախողումները, որոնք սպասում են սկսնակ գիտելիքի ինժեներին.

տարբեր լեզուներով խոսելը (գիտելիքների ինժեների վատ պատրաստվածության պատճառով);

համատեքստի հետ անհամապատասխանություն և տերմինների ոչ համարժեք մեկնաբանում (հետադարձ կապի բացակայության պատճառով, այսինքն՝ գիտելիքի ինժեների չափազանց անկախ աշխատանքի պատճառով);

ընդհանուր կոդի և օգտագործողի լեզվի միջև տարբերությունների բացակայություն (հաշվի չի առնվում փորձագետի և օգտագործողի գիտելիքների մակարդակի տարբերությունները):

ԳՆՈՍԱԲԱՆԱԿԱՆ ԱՍՊԵԿՏ

Իմացաբանական ասպեկտի էությունը

Իմացաբանությունփիլիսոփայության ճյուղ է, որը կապված է գիտելիքի տեսության կամ մարդու գիտակցության մեջ իրականության արտացոլման տեսության հետ։

Գիտելիքի ճարտարագիտությունը որպես գիտություն, այսպես ասած, կրկնակի իմացաբանական է. իրականությունը (O) նախ արտացոլվում է փորձագետի գիտակցության մեջ (M 1), իսկ հետո փորձագետի գործունեությունն ու փորձը մեկնաբանվում է գիտելիքի ինժեների գիտակցությամբ: (M 2), որն արդեն հիմք է հանդիսանում երրորդ մեկնաբանությունների (P z) կառուցման համար՝ փորձագիտական համակարգի գիտելիքների ոլորտները (նկ. 17.8): Ճանաչողության գործընթացն ըստ էության ուղղված է մարդու մտքում շրջապատող աշխարհի ներքին ներկայացուցչության ստեղծմանը:

Բրինձ. 17.8.Գիտելիքի արդյունահանման իմացաբանական ասպեկտը

Գիտելիքի արդյունահանման գործընթացում վերլուծաբանը հիմնականում հետաքրքրված է գիտելիքի բաղադրիչով, որը կապված է փորձագետների ոչ կանոնական անհատական գիտելիքների հետ, քանի որ այս տեսակի գիտելիքներով առարկայական ոլորտները համարվում են առավել ենթակա են փորձագիտական համակարգերի ներդրմանը: Այս ոլորտները սովորաբար կոչվում են էմպիրիկ, քանի որ դրանք կուտակել են առանձին էմպիրիկ փաստերի և դիտարկումների մեծ ծավալ, մինչդեռ դրանց տեսական ընդհանրացումը ապագայի խնդիր է:

Գիտելիքը միշտ կապված է նոր հասկացությունների և տեսությունների ստեղծման հետ: Հետաքրքիր է, որ հաճախ փորձագետը նոր գիտելիք է գեներացնում «թռիչքի վրա»՝ հենց վերլուծաբանի հետ զրույցի համատեքստում։ Գիտելիքների նման սերունդը կարող է օգտակար լինել նաև անձամբ փորձագետին, ով մինչև այդ պահը կարող էր տեղյակ չլինել առարկայական ոլորտի մի շարք հարաբերությունների և օրինաչափությունների մասին: Վերլուծաբանին, ով «մանկաբարձուհին» է նոր գիտելիքների ծննդյան ժամանակ, այստեղ կարող են օգնել համակարգային մեթոդաբանության գործիքները, որոնք թույլ են տալիս օգտագործել գիտական հետազոտության տրամաբանության և գիտության հայեցակարգային հիերարխիայի հայտնի սկզբունքները։ Այս մեթոդաբանությունը ստիպում է նրան տեսնել կոնկրետի հետևում գտնվող գեներալը, այսինքն. կառուցել շղթաներ.

ՓԱՍՏ  ԸՆԴՀԱՆՐԱՑՎԱԾ ՓԱՍՏ  ԷՄՊԻՐԻԿԱԿԱՆ ՕՐԵՆՔ  ՏԵՍԱԿԱՆ ԻՐԱՎՈՒՆՔ

Գիտելիքի ինժեները միշտ չէ, որ կհասնի այս շղթայի վերջին օղակին, բայց շարժվելու հենց ցանկությունը կարող է չափազանց արգասաբեր լինել: Այս մոտեցումը լիովին համապատասխանում է բուն գիտելիքի կառուցվածքին, որն ունի երկու մակարդակ.

էմպիրիկ (դիտարկումներ, երևույթներ);

տեսական (օրենքներ, վերացականություններ, ընդհանրացումներ):

Գիտական գիտելիքների չափանիշներ

Տեսությունը ոչ միայն գիտական գիտելիքների ընդհանրացման համահունչ համակարգ է, այլ նաև նոր գիտելիք արտադրելու որոշակի ձև: Գիտական բնույթի հիմնական մեթոդաբանական չափանիշները, որոնք թույլ են տալիս մեզ գիտական համարել ինչպես նոր գիտելիքը, այնպես էլ դրա ստացման մեթոդը.

ներքին հետևողականություն և հետևողականություն;

հետեւողականություն;

օբյեկտիվություն;

պատմականություն։

Ներքին հետևողականություն.Առաջին հայացքից այս չափանիշը պարզապես չի գործում էմպիրիկ ոլորտներում. դրանցում փաստերը հաճախ չեն համընկնում միմյանց հետ, սահմանումները հակասական են, ցրված և այլն: Վերլուծաբանը, ով գիտի էմպիրիկ գիտելիքի առանձնահատկությունները, դրա ձևը, անհամապատասխանությունն ու անավարտությունը, պետք է հարթի էմպիրիկայի այս «կոպտությունները»:

Գիտելիքի ձևավորումնշանակում է դրա գոյության հնարավորությունը տարբեր կատեգորիաներում, այսինքն. գոյության և պարտավորության կառուցումներում։ Այսպիսով, օրինաչափություններից մի քանիսը հնարավոր են, մյուսները՝ պարտադիր և այլն։ Բացի այդ, մենք պետք է տարբերակենք մոդալության այնպիսի երանգներ, ինչպիսիք են. փորձագետը գիտի, որ...; փորձագետը կարծում է, որ...; փորձագետը ցանկանում է...; փորձագետը կարծում է, որ...

Հնարավոր է անհամապատասխանությունէմպիրիկ գիտելիքը դիալեկտիկայի հիմնական օրենքների բնական հետևանքն է, և այդ հակասությունները միշտ չէ, որ պետք է լուծվեն գիտելիքի դաշտում, այլ ընդհակառակը, հակասություններն են, որոնք առավել հաճախ ելակետ են ծառայում փորձագետների հիմնավորման մեջ:

Անավարտությունգիտելիքը կապված է առարկայական ոլորտի ամբողջական նկարագրության անհնարինության հետ: Վերլուծաբանի խնդիրն է սահմանափակել այս անավարտությունը «ամբողջականության» որոշակի շրջանակով, այսինքն. նեղացնել առարկայի տարածքի սահմանները կամ ներկայացնել մի շարք սահմանափակումներ և ենթադրություններ, որոնք պարզեցնում են խնդիրը:

Համակարգվածություն.Գիտելիքի համակարգային կառուցվածքային մոտեցումը (վերադառնալով Հեգելին) ուղղորդում է վերլուծաբանին դիտարկել ցանկացած առարկայական ոլորտ համակարգային ամբողջության օրենքների և դրա բաղկացուցիչ մասերի փոխազդեցության տեսանկյունից: Ժամանակակից ստրուկտուալիզմը բխում է ցանկացած օբյեկտի բազմաստիճան հիերարխիկ կազմակերպությունից, այսինքն. բոլոր գործընթացներն ու երևույթները կարելի է համարել որպես շատ ավելի փոքր ենթաբազմություններ (առանձնահատկություններ, մանրամասներ) և, ընդհակառակը, ցանկացած առարկա կարող է (և պետք է) դիտարկվել որպես ընդհանրացումների ավելի բարձր դասերի տարրեր։

Օբյեկտիվություն.Ճանաչողության գործընթացը խորապես սուբյեկտիվ է, այսինքն. դա էապես կախված է հենց իմացող առարկայի առանձնահատկություններից: Սուբյեկտիվությունը սկսվում է փաստերի նկարագրությունից և աճում է օբյեկտների իդեալականացման խորացմանը զուգընթաց:

Հետեւաբար, ավելի ճիշտ է խոսել ըմբռնման խորության, քան գիտելիքի օբյեկտիվության մասին։ Հասկանալը համաստեղծություն է, առարկայի տեսանկյունից օբյեկտի մեկնաբանման գործընթաց: Սա բարդ և ոչ միանշանակ գործընթաց է, որը տեղի է ունենում մարդկային գիտակցության խորքերում և պահանջում է մարդու մտավոր և հուզական բոլոր կարողությունների մոբիլիզացիա։ Վերլուծաբանն իր ողջ ուժերը պետք է կենտրոնացնի խնդիրը հասկանալու վրա։ Հոգեբանությունը հաստատում է այն փաստը, որ մարդիկ, ովքեր արագ և հաջողությամբ լուծում են ինտելեկտուալ խնդիրները, իրենց ժամանակի մեծ մասը ծախսում են այն հասկանալու համար, մինչդեռ նրանք, ովքեր արագ սկսում են լուծում փնտրել ամենից հաճախ, չեն կարողանում գտնել այն:

պատմականություն.Այս չափանիշը կապված է զարգացման հետ։ Ներկայի իմացությունը անցյալի իմացությունն է, որը ծնել է այն: Եվ չնայած փորձագիտական համակարգերից շատերն ապահովում են գիտելիքների «հորիզոնական» հատված՝ առանց ժամանակը հաշվի առնելու (ստատիկայում), գիտելիքի ինժեները միշտ պետք է դիտարկի գործընթացները՝ հաշվի առնելով ժամանակի փոփոխությունները՝ և՛ անցյալի, և՛ ապագայի հետ կապը: Օրինակ, գիտելիքի դաշտի կառուցվածքը և գիտելիքների բազան պետք է թույլ տան ճշգրտում և ուղղում ինչպես մշակման, այնպես էլ փորձագիտական համակարգի գործունեության ընթացքում:

Ճանաչողության կառուցվածքը

Հաշվի առնելով գիտելիքի գիտական բնույթի հիմնական չափորոշիչները, այժմ կփորձենք նկարագրել դրա կառուցվածքը: Ճանաչողության մեթոդաբանական կառուցվածքը կարելի է ներկայացնել որպես փուլերի հաջորդականություն (նկ. 17.9), որը մենք կդիտարկենք գիտելիքի ինժեների տեսանկյունից։

Փաստերի նկարագրություն և սինթեզ։Սա նման է վերլուծաբանի և փորձագետի խոսակցությունների «չոր մնացորդի»: Արձանագրման գործընթացի ընթացքում գրառումների պահպանման զգույշությունն ու ամբողջականությունը և դրանց վրա ճշգրիտ «տնային աշխատանքը» ճանաչողության արդյունավետ առաջին փուլի բանալին են:

Գործնականում, պարզվում է, որ դժվար է հավատարիմ մնալ վերը նկարագրված օբյեկտիվության և հետևողականության սկզբունքներին: Ամենից հաճախ, այս փուլում փաստերը պարզապես հավաքվում են և, կարծես, նետվում են «ընդհանուր պարկի մեջ». Փորձառու գիտելիքի ինժեները հաճախ անմիջապես փորձում է գտնել «դարակ» կամ «արկղ» յուրաքանչյուր փաստի համար, դրանով իսկ անուղղակիորեն պատրաստվում է հայեցակարգային փուլին:

Բրինձ. 17.9.Ճանաչողության կառուցվածքը

Կապերի և օրինաչափությունների հաստատում:Փորձագետի գլխում կապեր են հաստատվում, թեև հաճախ անուղղակիորեն. Ինժեների խնդիրն է բացահայտել փորձագետի եզրակացությունների շրջանակը: Փորձագետի հիմնավորումները վերակառուցելիս գիտելիքի ինժեները կարող է ապավինել մտածողության երկու ամենահայտնի տեսություններին` տրամաբանական և ասոցիատիվ: Միևնույն ժամանակ, եթե տրամաբանական տեսությունը, ի դեմս մաթեմատիկոսների իր ջերմեռանդ երկրպագուների, լայնորեն մեջբերվում և ամեն կերպ օգտագործվում է արհեստական ինտելեկտի վերաբերյալ աշխատություններում, ապա երկրորդ՝ ասոցիատիվ տեսությունը, քիչ հայտնի և տարածված է, չնայած. այն ունի նաև հնագույն արմատներ։ Տրամաբանական տեսության գեղեցկությունն ու ներդաշնակությունը չպետք է մթագնի այն տխուր փաստը, որ մարդիկ հազվադեպ են մտածում մաթեմատիկական տրամաբանության մեջ:

Ասոցիատիվ տեսությունը ներկայացնում է մտածողությունը որպես ընդհանուր հասկացությունների հետ կապված գաղափարների շղթա: Նման մտածողության հիմնական գործողությունները տարբեր կապերի հիման վրա ձեռք բերված ասոցիացիաներն են. հիշելով անցյալի փորձը; փորձություն և սխալ երբեմն հաջողությամբ; սովորական («ավտոմատ») ռեակցիաներ և այլն:

Իդեալականացված մոդելի կառուցում.Մոդել կառուցելու համար, որն արտացոլում է սուբյեկտի կողմից առարկայական տարածքի ըմբռնումը, անհրաժեշտ է մասնագիտացված լեզու, որով կարելի է նկարագրել և կառուցել աշխարհի այն իդեալականացված մոդելները, որոնք առաջանում են մտածողության գործընթացում: Այս լեզուն ստեղծվում է աստիճանաբար՝ համապատասխան առարկայական ոլորտում ընդունված կատեգորիկ ապարատի, ինչպես նաև մաթեմատիկայի և տրամաբանության ֆորմալ սիմվոլիկ միջոցների օգնությամբ։ Էմպիրիկ առարկայական ոլորտների համար նման լեզու դեռ մշակված չէ, և գիտելիքի ոլորտը, որը վերլուծաբանը կնկարագրի կիսաֆորմալացված ձևով, կարող է լինել առաջին քայլը նման լեզու ստեղծելու ճանապարհին:

Մոդելների բացատրություն և կանխատեսում:Գիտելիքի կառուցվածքի այս վերջնական փուլը միաժամանակ հանդիսանում է ձեռք բերված գիտելիքի ճշմարտացիության մասնակի չափանիշ։ Եթե բացահայտված փորձագիտական գիտելիքների համակարգը ամբողջական է և օբյեկտիվ, ապա դրա հիման վրա հնարավոր է կանխատեսումներ անել և բացատրել տվյալ առարկայի ցանկացած երևույթ: Սովորաբար, փորձագիտական համակարգերի գիտելիքների հիմքերը տուժում են բաղադրիչների մասնատվածությունից և մոդուլյարությունից (անկապությունից): Այս ամենը մեզ թույլ չի տալիս ստեղծել իսկապես խելացի համակարգեր, որոնք, ինչպես մարդիկ, կարող են կանխատեսել նոր օրինաչափություններ և բացատրել տվյալների բազայում հստակ չնշված դեպքեր: Բացառություն այստեղ գիտելիքի ստեղծման համակարգերն են, որոնք ուղղված են նոր գիտելիքի ստեղծմանը և «կանխատեսմանը»:

Եզրափակելով, մենք թվարկում ենք գիտելիքի ճարտարագիտության իմացաբանական խնդիրների հետ կապված ամենատարածված ձախողումները (մասամբ).

բեկորային, մասնատված գիտելիքներ (հետևողականության սկզբունքի խախտման կամ ուշադրության կենտրոնի ընտրության սխալների պատճառով);

գիտելիքների անհամապատասխանություն (բնության և հասարակության բնական անհամապատասխանության, արդյունահանված գիտելիքների ոչ լիարժեքության, փորձագետի ոչ կոմպետենտության պատճառով);

սխալ դասակարգում (դասերի քանակի սխալ որոշման կամ դասի ոչ ճշգրիտ նկարագրության պատճառով);

ընդհանրացման սխալ մակարդակ (օբյեկտների դասերի չափից ավելի մանրամասնության կամ ընդհանրացման պատճառով):

Համակարգը միջնորդ է, կնքում է մատակարարման պայմանագիր։

Գիտելիքների ճարտարագիտությունը համակարգչային գիտության ոլորտ է, որի շրջանակներում հետազոտություններ են իրականացվում համակարգիչներում գիտելիքների ներկայացման, դրանք արդիական պահելու և շահարկելու վերաբերյալ:

Գիտելիքների համակարգ՝ գիտելիքի վրա հիմնված համակարգ։

SOZ SBZ DBMS ES IS SII - արհեստական ինտելեկտի համակարգ:

Գիտելիքի վրա հիմնված համակարգի կառուցվածքը.

ԿԲ մեխանիզմ լուծում ստանալու համար

Ինտերֆեյս

Գիտելիքների բազան մոդել է, որը համակարգչում ներկայացնում է որոշակի առարկայական ոլորտում կուտակված գիտելիքները: Այս գիտելիքը պետք է ֆորմալացվի:
Գիտելիքը ձևավորվում է մոդելի միջոցով, այնուհետև ներկայացված է հատուկ լեզվով:

Հատուկ առարկաների և կանոնների մասին գիտելիքները սովորաբար ընդգծվում են գիտելիքների բազայում: Այս կանոնները գործում են որպես լուծումներ ստանալու մեխանիզմ՝ սկզբնական փաստերից նորերը քաղելու համար:

Ինտերֆեյսը տրամադրում է երկխոսություն օգտագործողին ծանոթ լեզվով:

Գիտելիքների ճարտարագիտության մեջ հաճախ օգտագործվում են եզրակացությունների վրա հիմնված մեթոդներ:

Առարկայական տարածքի հայեցակարգը:

Օբյեկտը մի բան է, որը գոյություն ունի կամ ընկալվում է որպես առանձին էություն:

Հիմնական հատկությունները` դիսկրետություն; տարբերությունը։

Գիտելիքները ներկայացնելիս կիրառվում է պրագմատիկ մոտեցում, այսինքն. ընդգծված են օբյեկտի այն հատկությունները, որոնք կարևոր են այն խնդիրների լուծման համար, որոնք կլուծի ստեղծված համակարգը։ Հետևաբար, գիտելիքի վրա հիմնված համակարգը գործ ունի իրերի հետ, որոնք վերացական սուբյեկտներ են: Օբյեկտը հանդես է գալիս որպես օբյեկտի որոշ հատկությունների կրող: Առարկայական տարածքի վիճակը կարող է փոխվել ժամանակի ընթացքում: Ժամանակի յուրաքանչյուր պահի առարկայական տարածքի վիճակը բնութագրվում է մի շարք առարկաներով և կապերով: Առարկայական տարածքի վիճակը բնութագրվում է իրավիճակով.

Առարկայական ոլորտը նկարագրելու հայեցակարգային միջոցներ:

Հայեցակարգային մոդելն արտացոլում է ամենաընդհանուր հատկությունները: Մանրամասն նկարագրությունը տրամադրելու համար անհրաժեշտ են լեզուներ։ Առարկայական ոլորտը նկարագրելու հայեցակարգային միջոցների բնորոշ հատկանիշներն են վերացականությունը և ունիվերսալությունը: Դրանք կարող են օգտագործվել ցանկացած առարկայական ոլորտ նկարագրելու համար:

Օբյեկտի դասի հայեցակարգը:

Օբյեկտ հասկացությունը բազմությունների հասկացությունն է: Իրար նման առարկաները միավորվում են դասերի մեջ։ Ժամանակի տարբեր կետերում օբյեկտների տարբեր խմբեր կարող են համապատասխանել նույն դասին:

K - օբյեկտի դաս:

Kt – t ժամանակի K դասի օբյեկտների բազմություն։

Խումբ (1999) = (IA-1-99, IA-1-98, …, IA-1-94, IB-1-99,…)

Խումբ (1998) = (IA-1-98, IA-1-97, …, IA-1-93, IB-1-98,…)

(t Кt = (…)

Դասավանդող պաշտոն = (պրոֆեսոր, դոցենտ, ավագ դասախոս, դասախոս, ասիստենտ)

1 4 Երկրաչափական պատկեր, քառակուսի ձև, կապույտ գույն:

(К: А1 К1, А2К2, …, АnКn) անվան հատկանիշի անվանումը օբյեկտների դասերի դասերի ատրիբուտների զույգ

Օբյեկտների նույնականացումը կարող է լինել ուղղակի և անուղղակի: Ուղիղ գծի դեպքում օգտագործվում են օբյեկտների անվանումները և օբյեկտների սերիական համարները. անուղղակի հիմնված է օբյեկտի հատկությունների օգտագործման վրա:

Հատկանիշը կարող է լինել բաղադրիչ: Հատկանիշը հասկացվում է որպես հատկություն, հատկություն կամ բաղադրիչների անվանում:

(Երկրաչափական ձև. ձև Երկրաչափական ձև գույն Գույն)

Հատկանիշների անվանումը և հատկանիշի արժեքային զույգերը հաճախ նույնն են:

Օրինակ իրավիճակ.

(Դասախոսություն. դասախոս Դասախոսի ազգանունը, լսարանի համարը, թեման Թեմայի անվանումը, ունկնդիր Խմբի կոդը, օրվա օրը, շաբաթվա օրը, ժամը Սկիզբը)

Իրավիճակը – ցուցադրվում է «ուսուցչի» և «լսողի» կապը և այս իրավիճակի այլ բնութագրերը:

Իրավիճակում մասնակիցների դերերը.

Լսող

Իրավիճակի բնութագրերը.

(K: А1К1, А2К2, …, АnКn) – գիտելիքների ներկայացում ինչ-որ կառուցվածքի տեսքով:

(ամսաթիվ, օր, օր_ամիս)

(ամսաթիվ, ամիս, ամսվա_անուն)

(ամսաթիվ, տարի, տարի)

(երկրաչափական_ֆիգուր, ձև, երկրաչափական_ձև)

(երկրաչափական_ֆիգուր, գույն, գույն)

Գիտելիքի այս ներկայացումը համապատասխանում է գիտելիքի ներկայացմանը առանձին փաստերի տեսքով:

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

Օբյեկտների մասին գիտելիքների ներկայացումները բաժանվում են.

օբյեկտների դասեր (տվյալների կառուցվածք)

գիտելիքներ կոնկրետ օբյեկտների մասին (տվյալների մասին)

Օբյեկտների դասեր.

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

Аi - հատկանիշի անուն

Ki – օբյեկտի դասերը, հատկանիշի արժեքն են

K - դասի անվանումը

(ուսուցիչներ.

Ամբողջական անուն ազգանունը_նիշերով,

Պաշտոն դասավանդում_պաշտոն)

(ուսուցիչ, լրիվ անուն, ազգանուն՝ սկզբնատառերով, ուսուցիչ, դասավանդման_պաշտոն)

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

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

(ուսուցիչ (ազգանունը_նիշերով, դասավանդման_պաշտոն), ուսուցիչ (լրիվ անուն, պաշտոն))

Գիտելիքի ներկայացում առաջին ձևի համար.

(K: A1K1,A2K2, ... , AnKn) կի (Կի

Գիտելիքի ատրիբուտային ներկայացում.

(ուսուցիչ. - ներկայացնում է

Ամբողջական անունը Սեմենով - ինչ-որ կառույց

Պաշտոն ասիստենտ) - տվյալներ

Գիտելիքի ներկայացում երկրորդ ձևի համար.

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

Գիտելիքի վերագրելի ներկայացում անհատական փաստերի տեսքով.

(ուսուցիչ 1, լրիվ անուն, Սեմենով) - 1, 2-ը կապեր են

(ուսուցիչ 1, պաշտոն, դոցենտ) - փաստեր

(ուսուցիչ 2, լրիվ անուն, Պետրով)

(ուսուցիչ 2, պաշտոն, օգնական)

Գիտելիքի ներկայացում երրորդ ձևի համար.

K (K1, K2, …, Kn)

(ուսուցիչ (Սեմենով, դոցենտ) - գիտելիքների դիրքային ներկայացում

Եթե չկան ատրիբուտների անուններ, և ատրիբուտներն իրենք գրված են որոշակի դիրքերում, ապա սա գիտելիքի դիրքային ներկայացում է:

Գիտելիքի ներկայացում «եռյակների» տեսքով - (օբյեկտ, հատկանիշ, արժեք):

Ոչ ճշգրիտ արժեքներ ներկայացնելու համար օգտագործվում են վստահության գործակիցներ - (օբյեկտ, հատկանիշ, արժեք, վստահության գործակից):

0 - համապատասխանում է անորոշությանը: բացասական արժեք - հատկանիշի արժեքի անհնարինության նկատմամբ վստահության աստիճանը:

(հիվանդ 1, ախտորոշում, գաստրիտ, K740)

* (հիվանդ, լրիվ անուն, Անտոնով, ախտորոշում կոլիտ K760, գաստրիտ K740)

Օբյեկտի դասի մասին գիտելիքների ներկայացումը կոչվում է նվազագույն, եթե, երբ ատրիբուտներից մեկը հեռացվում է, մնացած ատրիբուտների հավաքածուն դադարում է լինել այս օբյեկտի դասի ներկայացումը:

Վարձակալություն (վարձակալություն_օբյեկտ, վարձակալ, վարձատու, վարձակալություն_ժամկետ, վճար):

Եթե հեռացնեք «lease_term», դուք ստանում եք գնում և վաճառք, իսկ եթե հեռացնեք
«rent_term» և «վճար», այնուհետև դուք ստանում եք նվեր:

Գիտելիքների ներկայացում հարաբերական տվյալների բազայում:

Հարաբերական տվյալների բազա – տվյալները պահվում են դիրքային ձևաչափով:

Տվյալները պահվում են աղյուսակի տեսքով, որտեղ աղյուսակի անվանումը դասի անունն է։
Յուրաքանչյուր դաս համապատասխանում է աղյուսակի կամ տվյալների բազայի ֆայլին: Դասի անվանումը համապատասխան աղյուսակի անվանումն է: Հատկանիշների անուններ - համապատասխան աղյուսակի դաշտեր
(սյունակ): Աղյուսակի տողերը տվյալների բազայի գրառումներն են: Մուտքը համապատասխանում է դիրքային ձևաչափով գրառմանը:
|A1 |A2 | . . .|Ան |
| | |. . | |
|K1 |K2 | . . .|Կn |
| | |. . | |

Ուսուցիչներ

Պահպանվում է դիրքային տվյալների բազայում հատկանիշի հասկացությունը:

K մուտքը (A1,A2, ..., An) կոչվում է ատրիբուտների միջև հարաբերություն: Այս տերմինաբանությունը օգտագործվում է հարաբերական տվյալների բազայում: Հարաբերական տվյալների բազայում տվյալների գաղափարը հիմնված է «բանալին» հասկացության վրա:

Բանալին հարաբերական ատրիբուտների մի շարք է, որոնց արժեքը եզակի կերպով նույնականացնում է գրառումը ֆայլում:

Բնակարան

| քաղաք |փողոց |տուն |շենք|բնակարան|տարածք |սենյակների թիվը|
|Մոսկվա |Տվերսկայա |2 |1 |47 |60 |2 |
|Մոսկվա |Տվերսկայա |2 |1 |54 |50 |1 |

Այս դեպքում բանալին բաղկացած կլինի մի քանի դաշտերից:

Ki sup Kj-ը դասի sup ենթադաս է; ենթադաս sup դաս.

Ki-ն Kj-ի ենթադաս է, եթե (t Ki t (Kj t

(Եթե որևէ ժամանակ t Ki դասը Kj-ի ենթադաս է)

Npr - ցանցի դասակարգում:

Ցանցի դասակարգումը ներկայացված է որպես հիերարխիկ կառուցվածք։

Ուսանողների sup ուսանող.

Կի մաս Կջ - մաս է կազմում Կի մաս Կջ

Ki-ն Kj-ի մասն է, եթե Ki դասի որոշակի օբյեկտը եզակիորեն սահմանված Kj օբյեկտի մաս է:

Պատկանելու վերաբերմունք. k isa K - տարր է

Ki ius K - բաղադրիչ է

Նշանակում է, որ K դասի օբյեկտը բաղկացած է K1, K2, ... դասի օբյեկտներից,
Kn, իսկ K դասի օբյեկտը կարող է ներառել Ki դասի մի քանի օբյեկտ:

Դասախոսություն թիվ 4.

Հարաբերությունների հատկությունները.

Մասնակի կարգի հարաբերություններն ունեն անցողիկության հատկություն։

Կի սուպ Կջ Կջ սուփ Կմ

Կի մաս Կջ Կջ մաս Կմ

Եթե տարրը բլոկի բաղադրիչ է, և բլոկը կազմված է...

Անդամության գրաֆիկում ցիկլեր չկան:

K1 ins K2, K2 ins K3,…,Kn-1 դյույմ Kj

Ճիշտ չէ, որ Kn-ը K1-ում է

Մոսկվա քաղաք է

Քաղաք sup Տեղանք

Մոսկվան տեղանք է

Գործողություններ օբյեկտների դասերի վրա:

Օբյեկտների դասերի վրա գործողություններ օգտագործելով՝ կարող եք նոր օբյեկտի դաս սահմանել

Ki բլոկների հավաքածու, օրինակ, հեռուստացույցներ

Նյութական առարկաները բաժանվում են երեք դասի

Վիճակը (տարածք (սարքավորում = նյութական օբյեկտ

Անձ (սենյակ = անձ (սարքավորում = սենյակ (
Սարքավորում =?

Օբյեկտների դասերի տեղադրում

Անձ (ազգանուն, անուն, հայրանուն, ծննդյան տարեթիվ, սեռ)

Սեռ = (արական, իգական)

Տղամարդ, կին = Մարդու սեռ

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

KK5 – Դասի բաշխում ըստ K5 դասի:

Այս բոլոր խավերի միությունը մարդն է։

Տղամարդ?Կին=Մարդ

Տղամարդ?Կին=?

(Օտար լեզվի իմացություն

Գիտակ մարդ

Թեմա օտար_լեզու)

Բաժանման արդյունքում ստանում ենք օտար լեզու իմացող մարդկանց դասեր։

Առարկայական տարածքի հայեցակարգային դիագրամը նրա վրա սահմանված օբյեկտների, հարաբերությունների և գործողությունների դասերի մի շարք է:

Առարկայական տարածքի վիճակի կաղապարի նկարագրությունները.

Կ դասարանը անցկացնում է կարգապահության պարապմունքներ խմբում ին.

Իվանով Ի.Ի. անցկացնում է դասեր TOE կարգապահությամբ IT-1-98 խմբում երկուշաբթի օրը 4-րդ զույգ G-301-ում:

(դասեր՝ ուսուցիչ Ուսուցիչ կարգապահություն Կարգապահություն_անուն խումբ Խմբային_կոդ օր Շաբաթ_օր ժամը Զույգ_համար տեղ Հանդիսատես)

Առարկայական տարածքի հայեցակարգային մոդելներ - կոնցեպտուալ դիագրամ, ինչպես նաև մի շարք հայտարարություններ, որոնք կառուցված են ըստ ձևանմուշների վերջավոր հավաքածուի:

Կազմակերպության և հարաբերությունների դիագրամ (ER Diagram)

Սուբյեկտների հարաբերությունների դիագրամ

Բնահյութ

Էություն և հարաբերությունների հատկանիշներ

1 բաժնում աշխատում են N ուսուցիչներ. «*»-ը ուսուցչի նշանն է՝ կարող եք գտնել բաժինը:

Հաղորդակցման բայ կամ առարկա

Հատկանիշներ – ածական, համարիչներ, չափեր, գործողության վայր

Բեռնման ժամանակացույց

Տրամաբանական համակարգեր (մոդելներ)՝ հիմնված ապրանքները խանութ առաքելու մեկ օրինակի վրա։

Գիտելիքների ներկայացման տրամաբանական մոդելներ.

Առարկայական տարածքի նկարագրությունը տրամաբանական ծրագրավորման լեզուներից մեկում` հիմնված պրեդիկատների հաշվարկի վրա:

1-ին կարգի բազմակի պրեդիկատային հաշվարկի լեզուն: Բազմաթիվ 1-ին կարգի տրամաբանություն.

Այս լեզուն կազմելու համար.

Տեսակ հասկացությունը համապատասխանում է օբյեկտների դասերի հայեցակարգին:

Ս–ի բազմաթիվ տեսակներ

Հավաքածուի վրա նշված են գործառույթներով: f-ֆունկցիայի անվանումը;

փաստարկների տեսակները;
B - ֆունկցիայի արժեքի տեսակը:
Z – ստորագրությունը տրամաբանական մոդելներում գիտելիքների ներկայացման ամենաբարձր մակարդակն է:

Պրեդիկատ -
T=(0;1)

կեղծ ճշմարտություն
- տեսակի B հաստատուն

Որպես օրինակ նայենք արտադրության մեջ մասերի մշակմանը։
2-շրջադարձ;
1-ֆրեզերային;

S=(Մաս, մեքենա, գործողություն, մաս_տիպ, մեքենա_տիպ, ժամանակ)
1) երեխա. Գործողության մանրամասն. f A1 B
2) փող՝ շահագործում (մեքենա;
3) սկիզբ: Գործողություն (Ժամանակ
4) con: Գործողություն (Ժամանակ
5) մաս_տիպ՝ մաս (Part_type
6) type_st: Մեքենա (մեքենայի տեսակ
7) 0: (Ժամանակ

T: (Ժամանակ
8) լիսեռ_լիսեռ՝ (Part_type shaft_place: (Part_type
9) ֆրեզերային կտրիչներ՝ (Մեքենայի_տիպ հոսանք՝ (Մեքենա_տիպ
10) cutter_face՝ գործողության T ընթացիկ_rev՝ շահագործման T
11) +: Time*Time Time
12): Ժամանակ*Ժամանակ T

Գիտելիքներ կոնկրետ առարկաների մասին
(գիտելիքի ներկայացման ավելի ցածր մակարդակ) բազմակի պրեդիկատների հաշվարկի լեզվով կոչվում է կառուցվածքի ինտեգրված ստորագրություն
1) ստորագրություն
2) Ինտեգրման կառուցվածքը. Ստորագրություններ.
3) Յուրաքանչյուր սորտի անվան համար ստեղծվում են այս սորտի բազմաթիվ օբյեկտներ:
Մաս = (մաս 1, մաս 2, մաս 3, մաս 4)
Մեքենա = (st.1, st.2, st.3)
Գործողություն =(oper1,oper2,oper3,oper4,oper5,oper6,oper7,oper8)
Մաս_տեսակ = (ցողունի_լիսեռ, լիսեռ_տեղ)
Մեքենայի_տեսակ = (ընթացիկ, ֆրեզերային կտրիչներ)
Ժամանակ = (1,2,…, t)

Բոլոր բազմությունների միավորումը տիեզերքն է:
Համակարգի կառուցվածքից յուրաքանչյուր ֆունկցիա և պրեդիկատ համապատասխանում է բազմաթիվ գործոնների:
1) երեխա(օպեր.1)=երեխա1 երեխա(գործողություն2)=երեխա1 երեխա(գործողություն3)=երեխա2

…………………..
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(part.1)=ցողունային_լիսեռ type_detail(detail.2)=լիսեռ_տեղեր type_detail(մանրամասներ3)=պողպատե_լիսեռ տեսակ_դետալ(մանրամասներ4)=լիսեռ_նստատեղեր
………………….
6) տեսակ_ստ. (st.1)=ընթացիկ տեսակ_st. (st.2)=ընթացիկ տեսակ_st. (st.3) = կտրիչներ
………………….
10) cutter_face (oper1) current_rev (oper2) cutter_face (oper3)
|շահագործման|մասը |մեքենայի |սկիզբը |վերջը |աղաց_վերջը|ընթացիկ_հզոր|
|Օպեր1 |Դետ.1 |փ.3 |0 |5 |1 |0 |
|Օպեր2 |Դետ.1 |փ.1 |5 |12 |0 |1 |
|Օպեր3 |Դետ.2 |Արտ.3 |5 |10 |1 |0 |
|Օպեր4 |Դետ.2 |Արտ.2 |10 |17 |0 |1 |
|Օպեր.5 |Դետ.3 |Արտ.3 |10 |16 |1 |0 |
|Օպեր6 |Դետ.3 |Արտ.1 |16 |26 |0 |1 |
|Օպեր7 |Դետ.4 |Արտ.3 |16 |22 |1 |0 |
|Օպեր8 |Դետ.4 |Արտ.2 |22 |32 |0 |1 |

|Մաս|Տեսակի_մանրամասն |
|Դետ.1 |Ստ_լիսեռ |
|Դետ.2 |Սթ_վալ |
|Դետ.3 |Վալ_տեղ|
|Դետ.4 |Վալ_տեղ|

|Մեքենա|Տիպ_ստ |
|փ.1 |հոս. |
|Հոդ.2 |Գործ. |
|սբ.3 |տ. |

3) Բաղադրիչ՝ տրամաբանական բանաձևեր

Բանաձևերի կառուցման կանոններ. ա) A կարգի հաստատունը A տեսակի տերմին է, բ) A տեսակից արժեք վերցնող փոփոխականը A տեսակի տերմին է, գ) եթե ստորագրությունը պարունակում է ֆունկցիա՝ համապատասխանաբար կառուցված տեսակների տերմիններ, ապա.
- կա B տեսակի տերմին, դ) եթե ստորագրությունը պարունակում է պրեդիկատ.
,կառուցված սորտերի թերմեր
, այսինքն՝ ատոմ։ ե) եթե - նույն տեսակի տերմիններ, ապա արտահայտությունը, այսինքն՝ ատոմ ե) Ատոմը ճիշտ կառուցված բանաձև է (PPF) Ատոմում ներառված փոփոխականն ազատ է այս ատոմում։ է) եթե կառուցված բանաձևն ազատորեն ներառում է A տիպի x փոփոխականներ, ապա արտահայտությունները.

Նաև PPF է, «x» փոփոխականը կապված է (նոր ֆայլերում) h) եթե բանաձևերը արդեն կառուցված են, ապա , նույնպես PPF է։
Օրինակներ.
1) Ներկայացման գիտելիքներ b => oper2, որը կատարվում է խառատահաստոցի վրա type_st(st(oper2))=ncurrent
2) Opera 2 ավարտված է կանգառ 1-ին 1 սկիզբ 5 վերջ 12
3)

Դասախոսություն 8 11/12/99.

Լուծման մեթոդ

Լուծման մեթոդը ապացուցում է անիրագործելիությունը:
Այս մեթոդն օգտագործելու համար անհրաժեշտ է սկզբնական բանաձևը փոխարկել DNF-ի։
DNF:
- pii տառերի անջատում – ատոմ կամ ատոմի ժխտում:
Այնուհետև DNF-ն ներկայացված է որպես դրույթների մի շարք
Լուծման մեթոդում կա եզրակացության մեկ կանոն
Արդյունքում 2 կետից ստանում ենք նորը, որը կոչվում է ruoventa
- ստանում ենք դատարկ կետ, որը միշտ կեղծ է։
Եթե բազմությունը պարունակում է դատարկ դրույթ, ապա այն անբավարար է:
Արդյունքը դատարկ կետ է, որն ապացուցում է, որ այս հավաքածուն անբավարար է:
Լուծման մեթոդը կիրառվում է այնքան ժամանակ, քանի դեռ դատարկ կետ չի ստացվել:
m,n – կոնստ
փոխարինում հաստատուն փոփոխականի փոխարեն՝ միավորում:
Այս դեպքում մենք կատարում ենք փոխարինումը (n/y).
(1)-ից և (2)-ից => a(x)c(x,n) (5)
(3) և (5)-ից՝ կատարելով փոխարինումը (m/n) => c(m,n) (6)
(4) և (6)-ից առանց փոխարինումների => 0

Բանաձևերի սկզբունքը Prolog-ում
Prolog-ը օգտագործում է քորդյան դրույթներ, այսինքն. մեկ տառ առանց ժխտման պարունակող նախադասություններ.
Օրինակ
=>

կապ առանց ժխտման

Կարող են օգտագործվել դիսյունկտներ, որոնք ընդհանրապես տառեր չեն պարունակում: – սա է նախաբանի թիրախային հայտարարությունը. – a a: - b,c,d. բ: - ե, զ. գ. ե. զ.
?-a a (1) a (2) a (3)
|Քայլ թիվ |Նպատակային |Սկզբնական |լուծում|
| |. անջատել | |
|1 |՞- ա. |ա:-բ,գ,դ. |-բ,գ,դ. |
|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 |?-գ,դ |գ |-դ |
|6 |՞-դ |դ |0 |

Ծրագրի ներկայացումը գրաֆիկի տեսքով a: - b;c b: - d,e c: - g,f. e: - i,h g: - h,j դ. զ. հ.
՞-ա
«», - Եվ
";" - կամ
Գրաֆիկի կառուցումը սկսվում է նպատակային դրույթով:
Գրաֆիկը ցույց է տալիս, թե քննարկվող խնդիրը ինչ և քանի լուծում ունի:

Խնդրի երկու լուծում

Գիտելիքների ներկայացման արտադրական մոդել:
Այս մոդելի հիմքը արտադրության կանոններն են, որոնք ունեն հետևյալ ձևը
- արտադրության կանոն >:=
Եթե այդ դեպքում [CD=]

Օրինակներ.
Կանոն 5
Եթե սեռ=իգական

Իսկ ավելացում=փոքր

Իսկ քաշը=65 տարի_կամ_ավելի
Այնուհետև հարաբերական_քաշ = փոփոխական
Վստահության գործոնը որոշվում է 0-100 թվով

Կանոն 27
ԵԹԵ հեռանկար=գերազանց

Իսկ ռիսկ=բարձր
TO գործոն=0 CD=10
Ընդհանուր առմամբ, նախադրյալը կարող է լինել տրամաբանական արտահայտություն:
Եթե նախադրյալը ճշմարիտ է, ապա եզրակացությունը ճշմարիտ է, այսինքն. Եզրակացությունը կարող է ցույց տալ որոշ գործողություն, որը կատարվում է, եթե նախադրյալը ճիշտ է
::[AI...I]
::== օբյեկտ, հատկանիշ, արժեք, վստահության գործոն - գիտելիքների ներկայացում քառյակի տեսքով
::==
:==CD=
Նույն առարկան կարող է ունենալ տարբեր իմաստներ:
Բազմարժեք օբյեկտները այն օբյեկտներն են, որոնք կարող են ունենալ մի քանի վավեր արժեքներ:
Եթե օբյեկտը հայտարարված չէ որպես բազմարժեք, ապա այն կարող է ունենալ մի քանի արժեք, ապա պարտադիր չէ, որ դրանք հուսալի լինեն, այսինքն. CD= 100

Օբյեկտների համար օգտագործողից պահանջվող արժեքը:
Ի՞նչ հավելում։
1. Փոքր
2. Միջին թույլատրելի արժեքներ
3. Մեծ

Ինչ է տարիքը
1. 25-ից պակաս
2. 25-ից 55
3. ավելի քան 55
Ծանրոցի վստահության գործակիցը=min(Kdusl)

Կանոնների կատարման արդյունքում ստացված փաստ = գերազանց AC = 50 ռիսկ = բարձր AC = 70 գործոն = 0

Գիտելիքների ներկայացման արտադրական մոդելի հիմնական կառուցվածքը

Նախնական տվյալներ

Արդյունք

Դասախոսություն 9 (Վերջ)
|№ |Հակամարտության |Կատարման|Ստացված|
|քայլ|Շատ | | |
| |կանոնների |կանոնների |փաստը |
|1 | | | |
|2 | | | |
|3 | | | |
|4 | | | |
|5 | | | |

Եզրակացությունները ավարտվում են, երբ հասնում է թիրախային գագաթնակետին, կամ չեն մնում կիրառելի կանոններ, և նպատակը չի հասնում:

Հակադարձ եզրակացություններ - կատարվում են վերևից ներքև (եզրակացություններով, որոնք ուղղված են դեպի նպատակը)

P 1 P2 P3 P4
P5

C 4 C5 C6 C7 C8

|№ |Նպատակը|Հակամարտության |Կատարման|Ենթանպատակները|Փաստ|
|քայլ| |լրակազմ | | | |
| | |կանոնների |կանոնների | | |
|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 |
| | | | | | |

Նպատակ – «տեւողություն» - նպատակը նշվում է օբյեկտի անունով:
Այն համեմատվում է կանոնների եզրակացության հետ և ընտրվում է կանոնը եզրակացության հետ
, որոնք պարունակում են օբյեկտի անվանումը։ Մենք ընտրում ենք կանոն, որը պարունակում է թիրախային օբյեկտ, ձևավորում ենք վարկած

Ընթացքում վարկածը կա՛մ հաստատվում է, կա՛մ հերքվում։ Եզրակացությունները շարունակվում են այնքան ժամանակ, մինչև մեկը կամ հաստատվի, կամ բոլոր հնարավոր վարկածները չսպառվեն:
Ավելի քիչ ստուգումներ են օգտագործվում, քանի որ կանոնն ունի մի քանի պայման և մեկ եզրակացություն։

Երկկողմանի ելքեր.

Նախ՝ ուղղակի եզրակացություններ են արվում՝ հիմնվելով փոքր քանակությամբ տվյալների վրա, արդյունքում ձևավորվում է վարկած՝ հաստատելու կամ հերքելու այլ եզրակացություններ։
Կանոնների պայմանները ստուգելու համար օգտագործվում է կանոնների ակտիվացման ապարատ, որը յուրաքանչյուր քայլում ընտրում է այն կանոնները, որոնցում ստուգվում են պայմանները:
Պայմանները նույնպես պետք է օգտագործվեն. Կանոնների առումով առանձնանում են անհատական կանոնները, ապա՝ ընդհանուր։
Ընդհանուր կանոններ - կիրառելիության պայմանների կանոններ: Կիրառելիության շրջանակը.

Արտադրության կանոնների ընդհանրացված կառուցվածքը.
(i); Q; P; Ա; =B; Ն
(i)– կանոնի անվանումը.
Q – կանոնի կիրառման շրջանակը.
P – կանոնի կիրառելիության պայման (տրամաբանական պայման)
A=>B – հիմնական կանոն, որտեղ A-ն նախադրյալն է, իսկ B-ն եզրակացությունն է.
N – սահմանված պայմանը որոշում է այն գործողությունները, որոնք կատարվում են, եթե միջուկը կատարվի:
P – եթե ճիշտ է, ապա կանոնի առանցքը ակտիվացված է:

Շրջանակ – տվյալների կառուցվածք՝ կարծրատիպային իրավիճակ ներկայացնելու համար
(k: A1K1, A2K2, …., AnKn)
(դեպի՝ A1k1, A2k2,….,An kn)
(ֆայլի անունը. slot1 name (slot1 value) slot2 name (slot2 value)

………………………………….. բնիկ n անունը (անցք n արժեք))
Protoframe - գիտելիքներ օբյեկտների դասի մասին:
Շրջանակ՝ օրինակ, ստացվում է պրոտոֆրեյմից՝ սլոտները լրացնելով հատուկ արժեքներով:
Շրջանակի կառուցվածքը սովորաբար ներառում է համակարգի slots: Սլոտի համակարգը ներառում է.
Մենք սահմանում ենք սլոտները որպես շրջանակի ծնող, մի բնիկ, որը ցույց է տալիս շրջանակի անմիջական երեխաները:

Որպես սլոթերի համակարգ՝ սլոտներ, որոնք պարունակում են տեղեկատվություն ծրագրի ստեղծողի և դրա փոփոխման մասին:
Կառուցվածքը ներառում է.
- ժառանգության ցուցանիշ;
- տվյալների տիպի ցուցիչ;
- դևեր և այլն:

FMS ԼԵԶՈՒ (FMS):
Ժառանգության ցուցիչները կարող են լինել.
U – եզակի – եզակի
S – նույն– որոշ
R – միջակայք – սահմանային ցուցիչ;
0 – անտեսել – անտեսել

U – նույն անուններով տարբեր մակարդակների շրջանակներում տարբեր կլինեն:
S – նույն անուններով ավելի բարձր մակարդակի սլոտներից արժեքներ ժառանգելու համար նախատեսված սլոտներ

Ստորին հավասարման արժեքը պետք է ընկած լինի վերին հավասարման մեջ սահմանված արժեքի սահմաններում:

Ռ
Մարդ

Եթե արժեքը նշված չէ, ապա այն ժառանգվում է վերին հավասարման բնիկից, իսկ եթե նշված է, ապա ժառանգությունն անտեսվում է:

Դասախոսություն 11 12/3/99

Ցանցի և շրջանակի մոդելների համադրություն OPS-5 գիտելիքների ներկայացման համակարգում
Այս լեզուն ունի արտադրության կանոններ և տվյալների բազաներ
::=({| }+)

()+ - Կարող է կրկնվել մի քանի անգամ
::=((արժեք))
::= |
(Նյութի դասի թթու

Անուն

անգույն)
(Առաջադրանքների հերթականությունը՝ Աղբյուր, Արտահոսքի Ցանկապատում)
Որոնք են կանոնները.
::=(P)
::={}+
::= | -
::= | |
::=((արժեք>)+) |

# (Առաջադրանքի կարգը)

([{ }+])
# (Նյութ)
Նախշը պարտադիր չէ, որ ցույց տա տվյալ դասի բոլոր ատրիբուտները, այսինքն. մենք կարող ենք գրել
(Նյութի դասի թթու

Անունը) այսինքն. փոփոխական թթու – բանը արժեք կստանա
::= ({ >}+)
Հիշողության աշխատանքային տարրի համապատասխան հատկանիշի արժեքը պետք է համապատասխանի այս թերթում նշված տարրերից մեկին, առնվազն մեկին:
Այս իմաստները հստակեցվում են կոնկրետ բառերով:
# (Նյութի դասի թթու

Գույն)
::= ({{{}+}}+)
Արժեքների ցանկը կարող է սահմանվել նաև որպես սահմանափակում
# (Շարժիչի հզորությունը (100 200))

(Շարժիչի հզորությունը 160)
:={}+
::=(դարձնել | հեռացնել | (փոփոխ
{} +)

# (P կոորդինատ _a

(թիրախային վիճակն ակտիվ է

Անվան կոորդինատ)
Եթե թիրախը կարողանում է համակարգել, և առաջադրանքների հերթականությունը սահմանված չէ, ապա ստեղծեք

(Առաջադրանքների հերթականությունը) –>
(ակտիվացնել թիրախային վիճակը

Անվան պատվերի առաջադրանքներ)
(modif1 սպասման վիճակ))

Խնդիրների լուծման ռազմավարությունը հիմնված է հստակ նպատակների վրա
Կատարում
1. համեմատություն հիշողության տարրերի հետ, ինչը հանգեցնում է հակասական կանոնների
2. Կանոնների ընտրություն կոնֆլիկտային հավաքածուից
3. Կանոնների եզրակացության մեջ նշված գործողությունների կատարումը
Գործում է մինչև նպատակին հասնելը:

Գիտելիքների ձեռքբերում

Աղբյուրից գիտելիքի արդյունահանում, անհրաժեշտ ձևի փոխակերպում և խելացի համակարգի գիտելիքների բազա տեղափոխում:

Գիտելիքը բաժանվում է.
- օբյեկտիվացված;
- սուբյեկտիվ
Օբյեկտիվացված - արտաքին աղբյուրներում ներկայացված գիտելիքներ՝ գրքեր, ամսագրեր, հետազոտական աշխատանք:
- ձևաչափված, այսինքն. ներկայացված է օրենքների, բանաձևերի, մոդելների, ալգորիթմների տեսքով։
Սուբյեկտիվ - գիտելիքը, որը փորձագիտական է և էմպիրիկ, չի ներկայացվում արտաքին տեսքով:
Փորձագետի գիտելիքները ոչ ֆորմալ են, այն բաղկացած է բազմաթիվ էվրիստիկական տեխնիկայից և կանոններից, այն թույլ է տալիս գտնել խնդիրների լուծման մոտեցումներ և առաջ քաշել վարկածներ, որոնք կարող են հաստատվել կամ հերքվել:
Գիտելիք կարելի է ստանալ ցանկացած օբյեկտի դիտարկման գործընթացում։
Գիտելիքի ճարտարագետի և խորհրդատուի գործունեության եղանակները գիտելիքների ձեռքբերման գործընթացում:
1. արձանագրության վերլուծություն
- հիմնավորումները ձայնագրվում են բարձրաձայն խնդիրների լուծման գործընթացում:
Օ.Ս. կազմվում և վերլուծվում են արձանագրություններ
2. Հարցազրույց - փորձի հետ անցկացվում է երկխոսություն՝ ուղղված գիտելիքների ձեռքբերմանը։
3. Մասնագիտական գործունեության խաղային մոդելավորում.

Հարցազրույցի մեթոդներ.
1. Քայլերի կտրումը բացահայտում է կապերը, որոնք թույլ են տալիս կառուցել հիերարխիկ կառույցներ
2. Առաջարկվում են ռեպերտուարային ցանց 3 հասկացություններ և պահանջվում է անվանել 2-րդ և 3-րդ հայեցակարգի տարբերությունը: Փորձագետին առաջարկվում է մի քանի հասկացություն և պահանջվում է անվանել ընդհանուր հատկություններ => ձևի դասեր:

Գիտելիքի դաշտ ձևավորելու կոնիտոլոգի աշխատանքի մեթոդը
Ներառում է 2 փուլ
1. նախապատրաստական
1.1. Խնդրի հստակ նախապատրաստում, որը համակարգը պետք է լուծի
2. Կոնիտին ծանոթացնելով Լիտովային
3. Փորձագետների ընտրություն
4. Փորձագետներին ծանոթացնելով պատճենին
5. Փորձագետին ծանոթացնել արհեստական ինտելեկտի հայտնի տեխնիկայի հետ
6. Պատճենից գիտելիքների դաշտի ձևավորում
2. Հիմնական փուլ
1. Պոմպային գիտելիքների դաշտը ռեժիմում
2. կոսմետոլոգի թիմային աշխատանք՝ արձանագրության վերլուծություն, հասկացությունների միջև կապերի բացահայտում, փորձագետի համար հարցերի պատրաստում.
3. Գիտելիքների դաշտի բարձրացում՝ փորձագետին հարցեր տալու խնդիր
4. Հայեցակարգային խնդրի ֆորմալացում.
5. Մոդելի ամբողջականության ստուգում
Եթե մոդելը թերի է, ապա օգտագործվում է 2-րդ մոտարկումը։

Դասախոսություն 12 10.12. 99.

Անորոշ հավաքածուներ
- արտադրանքի հաստությունը փոքր միջին մեծ

աստիճան

10 15 40 արտադրանքի հաստությունը
- մշուշոտ հավաքածու x - ունիվերսալ հավաքածու
x - ձևավորել A զույգերի մի շարք
- կոչվում է անորոշ բազմության անդամակցության ֆունկցիա:
Անդամակցության ֆունկցիայի արժեքները կոնկրետ X տարրի համար կոչվում են

Պատկանելության աստիճանը

Մշուշոտ հավաքածուի կրող
Նորմալ մշուշոտ հավաքածուն այն հավաքածուն է, որի համար

Fuzzy հավաքածու
X - ունիվերսալ հավաքածու
X - ձևավորել A զույգերի հավաքածու
- կոչվում է անորոշ բազմության անդամակցության ֆունկցիա:
X տարրի համար անդամակցության ֆունկցիայի արժեքը կոչվում է անդամակցության աստիճան
- մշուշոտ հավաքածուի կրող
&
Սովորական անորոշ հավաքածու յուրաքանչյուրի համար նախատեսված հավաքածու է

Եթե մենք իջեցնենք նորմալ ձևի => մենք պետք է բաժանենք դրա բոլոր արժեքները
.

Թող անդամակցության ֆունկցիան տրվի 10-ից 40-ի ամբողջ թվով
Սահմանեք արտադրանքի փոքր հաստության հասկացությունը:

| | | | | | | | x x

10 11 12 13 14 15 16 17 18
18

Գործողություններ անորոշ բազմությունների վրա

1. Մշուշոտ բազմությունների միավորում

2. Մշուշոտ բազմությունների խաչմերուկ

3. Մշուշոտ բազմության լրացում

12 և 13 դասախոսությունների սկիզբ.

(A1,(A2,….,(An 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. Մշուշոտ կոմպլեկտը հզորության բարձրացում:

(A2 = con ((A) - համակենտրոնացում

(A0.5 = dil((A) – ձգում

Անդամության ֆունկցիայի որոշման մեթոդներ.

2-ից մի փոքր ավելի. 0-ից մինչև 5:
|x |0 |1 |2 |3 |4 |5 |
|n1 |- |- |- |10|8 |4 |
|n2 |10|10|10|- |2 |6 |

(A = n1 / (n1 + n2)

Վարկանիշային մեթոդ.

Անորոշ փոփոխական.

(- մշուշոտ փոփոխականի անվանումը x – դրա սահմանման տարածքը

(A-ն իմաստն է, մշուշոտ բազմությունը որոշում է անորոշ փոփոխականի իմաստաբանությունը

Լեզվական փոփոխական.

(- լեզվական փոփոխականի անվանումը

T - հիմնական տերմինների հավաքածու - ձևավորում է անորոշ փոփոխականների անվանումները
(հազվադեպ, երբեմն, հաճախ), որոնք լեզվական փոփոխականներ են

X – լեզվական իմաստների կրող – սահմանման տիրույթ

G - շարահյուսական ընթացակարգ

M – իմաստային ընթացակարգ

Շարահյուսական ընթացակարգ քերականական տերմինների տեսքով, որոնց խորհրդանիշները կազմում են տերմիններ սահմանված տերմիններից (և, կամ, ոչ), տիպի ձևափոխիչներից
(շատ, թեթևակի, ոչ և այլն)

(- հաճախականությունը

T = (հազվադեպ, երբեմն, հաճախ)

Հաճախակի

Նման տերմինները սկզբնականների հետ միասին կազմում են բազմության տերմինների ածանցյալը։

Իմաստային պրոցեդուրաները հնարավորություն են տալիս վերաշարադրել թերմաֆազային իմաստաբանությունը:

M((1 կամ (2) = (A1 ((A2

((1, x1, (A1)

((2, x2, (A2)

M((1 և (2) = (A1 ((A2

M(շատ() = con((A)

M (մի փոքր () = dil ((A)

Սցենար.

Դա գիտելիքների ներկայացման շրջանակային մոդելների դաս է, որտեղ առարկայական ոլորտին բնորոշ գործողությունների և իրադարձությունների հաջորդականության մասին գիտելիքները ներկայացվում են ընդհանրացված և կառուցվածքային տեսքով: Դիտարկենք կարծրատիպ - պատճառահետևանքային սցենար - այն որոշում է նպատակներին հասնելու համար անհրաժեշտ գործողությունների հաջորդականությունը, սա շրջանակային մոդել է:

(kcus name.slot1 name(slot1 value);slot2name(slot2 value);

... բնիկի անվանումը n(անցքի արժեքը n))

(kcus դերակատար թիրախային դերակատարի նախադրյալի հիմնական հետևանքի համակարգի անվանումը)

Նախադրյալը սահմանում է այն գործողությունները, որոնք պետք է կատարվեն հիմնական գործողությունից առաջ, որպեսզի այն ուժի մեջ մտնի: Հետևանքը վերջնական գործողությունն է։ Համակարգի անունը սկրիպտ է:

(kcus «հրդեհաշիջում». դերասան (S:) դերասանի նպատակը (C. «հրդեհի դադարեցում»)

P11, P12 ծանրոցներ (հատուկ՝ «մարման միջոցների որոնում» R1, «մարման տրանսպորտային միջոցներ»)

K1 բանալի (զ. «մարման միջոցների օգտագործումը կրակի ամբողջական դադարեցման համար») հետևանք (P. «հրադադար») համակարգի անվանումը (sys: cus*1))

R1 - ավելի վաղ լինել

(kcus «մարման միջոցների որոնում». դերակատար (S:) դերակատարի նպատակը (C. «մարման միջոցներ գտնելը»)

P121, P22 ծանրոցներ (հատուկ՝ «մարման միջոցների գտնվելու վայրի կոորդինատների որոշում» R1, «մարման միջոցի տեղ տեղափոխում»)

K2 ստեղն (f. «գրավում է մարման նյութերը») հետևանք (P. «գտնվելով մարման միջոցների գտնվելու վայրում») համակարգի անվանումը (sys: cus*2))

(kcus «մարման միջոցների տեղափոխում հրդեհի վայր». դերակատար (S:) դերակատարի նպատակը (C. «մարման միջոցների առաքում հրդեհի վայր»)

P31, P32 ծանրոցներ (նշ. «մարման միջոցների առկայություն» R1, «հրդեհի վայրի կոորդինատների որոշում»)

K3 բանալի (զ. «շարժում դեպի հրդեհի վայր») հետևանք (P. «հրդեհի վայրում մարման միջոցների հայտնաբերում») համակարգի անվանումը (sys: cus*3))

Սցենարների վրա հիմնված գիտելիքների ընդլայնում:

Հաջորդականություն:

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

P21R1P22R1K2 P31R1P32R1K3

P21R1P22R1K2 R1 P31R1P32R1K3 R1 K1

Տարածքները սահմանում են գործողություններ, որոնք պետք է կատարվեն հիմնական գործողությունից առաջ և անհրաժեշտ են դրա գործողության համար: Նախաքննությունը վերջնական գործողություն է. Համակարգի անվան սցենար.

Կեղծֆիզիկական տրամաբանության վրա հիմնված գիտելիքների համալրում.

P1 - ինքնաթիռի վայրէջք

P2 - սանդուղքի մատակարարում

P3 - ինքնաթիռը լքող ուղևորներ

P4 - ավտոբուսի առաքում

P5 - ժամանումը օդանավակայանի տերմինալ

Տեքստի կառուցվածքը լեզվական մակարդակում ներկայացված է հետևյալ բանաձևով.

TS = PR4dt&P1R3 10, (P2&P2R1P3&P4R3 2, (P5 t = 15 ժամ 20 րոպե

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

P1R3 10, (P2 (P1R1P2

P4R3 2, (P5 (P4R1P5

TS* = P1R1P2& P1R1P3& P2R1P3& P4R1P5

Գիտելիքների ընդհանրացման մոդելներ և մեթոդներ.

Ընդհանրացումը վերաբերում է գիտելիք ստանալու գործընթացին, որը բացատրում է առկա փաստերը, ինչպես նաև նոր փաստերը դասակարգելու, բացատրելու և կանխատեսելու կարողությունը: Նախնական տվյալները ներկայացված են վերապատրաստման նմուշով: Օբյեկտները կարելի է բաժանել դասերի. Կախված նրանից, թե օբյեկտների a priori բաժանումները դասերի սահմանված են, թե ոչ, ընդհանրացման մոդելները բաժանվում են ընդհանրացման մոդելների՝ ըստ նմուշների և ըստ դասերի:

(+ = (01+, 02+…0nj+) – դրական նմուշ:

Բացասական նմուշ կարող է սահմանվել (- = (01-, 02-…0ь-)

Պահանջվում է գտնել կանոն, որը թույլ է տալիս որոշել՝ արդյոք օբյեկտը պատկանում է Kj դասին, թե ոչ։

Տվյալների ընդհանրացման մոդելներում նմուշը ներկայացված է դասի օբյեկտների մի շարքով: Ընդհանրացման մեթոդները բաժանվում են ընդհանրացման մեթոդների՝ հիմնված բնութագրերի և կառուցվածքային-տրամաբանական ընդհանրացման մեթոդների։

Z = (z1, z2, …, zr)

Zi = (zi1, zi2, …, zini)

Օբյեկտը բնութագրվում է մի շարք առանձնահատկությունների արժեքներով Qi = (z1j1, z2j2, …, zrjr):

Կառուցվածքային-տրամաբանական ընդհանրացման մեթոդները օգտագործվում են կառուցվածքային-տրամաբանական մեթոդների մեջ ներքին կառուցվածք ունեցող օբյեկտների մասին գիտելիքները ներկայացնելու համար: Կարելի է առաջ քաշել երկու ուղղություն՝ նորմալ հաշվարկի ինդուկտիվ մեթոդներ և իմաստային ցանցերի ընդհանրացման մեթոդներ։

Բնութագրերի վրա հիմնված հասկացությունների ընդհանրացման ալգորիթմ:

Օբյեկտները որոշակի դասի պատկանելու մասին որոշելու կանոնները ներկայացված են մի շարք տրամաբանական բանաձևերով, որոնց տարրերն են hij և ֆունկցիաները ((((((((

Z = (z1, z2) (սեռ, տարիք)

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

Z2 = (z21, z22, z23) (երիտասարդ, միջին, ծեր)

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

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

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

&i hij - ընդհանրացված կոնյունկտիվ հասկացություն

0 = max(xij – 1/(i), որտեղ 0-ը չափանիշ է, xij-ը հատկանիշի որոշակի արժեքի առաջացման հաճախականությունն է, (i-ն հատկանիշների քանակն է.

0 = 3/5 – 1/2 = 0.1

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

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

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

Իրավիճակը

Ստատիկ

Դինամիկ

Մշտական հատկություններ և հարաբերություններ

պետություններ

Կայուն

Ժամանակավոր

Գործընթացներ

(հիվանդ 1, ախտորոշում, կոլիտ, K760)
(հիվանդ 1, ախտորոշում, գաստրիտ, K740)

ուսանող

Չսահմանված օբյեկտ

Հատուկ օբյեկտ

Նյութական օբյեկտ

Ոչ նյութական օբյեկտ

իրավիճակ

տարածություն

սենյակ

սարքավորումներ

ուսանողները

վարչական անձնակազմ

ուսուցիչները

սպասարկող անձնակազմ

ասպիրանտ

բաժնի պետ

մեթոդիստ

Պրոֆեսոր

օգնական

լաբորանտ

տարածություն

գավառ

տեղանք

աշխատանքները

ուսուցիչ

Սրճարանի անվանումը

փոխարինում

կարգապահություն

Խմբի կոդը

Գիտելիքի ճարտարագիտությունը փորձագիտական համակարգեր կառուցելու տեխնոլոգիա է: Այս գործընթացը պահանջում է փոխգործակցության հատուկ ձև փորձագիտական համակարգի ստեղծողի, որը կոչվում է գիտելիքի ինժեներ, և մեկ կամ մի քանի փորձագետների միջև որոշակի առարկայական ոլորտում: Գիտելիքի ինժեները փորձագետներից «քաղում» է ընթացակարգերը, ռազմավարությունները և հիմնական կանոնները, որոնք նրանք օգտագործում են խնդիրները լուծելու համար և ներդնում այդ գիտելիքները փորձագիտական համակարգում: Փորձագիտական համակարգեր ստեղծելիս առաջացող ամենադժվար խնդիրներից մեկը փորձագետի գիտելիքների և լուծումներ գտնելու համար օգտագործվող մեթոդների նկարագրությունն է այնպիսի ձևի, որը թույլ կտա դրանք ներկայացնել համակարգի գիտելիքների բազայում, այնուհետև արդյունավետ օգտագործել լուծելու համար: խնդիրներ տվյալ առարկայի ոլորտում:

Որպես կանոն, փորձագետը չի օգտագործում ընթացակարգային կամ քանակական մեթոդներ: Դրա հիմնական միջոցներն են անալոգիան, ինտուիցիան և վերացականությունը: Հաճախ փորձագետը նույնիսկ չի կարողանում բացատրել, թե կոնկրետ ինչպես է գտել լուծումը։ Գիտելիքների բազայի ստեղծումը ներառում է երեք փուլ.
- առարկայի նկարագրությունը;
- գիտելիքների ներկայացման մոդելի ընտրություն;
- գիտելիքների ձեռքբերում.

Գիտելիքների բազա ստեղծելու առաջին քայլը առարկայական ոլորտը բացահայտելն է, որի համար փորձագիտական համակարգը կենտրոնացած է խնդիրների լուծման վրա: Ըստ էության, այս աշխատանքը հանգում է համակարգի կիրառման շրջանակի սահմանների և դրա լուծվող խնդիրների դասի վերաբերյալ ինժեների գիտելիքների սահմանմանը: Այս դեպքում անհրաժեշտ է.
- որոշել լուծվող խնդիրների բնույթը.
- ընտրել առարկայի տարածքի օբյեկտները.
- կապեր հաստատել օբյեկտների միջև.
- ընտրել գիտելիքների ներկայացման մոդել;
- բացահայտել առարկայական ոլորտի առանձնահատկությունները.

Դոմենի նույնականացումը իրական աշխարհի վերացականացման առաջին քայլն է: Առարկայական ոլորտը բացահայտելուց հետո գիտելիքի ինժեները պետք է պաշտոնապես նկարագրի այն: Դա անելու համար նա պետք է ընտրի գիտելիքների ներկայացման մոդել: Ֆորմալ առումով սա պետք է լինի մոդել, որով դուք կարող եք լավագույնս ցուցադրել թեմայի տարածքի առանձնահատկությունները:

Գիտելիքի ինժեները առաջին հերթին պարտավոր է հարցազրույց անցկացնել փորձագետի հետ և միայն դրանից հետո սկսել համակարգի կառուցումը: Այս դեպքում անհրաժեշտ է որոշել համակարգի նպատակային նպատակը: Այս դեպքում հիմնական նպատակը բաժանվում է ենթանպատակների.

Հաջորդ փուլում անհրաժեշտ է նախանշել աղբյուրի տվյալների սահմանները։ Լուծման որոնման տարածք ստեղծելու համար անհրաժեշտ է ենթանպատակներ սահմանել ընդհանուր խնդրի նպատակների հիերարխիայի յուրաքանչյուր մակարդակում: Հիերարխիայի վերին մասում պետք է դրվի այնպիսի խնդիր, որն իր ընդհանրության մեջ արտացոլում է համակարգի հիմնարար հնարավորություններն ու նպատակը:

Առարկայական տարածքի օբյեկտները բացահայտելուց հետո անհրաժեշտ է հաստատել, թե ինչ կապեր կան դրանց միջև: Դուք պետք է ձգտեք բացահայտել հնարավորինս շատ կապեր:

Ստացված առարկայի որակական նկարագրությունը պետք է ներկայացվի ինչ-որ պաշտոնական լեզվի միջոցով, որպեսզի այս նկարագրությունը հասցվի այնպիսի ձևի, որը թույլ կտա այն տեղադրել համակարգի գիտելիքների բազայում: Այս խնդիրը լուծելու համար ընտրվում է համապատասխան գիտելիքների ներկայացման մոդել, որի օգնությամբ կարող է ձեւականորեն արտահայտվել առարկայական ոլորտի մասին տեղեկատվությունը։>

Համակարգը միջնորդ է, կնքում է մատակարարման պայմանագիր։

Գիտելիքների համակարգ՝ գիտելիքի վրա հիմնված համակարգ։

SOZ SBZ DBMS ES IS SII - արհեստական ինտելեկտի համակարգ:

Գիտելիքի վրա հիմնված համակարգի կառուցվածքը.

Ինտերֆեյս

Գիտելիքների բազան մոդել է, որը համակարգչում ներկայացնում է որոշակի առարկայական ոլորտում կուտակված գիտելիքները: Այս գիտելիքը պետք է ֆորմալացվի: Գիտելիքը ձևավորվում է մոդելի միջոցով, այնուհետև ներկայացված է հատուկ լեզվով:

Ինտերֆեյսը տրամադրում է երկխոսություն օգտագործողին ծանոթ լեզվով:

Գիտելիքների ճարտարագիտության մեջ հաճախ օգտագործվում են եզրակացությունների վրա հիմնված մեթոդներ:

Առարկայական տարածքի հայեցակարգը:

Օբյեկտը մի բան է, որը գոյություն ունի կամ ընկալվում է որպես առանձին էություն:

Հիմնական հատկությունները` դիսկրետություն; տարբերությունը։

Առարկայական ոլորտը նկարագրելու հայեցակարգային միջոցներ:

Օբյեկտի դասի հայեցակարգը:

K - օբյեկտի դաս:

K t – K դասի օբյեկտների բազմություն t ժամանակում:

Խումբ (1999) = (IA-1-99, IA-1-98, …, IA-1-94, IB-1-99,…)

Խումբ (1998) = (IA-1-98, IA-1-97, …, IA-1-93, IB-1-98,…)

«t K t = (…)

Դասավանդող պաշտոն = (պրոֆեսոր, դոցենտ, ավագ դասախոս, դասախոս, ասիստենտ)

1 4 Երկրաչափական պատկեր, քառակուսի ձև, կապույտ գույն:
օբյեկտների ատրիբուտների զույգ

(Երկրաչափական պատկեր.

ձև Երկրաչափական ձև

գույնի գույն)

Հատկանիշների անվանումը և հատկանիշի արժեքային զույգերը հաճախ նույնն են:

Օրինակ իրավիճակ.

դասախոս Դասախոսի ազգանունը,

տեղ #_լսարան,

թեմա Թեմայի_անուն,

լսողի խմբի_կոդ,

օր Շաբաթվա օր,

ժամը Start_time)

Իրավիճակը – ցուցադրվում է «ուսուցչի» և «լսողի» կապը և այս իրավիճակի այլ բնութագրերը:

Իրավիճակում մասնակիցների դերերը.

Լսող

Իրավիճակի բնութագրերը.

(K: A 1 K 1, A 2 K 2, ..., A n K n) – գիտելիքների ներկայացում ինչ-որ կառուցվածքի տեսքով:

(ամսաթիվ, օր, օր_ամիս)

(ամսաթիվ, ամիս, ամսվա_անուն)

(ամսաթիվ, տարի, տարի)

(երկրաչափական_ֆիգուր, ձև, երկրաչափական_ձև)

(երկրաչափական_ֆիգուր, գույն, գույն)

Գիտելիքի այս ներկայացումը համապատասխանում է գիտելիքի ներկայացմանը առանձին փաստերի տեսքով:

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

Օբյեկտների մասին գիտելիքների ներկայացումները բաժանվում են.

Օբյեկտների դասեր (տվյալների կառուցվածք)

Գիտելիքներ կոնկրետ օբյեկտների մասին (տվյալների մասին)

Օբյեկտների դասեր.

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

Իսկ ես հատկանիշի անունն է

i – օբյեկտների դասերը հատկանիշի արժեքն են

K - դասի անվանումը

(ուսուցիչներ.

Ամբողջական անուն ազգանունը_նիշերով,

Պաշտոն դասավանդում_պաշտոն)

2. (K: A i K i)

(ուսուցիչ, լրիվ անուն, ազգանուն՝ սկզբնատառերով,

ուսուցիչ, պաշտոն ուսուցում_պաշտոն)

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

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

(ուսուցիչ (ազգանունը՝ սկզբնատառերով, դասավանդման_պաշտոն),

ուսուցիչ (անունը, պաշտոնը)

Գիտելիքի ներկայացում առաջին ձևի համար.

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

Գիտելիքի ատրիբուտային ներկայացում.

(ուսուցիչ. - ներկայացնում է

Ամբողջական անունը Սեմենով - ինչ-որ կառույց

Պաշտոն ասիստենտ) - տվյալներ

Գիտելիքի ներկայացում երկրորդ ձևի համար.

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

Գիտելիքի վերագրելի ներկայացում անհատական փաստերի տեսքով.

(ուսուցիչ 1 լրիվ անուն, Սեմենով) - 1 , 2 միջեւ կապեր են

(ուսուցիչ 1 , պաշտոն, դոցենտ) - փաստեր

(ուսուցիչ 2 լրիվ անուն, Պետրով)

(ուսուցիչ 2 , պաշտոն, օգնական)

Գիտելիքի ներկայացում երրորդ ձևի համար.

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

(ուսուցիչ (Սեմենով, դոցենտ) - գիտելիքների դիրքային ներկայացում

Գիտելիքի ներկայացում «եռյակների» տեսքով - (օբյեկտ, հատկանիշ, արժեք):

(հիվանդ 1, ախտորոշում, կոլիտ, K760)

0 - համապատասխանում է անորոշությանը:

բացասական արժեք - հատկանիշի արժեքի անհնարինության նկատմամբ վստահության աստիճանը: