Qo'lyozma sifatida Pincher Denis Vladimirovich

Ikkinchi bobda bilim vakillik tili va algoritm n bag'ishlangan o uning ishlatiladi bir bilim bazasini barpo qobig'i.

Qayd etilishicha, ishlab chiqilgan tilning lug'atini tuzish uchun PS strategiyasini baholash vazifasi rasmiylashtirilishi kerak. Bu vazifa quyidagicha rasmiylashtiriladi.

Tomonlarning ba'zi F tizimiga nisbatan o'zaro ta'sirini rasmda ko'rsatilgan diagramma shaklida ko'rsatish taklif etiladi:

 

s



Guruch. 1. Tomonlarning o'zaro hamkorligi

Bu erda u - birinchi tomonning harakati (1C), x - ikkinchi tomonning harakati (PS, 2C); w - uchinchi tomonning harakati (3C), s - tizim holati F. Swing ostida t- Xia   diskret vaqt ichida tizim holatiga ta'sir qilishi mumkin bo'lgan har qanday harakatni (axborot, jismoniy, iqtisodiy va boshqalar) tushunadi . k . 1C va 2C qarama-qarshi maqsadlarni ko'zlaydi (1C yoki 2C maqsadi ostida biz ushbu ishtirokchi uchun F tizimining qandaydir qulay holatini nazarda tutamiz), 3C o'zaro ta'sir qoidalarini belgilaydi .

 

Bu to'g'ri qumlarning F harakat ta'siri ostida tizimining evolyutsiyasi, deb ko'rsatilgan o- quyidagicha bo'sh joy davlatlar tasvirlangan mumkin:

s k1 Fs k , u k1 , w k1 , x k1 , 

s kS , x kX , u kU , w kW , k1,2, ... n ,     

(bir)

bu yerda S - F sistemaning mumkin bo'lgan holatlarining cheklangan to'plami va U,   X, W to'plamlari mos ravishda birinchi, ikkinchi va uchinchi tomonlarning mumkin bo'lgan harakatlari to'plamidir . Vaqtning diskret momenti n maqsadlarga erishishga mos keladi

1C yoki 2C.

( PS )

N D d litr bir xotin va bir b a a n Hovhan m e t p va a va s k , b ^, n ustida s nominal I w u va i ning i th NIV va bo'lishi                    

ko'rib chiqilayotgan davlatning yaqinligi

s    butun PS

P C s  

... Ko'rsatilgan, bu

k                                i                 ( PS )

amalga oshirilganlarga muvofiq joriy vaziyatda PS harakatlarini tanlash

B

k

shakldagi strategiyaga ega ishtirokchi:

g 2 S noaniq munosabatlar yordamida tasvirlash  mumkin

i

g 2 S:  

men . k

s k, _C

k1

u k 1 , _D

k1

W k 1 E

k1

x k1 

(2)

( PS )

bu yerda B k - darajaga ko'ra birlashtirilgan F sistemaning noaniq holatlar to'plami

masofaviy o'xshashliklar

s k , s ^ 

, C k1 ,

D k1

- loyqa harakatlar to'plamlari

birinchi va uchinchi shaxslar, ularning ta'sirining o'xshashlik darajasiga ko'ra birlashtirilgan

PSning keyingi harakati,

E k1

ikkinchisining noaniq harakatlar to'plami

Rones, PSning maqsad sari qanday harakat qilishini tavsiflaydi .

B ks k,  

C      u k1 ,  

 

k1

D

k1

w k1 va

E

k1

x k1 

- bular mos ravishda a'zolik funktsiyalari,

imo-ishoralar

B k , C k1 ,

D k1 i

E k1 .

Bu ko'rsatilgan, deb davlatga davlatdan tizimi F o'tish uchun qoidalari uchun

strategiya doirasida

g 2 S  quyidagi shakldagi noaniq munosabatlar bilan ifodalanishi mumkin:

i

h2 S:B   

s k, C 

u k 1 , D 

w k 1 , E 

x k1 B  

Bilan K1 

(3)

M

men . k                  k

k1

k1

k1

k1

va modellar

2 C

i

strategiyalarning har biri

g ^{ 2 S } quyidagi munosabatlar bilan tavsiflash mumkin :

i

g2 S:Bs 0 , Cu 1 , Dw 1 E         

x 1 

(4)

i .0 0 1 1 1                                                                                  

h2 S:Bs 0 , Cu 1 , Dw 1 , Ex 1 Bs 1  

        

i .0                  0                    1                   1                    1                           1



i

M ^2 C............

B

2 C

                                 

g      :

men . n1 

n1

s n1 , C

u    , w    

n

n

x     

n

h2 S:B  

s n1 , _C

u n , _D

w n , _E

x n__B 

lar ^*      

men . n1

n1

n                     n n                    

_n PS   

PS strategiyasini baholash muammosini tasniflash muammosi sifatida ko'rsatish mumkinligi isbotlangan, uning echimi bitta modelni (4) tanlashga qisqartiriladi.

 

Ko'pchilik e kuschaya ketma-ketlikda t ga to'g'ri keladigan PS mumkin bo'lgan strategiyalar :

g = s o , u 1 , w 1 , x 1 , ..., s k1 , U k , w k , x k, ..., s m1 , U m , w m , x m,                

k , mn

(5)

Rivojlangan bilimlarni ifodalash tili (4) shakldagi PS strategiyalari modellarini tavsiflash vositalarini va (5) shaklning joriy ketma-ketligini o'z ichiga olishi kerakligi asoslandi.

   Sintaktik    bo'yicha bilim    vakillik tilida qilingan ishlab    , shama

quyidagi qismlarning mavjudligi : 1) o'zaro ta'sir jarayonining umumiy tavsifi yuz-

( PS )

p a n , bir qilish l Uche va w w e th ning p p Yedelev n va i m e t p va a va s K , b ^ , m n ning zhes TV yilda z m ning zhny x dan haqida -            

stantsiyalar B k

va tomonlarning harakatlari C k , D k

va E k , 2) barcha mumkin bo'lgan mamlakatlar tavsifi

gies MS va 3) joriy ketma-ketlikni tavsiflang g .

Til lug'ati aniqlandi, unda sanab o'tilgan strukturaviy   elementlarni tavsiflash uchun sintaktik birliklar , shuningdek, bilim bazalari bilan turli xil operatsiyalarni bajarish uchun kalit so'zlar   va   buyruqlar   mavjud . Tanishtirdi              

( PS )

uchun L th h evye zonasi tashkil bir yaxshi : de f m e Tri c - uchun soat alo b l ning bir yaxshi bir da'vo Işan m Optometri uchun va s k , b ^, d e f -                           

davlat   - davlat tavsifi blokining   boshlanishi (lingvistik o'zgaruvchining atamasi       

B k ) , defaction - boshlanishi blokda tasvirlab hodisasining biri bo'yicha tomonlarning (muddatli lin-

histik o'zgaruvchisi C k , D k

yoki

E k ) , defstrategiya - tavsifblokining boshlanishi

PS strategiyasi, defsequence - joriy ketma-ketlikni tavsiflash blokining boshlanishi o STI va boshqalar. Harakatni va holatlarning kichik to'plamini tavsiflovchi dastur kodining bir qismi mos ravishda quyidagicha ko'rinadi:

(buzilish c01

( nomi " 1- harakat C ") ( " Qurilish 1" harakati (CF 0.9))

(" Xod 2" harakati (CF 1))

)

 

(defstate b0

( " Qulay sharoitlar " nomi ) (masofa 0,2)

( harakatlar (shaxs1 c01,c02) (shaxs2 e01,e02))

)

Birinchi blok identifikatorida c01 va ikkita mujassamga ega bo'lgan "Haqiqatan ham e 1C" nomli harakat aniqlandi : "Protsesslar 1" va "Holat 2" ka zh dy, bu harakatni mos ravishda 0,9 va 1 ga tegishli funktsiyalar qiymatlari bilan tavsiflaydi. Ikkinchi blokda cheklangan kœpligini belgilaydi   tashkil   tizimi davlatlar   bilan   identifikator olatni B0 joylashgan va   nomi "foyda

yoqimli holatlar ", uning elementlari mumkin bo'lgan holatlar s k ,    

( PS )

d l I to haqida torus s x h da h ix p ass m ustida I Nia s k , s ^p va aniq 0 . 2. Status yil I n va I x ning berilgan n o-          

 

Ushbu kichik to'plamning c01   va c02 identifikatorlari bilan birinchi tomon harakatlari va e01 va e02 identifikatorlari bilan ikkinchi tomonning harakatlari mumkin .

Algoritmik dasturiy ta'minot tarjimoni doktor z- ops tilining asosi bo'lgan SS harakatining mumkin bo'lgan traektoriyalari haqida apriori va posteriori ma'lumotlarni tavsiflovchi ma'lumotlarning bilim bazalarini qurishga yondashuv . Bu yondashuv quyidagicha.

Har bir maqsad uchun tuzilgan modellar to'plami (4).

2 C, kaj- 

i

Dastlabki davlat jalb doi vaziyat si _i , butlovchi men eritiladi ō s Y s Nanii G .

s 0 S 0 S , mavjud resurslar

Russ m ning Treno p ning p m va p SC ba s s s Nan va d G uchun taxminan Snov apriori kuni p n th va va n o- steriornoy ma'lumot. Faqat bir apriori axborot SS strategiyasini modellashtirish bilim shaklida bu ma'lumotlarni olish va va c modeli uchun o'zgarishsiz foydalaning. Bunday holda, a sahifasi -     PS tegi (2) va (3) ko'rinishdagi munosabatlar ketma-ketligi yordamida (4) ifoda bilan tavsiflanadi. Bu Tavsif til rivojlangan e bilim birikmesini mavjud qaynash quyidagicha sintaktik defstrategy birliklari yordamida amalga oshiriladi:

(" 1- strategiya " defstrategiyasi

((b0,c01,d01 => e01 0,7), ( b0 ,c01,d01,e01 => b1 0,7))

((b1,c11,d11 => e11 0,8), (b1,c11,d11,e11 => b2 0,8))

...

)

bu yerda b0, c01, d01 va e01 mos ravishda lingvistik atamalarning identifikatorlari

iical o'zgaruvchilar

B k , C k , D k

va E k , tasvirlangan operatsiyalar yordamida aniqlanadi

M

sintaktik birliklarning defstate va deflyatsiya, elementlar (b0, c01, d01 => e01 0,7) va (b0, c01, d01, e01 => b1 0,7) mos ravishda (2)   va (3) shakl munosabatlarini tavsiflaydi. va ularning ishonchlilik darajasi .

Modelni qurish holatida

2 C

i

a posteriori ma'lumotlarga ko'ra, siz

kuzatishlar namunasini shakllantirish

V N^2 C , s 0 , ^(2 C ), har bir element -

Ment bir simüle mumkin bo'lgan, bir ilovasini ta'riflaydi

strategiya

g 2 C . Ushbu namunadagi har bir elementning qiymatlari o'zgartiriladi

i

B k , C k , D k va E k lingvistik o'zgaruvchilarning shakli , undan keyin

p ning p m va p ning ham va n va e ba soat ichida ham s x m n ning zhes TV ning t n ning w Tim th R yilda yer va ( 3 ) va Ha va d va ( 4 ) .       

men . k

R

Keyin, R chiqarib tashlangan elementlarning ko'pligi bir-biriga mos keladigan ot e stvuyuschie nisbatiga ega va bu to'plamlarning qolgan elementlari uchun hisoblanadi.   

axborot o'lchovi

g2 C. Ketma-ketlik natijasida

2 C

i

ga bog'liq

(2) ko'rinishdagi munosabatlar va tegishli ketma-ketliklar

2 C

H

i

i

munosabat

modelni tavsiflovchi shakl (3).

M ^{ 2 C } , shartga ko'ra hosil bo'ladi:

R2 CR\ r2 C| g2 C          

(6)

men                          men . k

men . k

H2 C H\ h2 C| g2 C      

men                            men . k

men . k

bu erda  - o'ziga xos xususiyatga muvofiq tanlangan nisbiy chegara qiymati

      hal qilinayotgan muammoning o'ziga xosligi       ,

2 C

R

i

- munosabatlar      ketma-ketligi     

g 2 S , k  0,1, ..., n - 1, har bir vaziyatda bajarilgan harakatlarni tavsiflovchi

men . k

strategiyaga bog'liq

g 2 S ,

i

2 C

H

i

- munosabatlar ketma-ketligi

h 2 S , k  0,1, ..., n - 1, natijada F sistemaning harakat dinamikasini tavsiflovchi

men . k

ushbu strategiyani amalga oshirish.

Keyinchalik ma'lumotlarning nazorat namunasi bo'yicha

V ^K _ 2 S , s 0 

, (2 C )

belgilangan

L

test mezonining qiymati. Ishda , agar olingan qiymat qoniqarli bo'lmasa

M

namunadagi pul gipotezasi, V N^2 C , p 0 , ^(2 C )  qo'shiladi yangi

ma'lumot olinadi va tasvirlangan protsedura takrorlanadi. Aks holda, model bilimlar bazasiga qo'shiladi.

2 C

i

o'z ichiga oladi

Ta'lim elementlarini tavsiflash   va   test   ma'lumotlari namunalari turlicha

defselection va defcontrol sintaktik birliklari ishlaydi , ularda o'rnatiladi

simulyatsiya qilingan strategiyaning nomi

g2 S

i

va ko'rib chiqilayotgan elementning generatori

M

kop kortejlar ketma-ketligi "tizimning holati - tomonlarning harakatlari".

Qurilish modellari

2 C

i

quyidagicha amalga oshiriladi: 1) foydalanish

defselection sintaktik birliklari tasvirlangan o'quv elementlarini tanlash p ma'lumotlar ki modellashtirilgan tartibga solish ifodalaydi

strategiya

g 2 S  , 2) defcontrol sintaktik birliklari yordamida tasvirlangan

i

bir xil strategiyani amalga oshirish variantlari bo'lgan ma'lumotlarning nazorat namunasi elementlari, 3) ishlab chiqilgan yaratish va tekshirish buyruqlari yordamida bilimlar bazasini yaratish va tekshirish tartib-qoidalari ishga tushiriladi. Bu koma n satr quyidagi sintaksisi:

(yaratish (“1-strategiya” strategiyasi)) (tekshirish (“1-strategiya” strategiyasi))

bu erda "Strategiya 1" simulyatsiya qilingan strategiyaning nomi

g2 S.

i