Formalizált és nem formalizált tudás
Formalizált tudás kapnak szigorú ítéletet, amelyek a formális rendszer. F = A-ábécé vagy karakterkészlet, amely alapját egy ajánlatot hivatalos rendszerrel. P-szintaktikai szabályok mondat szerkezete, X-axióma (azonosan helyes mondat), I-szemantikai szabályok (jogállamiság építése, új javaslatok az axiómák (tételek)).
Axiomatikus valószínűségszámítás példaként formális rendszer (formalizált tudás)
Kiszámításakor a valószínűsége, P által adott átviteli tulajdonságainak. Ezek a tulajdonságok határozzák meg az alapvető frekvencia tulajdonságaitól. 1) nemnegatív (m / n> = 0), 2) ha az esemény m megjelenik minden teszt, akkor jelentősen minden n (m / n = 1), 3), ha az M1 / N teszt jár esemény => A , egy m2 / n => B, ahol az egyik n vizsgálati mindkét esemény nem jelennek meg egyszerre, a gyakorisága m / n esemény bekövetkezése megfelelő vagy egy, vagy B = az összeget a két frekvencia. m / n = m1 / n + m2 / n.
Annak a valószínűsége, egy véletlen esemény A - A számszerű mérését a valószínűségét az esemény néhány vizsgálati kielégíti axiómák: 1) minden egyes véletlen esemény Egy P (A)> = 0; 2) egy bizonyos esemény zajlik P (A) = 1; 3) ha A és B nem kompatibilis (A∩V = Ø) => P (AUV) = P (A) + P (B).
Készletek - egy sor elemet, amelyben megadhatja a két szabályt: az első szabály az, hogy megmutassa, hogy a tételt tartalmaz egy bizonyos meghatározott, vagy sem. Másodszor a szabály lehetővé teszi, hogy különbséget elemek belül több al. Másoktól. A készlet tartalmazhat két azonos elemeket.
Formalizált tudás kényelmes, hogy azok alkalmasak algoritmikus. Azonban a modern fogalmak formalizált tudás is „pontos” vagy túl „brutális”, hogy leírja a valós világban. Az emberi érzékelés, a világ sokkal bonyolultabb, hogy le tudja írni az algoritmust.
Formalizált tudás rendszerint leíró formájában szavak és általában nem használ semmilyen matematikai eszköz. Nehéz alkalmazzák őket automatikusan. Az ilyen tudás általában nem megfelelő, hozzávetőleges, stb és gyakran kizárólag az intuíció és a tapasztalat a szakemberek.
Feladatok alapján a nem-formális tudás, úgynevezett nem-formális problémákat.
Formalizált feladatok olyan feladatok, amelyek legalább 1 tulajdonságaik:
- algoritmikus megoldás nem ismert;
- A feladat nem mb Természetesen meghatározni számszerű formában feladatok, amikor a szabály fellépés szimbólumok nem teljesen meghatározva.
- a cél a probléma megoldásának nem lehet kifejezni pontosan a célfüggvény.
Kijelölése szakértői rendszerek kezelése meglehetősen nehéz feladat szakértők alapján felhalmozott tudásbázis tükröző szakmai tapasztalat szakértők az adott problémás terület. Az előnye, hogy alkalmazása ES a döntéshozatali képessége különleges helyzetben, amelyre az algoritmus nem ismert előre jön létre a kezdeti adatok formájában egy lánc érvelés (döntési szabályok) a tudásbázis. Sőt, a feladatokat el kell végezni a feltételek hiányos, pontatlan, félreérthető az első információk és a minőség értékelése folyamatokat.
ES segítségével az alábbi szerepek:
- tanácsadó a tapasztalatlan vagy nem hivatásos felhasználók;
- asszisztens;
- partner egy szakértő.
ES használják számos területen, köztük a vezető üzleti alkalmazások szegmens