Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike

Në këtë artikull, autori propozon një metodë të zhvilluar të induksionit fuzzy si bashkim i parimeve të matematikës fuzzy dhe teorisë së fraktaleve, duke futur konceptin e shkallës së rikursivitetit të grupit fuzzy. Përshkruhet një rikursive e paplotë e grupit si dimensioni i tij fraksional për modelimin e fushës së subjektit. Si fushë aplikimi për metodën e propozuar dhe modelet e njohurive të krijuara mbi të, konsiderohet menaxhimi i ciklit të jetës së sistemeve informative, duke përfshirë zhvillimin e skenarëve të përdorimit dhe testimin e softuerit.

Rëndësia

Gjatë projektimit dhe zhvillimit, implementimit dhe funksionimit të sistemeve informative, është e nevojshme të akumulohet dhe sistematizohet të dhënat, informacionet dhe njohuritë që mblidhen nga jashtë ose lindin në çdo hap të ciklit të jetës së softuerit. Kjo shërben si mbështetje informuese dhe metodologjike e nevojshme për punët projektore dhe marrjen e vendimeve, dhe është veçanërisht aktuale në situata të paqartësisë së lartë dhe në mjedise të dobët strukturuara. Baza e njohurive e formuar nga akumulimi dhe sistematizimi i burimeve të tilla duhet të jetë jo vetëm një burim i përvojës së dobishme, e fituar nga ekipi projektues gjatë punës për krijimin e sistemit informativ, por gjithashtu një mjet sa më i thjeshtë për modelimin e vizioneve të reja, mënyrave dhe algoritmeve për realizimin e detyrave projektore. Me fjalë të tjera, një bazë e tillë njohurish përbën një depo të kapitalit intelektual dhe, njëkohësisht, një instrument për menaxhimin e njohurive [3, 10].

Efiçenca, dobia dhe cilësia e bazës së njohurive si një instrument korrelacione me kërkesat burimore për mbajtjen e saj dhe rezultativitetin e nxjerrjes së njohurive. Sa më e thjeshtë dhe më e shpejtë të jetë mbledhja dhe regjistrimi i njohurive në bazë dhe sa më të përshtatshme të jenë rezultatet e kërkesave ndaj saj, aq më mirë dhe më të besueshme është vetë instrumenti [1, 2]. Megjithatë, metodat diskrete dhe mjetet e strukturot që aplikohen për sistemet të menaxhimit të bazave të të dhënave, përfshirë normalizimin e marrëdhënieve të bazave të të dhënave relacional, nuk lejojnë që të përshkruajnë ose modelojnë komponentët semantik, interpretimet, grupe semantike intervalesh dhe të vazhdueshme [4, 7, 10]. Për këtë, nevojitet një qasje metodologjike që përgjithëson rastet e veçanta të ontologjive përfundimtare dhe afron modelin e njohurive me vazhdimësinë e përshkrimit të fushës së subjektit të sistemit informatik.

NjĂ« qasje e tillĂ« mund tĂ« jetĂ« bashkimi i pozitiveve tĂ« teorisĂ« sĂ« matematikĂ«s fuzzy dhe konceptit tĂ« dimensionit fraktal [3, 6]. Duke optimizuar pĂ«rshkrimin e njohurive sipas kritereve tĂ« shkallĂ«s sĂ« vazhdimĂ«sisĂ« (madhĂ«sisĂ« sĂ« hapĂ«sit discretizimi tĂ« pĂ«rshkrimit) nĂ«n kushtet e kufizimit sipas parimit tĂ« paplotĂ«sisĂ« sĂ« Gödelit (nĂ« sistemin informatik – paplotĂ«sia konceptuale e arsyetimit, njohurive dhe konkluzioneve tĂ« nxjerra nga ky sistem me kushtin e koherencĂ«s sĂ« tij), duke realizuar njĂ« fazifikim tĂ« radhĂ«s (kalim nĂ« fuzzy), ne marrim njĂ« pĂ«rshkrim tĂ« formalisuar, i cili pasqyron mĂ« plotĂ«sisht dhe koherente njĂ« grup tĂ« caktuar njohurish dhe me tĂ« cilin mund tĂ« kryhen çdo operacione tĂ« proceseve informative – mbledhje, ruajtje, pĂ«rpunim dhe transmetim [5, 8, 9].

Përcaktimi i rekursivitetit të grupeve fuzzy

Le tĂ« jetĂ« X – grupi i vlerave tĂ« njĂ« karakteristike tĂ« sistemit tĂ« modeluar:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (1)

ku n = [N ≄ 3] – numri i vlerave tĂ« kĂ«tij karakteristike (mĂ« shumĂ« se grupi elementar (0; 1) – (gĂ«njeshtĂ«r; e vĂ«rtetĂ«)).
Le tĂ« jetĂ« X = B, ku B = {a,b,c,
,z} – grupi i ekuivalenteve, qĂ« i pĂ«rkasĂ« grupit tĂ« vlerave tĂ« karakteristikĂ«s X.
Atëherë, grupi fuzzy Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike, që i përgjigjet konceptit fuzzy (në përgjithësi) që përshkruan karakteristikën X, mund të paraqitet në formën:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (2)

ku m – hapi i discretizimit tĂ« pĂ«rshkrimit, i pĂ«rket N – shumĂ«fishtĂ«si e hapit.
Në përputhje me këtë, për të optimizuar modelin e njohurive mbi sistemin informatik sipas kriterit të vazhdimësisë (butësisë) së përshkrimit, duke mbetur brenda kufijve të hapësirës së paplotësisë së arsyetimit, do të introduktojmë gradën e rekursivitetit të grupit fuzzy Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike dhe do të marrim variantin e tij të mëposhtëm të përfaqësimit:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (3)

ku Metoda e Induksionit tĂ« PaqartĂ« dhe Aplikimi i saj pĂ«r Modelimin e Njohurive dhe Sistemeve Informatike – grupi, qĂ« i pĂ«rgjigjet konceptit fuzzy, nĂ« pĂ«rgjithĂ«si e pĂ«rshkruan mĂ« plotĂ«sisht karakteristikĂ«n X se sa grupi Metoda e Induksionit tĂ« PaqartĂ« dhe Aplikimi i saj pĂ«r Modelimin e Njohurive dhe Sistemeve Informatike, sipas kritereve tĂ« butĂ«sisĂ«; Re – gradĂ« e rekursivitetit tĂ« pĂ«rshkrimit.
Duhet marrë parasysh se Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (të zhvendosur në një grup të qartë) në rastin e veçantë kur është e nevojshme.

Hyrja e dimensioneve fraksionale

Kur Re = 1 grupi Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike përbën një grup të zakonshëm të pabesueshëm të gradës së dytë, duke përfshirë si elemente grupe të pabesueshme (ose përfaqësimet e tyre të qarta), që përshkruajnë të gjitha vlerat e karakteristikës X [1, 2]:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (4)

Megjithatë, ky është një rast i degjeneruar, dhe në përfaqësimin më të plotë, një pjesë e elementeve Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike mund të jenë grupe, ndërsa të tjerat - objekte triviale (mjaft të thjeshta). Prandaj, për të përcaktuar një grup të tillë, është e nevojshme të introdukohet rekursiviteti fraksional - analogu i dimensioneve fraksionale të hapësirës (në këtë kontekst - hapësirës së ontologjisë së një fushë të caktuar) [3, 9].

Kur Re është fraksional, marrim shkrimin e mëposhtëm Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (5)

ku Metoda e Induksionit tĂ« PaqartĂ« dhe Aplikimi i saj pĂ«r Modelimin e Njohurive dhe Sistemeve Informatike – grupi i pabesueshĂ«m pĂ«r vlerĂ«n X1, Metoda e Induksionit tĂ« PaqartĂ« dhe Aplikimi i saj pĂ«r Modelimin e Njohurive dhe Sistemeve Informatike – grupi i pabesueshĂ«m pĂ«r vlerĂ«n X2 dhe kĂ«shtu me radhĂ«.

NĂ« kĂ«tĂ« rast, rekursiviteti bĂ«het nĂ« thelb fraktal, dhe grupet e pĂ«rshkrimeve – vetĂ«-ngjashme.

Përcaktimi i grupit të mundësive funksionale të një moduli

Arkitektura e sistemit informativ të hapur parashikon parimin e modularitetit, i cili garanton mundësinë e shkallëzimit, replikimit, adaptivitetit dhe emergjencës së sistemit. Ndërtimi modular lejon të afrohesh maksimalisht realizimin teknologjik të proceseve informative me shfaqjen e tyre të natyrshme objektive në botën reale, të zhvillosh mjete që janë më të përshtatshme për karakteristikat e tyre funksionale, të destinuara për të mos zëvendësuar njerëzit, por për t'i ndihmuar ata në menaxhimin e njohurive.

Moduli përbën një entitet të veçantë të sistemit informativ, i cili mund të jetë i detyrueshëm ose opsional për qëllimet e ekzistencës së sistemit, por në çdo rast siguron një grup unik funksionesh brenda sistemit.

Të gjitha shumëllojshmëritë e mundësive funksionale të moduleve mund të përshkruhen me tri lloje operacionesh: krijimi (shënimi i të dhënave të reja), redaktimi (ndryshimi i të dhënave të shënuara më parë), fshirja (fshirja e të dhënave të shënuara më parë).

Le të themi se X është një karakteristikë e tillë e mundësive funksionale, atëherë grupi përkatës X mund të paraqitet në formën:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (6)

ku X1 është krijimi, X2 është redaktimi, X3 është fshirja,

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (7)

Megjithatë, funksionaliteti i çdo moduli është i tillë që krijimi i të dhënave nuk është vetë-similar (realizohet pa rikurs), ndërsa redaktimi dhe fshirja, në përgjithësi, mund të parashikojnë si realizimin element pas elementi (në kryerjen e operacioneve mbi elementët e zgjedhur të grupeve të të dhënave), ashtu edhe përfshirjen e operacioneve të ngjashme brenda tyre.

Duhet theksuar se nëse operacioni për funksionalitetin X në këtë modul nuk realizohet (nuk është implementuar në sistem), atëherë grupi përkatës për këtë operacion konsiderohet si i zbrazët.

Kështu, për të përshkruar konceptin e paqartë (deklaratën) "moduli lejon të kryhen operacione me grupin përkatës të të dhënave për qëllimet e sistemit informativ", grupi i paqartë Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike në rastin më të thjeshtë mund të paraqitet si:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (8)

Ky grup, në përgjithësi, ka gradën e rikursit të barabartë me 1,6(6) dhe është fraktal dhe i paqartë njëkohësisht.

Përgatitja e skenarëve të përdorimit dhe testimit të modulit

Në etapën e zhvillimit dhe operimit të sistemit informativ, janë të nevojshme skenarë të veçantë që përshkruajnë rendin dhe përmbajtjen e operacioneve për përdorimin e moduleve sipas emrit të tyre funksional (skenarë të përdorimit, anglisht use-case), si dhe për të verifikuar përputhshmërinë mes rezultateve të pritura dhe atyre reale të punës së moduleve (skenarë testimi, anglisht test-case).

Duke marrë parasysh paraqitjet e paraqitura më sipër, procesi i punës mbi këta skenarë mund të përshkruhet si vijon.

Për modulin formohet një grup i paqartë Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (9)

ku
Metoda e Induksionit tĂ« PaqartĂ« dhe Aplikimi i saj pĂ«r Modelimin e Njohurive dhe Sistemeve Informatike – grup i paqartĂ« pĂ«r operacionin e krijimit tĂ« tĂ« dhĂ«nave sipas funksionalitetit X;
Metoda e Induksionit tĂ« PaqartĂ« dhe Aplikimi i saj pĂ«r Modelimin e Njohurive dhe Sistemeve Informatike – grup i paqartĂ« pĂ«r operacionin e redaktimit tĂ« tĂ« dhĂ«nave sipas funksionalitetit X, ndĂ«rsa grada e rikursit a (nĂ«nshtetsia e funksionit) Ă«shtĂ« njĂ« numĂ«r natyror dhe nĂ« rastin e thjeshtĂ« Ă«shtĂ« e barabartĂ« me 1;
Metoda e Induksionit tĂ« PaqartĂ« dhe Aplikimi i saj pĂ«r Modelimin e Njohurive dhe Sistemeve Informatike – grup i paqartĂ« pĂ«r operacionin e fshirjes sĂ« tĂ« dhĂ«nave sipas funksionalitetit X, ndĂ«rsa grada e rikursit b (nĂ«nshtetsia e funksionit) Ă«shtĂ« njĂ« numĂ«r natyror dhe nĂ« rastin e thjeshtĂ« Ă«shtĂ« e barabartĂ« me 1.

Ky grup përshkruan, se çfarë (cilët objekte të dhënash) krijojnë, redaktojnë dhe/ose fshijnë në çdo variant të përdorimit të modulit.

Pastaj, krijohet një grup skenarësh përdorimi Ux për funksionalitetin X për modulin në shqyrtim, në secilin prej të cilëve përshkruhet, për çfarë (për cilin detyrë biznesi) krijohen, redaktohen dhe/ose fshihen objektet e të dhënave, të cilat përshkruhen nga shumë Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike, dhe në cilën renditje:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (10)

ku n – numri i skenarĂ«ve tĂ« pĂ«rdorimit pĂ«r X.

Më pas, krijohet një grup skenarësh testimi Tx për funksionalitetin X për secilin skenar përdorimi të modulit në shqyrtim. Në skenarin e testimit përshkruhet, çfarë vlerash të dhënash dhe në cilin rend përdoren gjatë realizimit të skenarit të përdorimit, si dhe cili rezultat duhet të arrihet:

Metoda e Induksionit të Paqartë dhe Aplikimi i saj për Modelimin e Njohurive dhe Sistemeve Informatike (11)

ku [D] – njĂ« varg tĂ« dhĂ«nash testimi, n – numri i skenarĂ«ve tĂ« testimit pĂ«r X.
Në qasjen e përshkruar, numri i skenarëve të testimit është i barabartë me numrin e skenarëve përkatës të përdorimit, që lejon të thjeshtësohet puna në përshkrimin dhe përditësimin e tyre ndërsa sistemi përparon. Për më tepër, një algoritëm i tillë mund të përdoret për automatizimin e testimit të moduleve të softuerit të sistemit informacion.

Përfundim

Metoda e paraqitur e induksionit fuzzy mund të implementohet në faza të ndryshme të ciklit të jetës së çdo sistemi informacion modular, si për grumbullimin e pjesës përshkruese të bazës së njohurive, ashtu edhe në punën mbi skenarët e përdorimit dhe testimit të moduleve.

Më tepër, induksioni fuzzy ndihmon në sintezën e njohurive mbi baza të përshkrimeve fuzzy të marrë si një "kalidoskop kognitiv", ku një pjesë e elementeve mbeten të qarta dhe të njëkuptimta, ndërsa të tjera sipas rregullit të vetë-similaritetit aplikohen sasinë e theksuar në dyfishim për çdo grup të dhënash të njohura. Në përfundim, grumbujt e marrrë të fuzzy formojnë një model, i cili mund të përdoret si për nevojat e sistemit informacion, për gjithashtu për kërkimin e njohurive të reja në tërësi.

Një metodologji e tillë mund të konsiderohet një formë të veçantë të "inteligjencës artificiale" duke marrë parasysh se grumbujt e sintezës nuk duhet të bien në kundërshtim me parimin e papërshtatshmërisë së arsyetimit dhe janë të destinuar të ndihmojnë inteligjencën e njeriut, jo ta zëvendësojnë atë.

Lista e literaturës

  1. Borissov V.V., Fedulov A.S., Zernov M.M., «The Foundations of Fuzzy Set Theory». M.: Hot Line – Telecom, 2014. – 88 p.
  2. Borissov V.V., Fedulov A.S., Zernov M.M., «The Foundations of Fuzzy Logic Inference». M.: Hot Line – Telecom, 2014. – 122 p.
  3. Demenok S.L., «Fractal: Between Myth and Craft». St. Petersburg: Academy of Cultural Research, 2011. – 296 p.
  4. Zade L., «Fundamentals of a New Approach to Analyzing Complex Systems and Decision-Making Processes» / «Mathematics Today». M.: «Knowledge», 1974. – P. 5 – 49.
  5. Krantz S., «The Mutable Nature of Mathematical Proof». M.: Knowledge Laboratory, 2016. – 320 p.
  6. Mavrikidi F.I., «Fractal Mathematics and the Nature of Change» / «Delphis», No. 54 (2/2008), http://www.delphis.ru/journal/article/fraktalnaya-matematika-i-priroda-peremen.
  7. Mandelbrot B., «The Fractal Geometry of Nature». M.: Institute of Computer Research, 2002. – 656 p.
  8. «Foundations of Fuzzy Set Theory: Methodological Guidelines», ed. Korobova I.L., Dyakov I.A. Tambov: Tambov State Technical University Publishing House, 2003. – 24 p.
  9. Uspensky V.A., «Apology of Mathematics». M.: Alpina Non-Fiction, 2017. – 622 p.
  10. Zimmerman H. J. «Fuzzy Set Theory – and its Applications», 4th edition. Springer Science + Business Media, New York, 2001. – 514 p.

Burimi: habr.com

Blini hosting tĂ« besueshĂ«m pĂ«r faqe interneti me mbrojtje nga DDoS, serverĂ« VPS VDS đŸ”„ Blini hosting tĂ« besueshĂ«m pĂ«r faqe interneti me mbrojtje nga DDoS, serverĂ« VPS VDS | ProHoster