Maǵliwmatlar bazasi, olardiń TÚrleri tema: Maǵlıwmatlardın informaciyalıq modelleri Reje

Soraw hám tapsırmalar

1. 
   Ekspert sistemasın qanday tiykarǵı ólshemler boyınsha klassifikaciyalaw múmkin?
   
2. 
   EEM túri boyınsha ekspert sistemasınıń klassifikaciyasın anıqlań?
   
3. 
   “Qabıqlar” dep nege túsiniledi?
   
4. 
   Ekspert sistemasında paydalanıw texnologisı nelerden ibarat?
   
5. 
   Ekspert sisteması ápiwayı komp’yuter sisteması ne menen parıq qıladı?
   
6. 
   Ekspert sistemalar qanday predmetli tarawlarda qollanadı?
   

Logikaliq programmalastiriw

Logikalıq programmalastırıw haqqında túsinik. Logikalıq programmalastırıw – bul teoremalardıń avtomatlastırılǵan halda dáliyllewine tiykarlanǵan programmalastırıw paradigması, sonday-aq belrilgen faktler menen juwmaqlardıń qaǵıydaları tiykarında informaciyalardıń logikalıq juwmaǵınıń principlerin úyrenetuǵın diskret matematikanıń bir bólimi bolıp tabıladı.⁸ Logikalıq programmalastırıw matematikalıq rezolyuciyanıń principlerin qollaǵan halda matematikalıq logikanıń teoriyasına hám apparatına súyenedi.
Logikalıq programmalastırıwdıń keń tarqalǵan tili bul Prolog tili bolıp tabıladı. Logikalıq programmalastırıwdıń en birinshi payda bolǵan tili bul Planner bolıp, bul arqalı maǵlıwmatlardan nátiyjelerdi avtomatik túrde alıp shıǵıw hámde berilgen qaǵıydalardan variantlardıń kereklilerin alıw imkaniyatı tuwıladı (olardıń jıynaǵı bolsa plan dep ataladı).
Planner esaplaw resurslarına qoyılatuǵın talaplardı jumsartıw ushın (bektreking járdeminde), sonday-aq steklardı aktiv túrde paydalanbastan turıp faktlerden juwmaq shaǵırıwdı támiyinlewde qollanıladı. Soń Prolog tili islep shıǵıldı. Bul til variantlardıń kereklilirein saylap alıw rejesin talap etpedi.
Planner tilinen programmalastırıwdıń logikalıq  QA-4, Popler, Conniver hámde QLISP tilleri kelip shıqtı. Sonday-aq Planner tiliniń bazasında logikalıq programmalastırıwdıń bir neshe al’ternativ tilleri islep shıǵıldı. Ether tili buǵın tolıq mısal bola aladı. Al Mercury, Visual Prolog, Oz hám Fril sıyaqlı programmalastırıw tilleri bolsa Prolog tillerinen kelip shıqtı.
Logikalıq operatorlar
Logikalıq (bul) operatorlar eki hám onnanda kóp bolǵan úksatıw ańlatpaların bir pútin qılıp birlestiriw ushın isletiledi:
9 And — Konyukciya (logikalık I—VA);
9 Or — Dizukciya (logikalıq ILI—YOKI);
9 Not — logikalıq biykarlaw;
9 Xor — YaKI –HÁM di biykar etwshi;
9 Eqv — logikalıq ekvivalentlik;
9 Imp — logikalıq implikaciya.
Olar tek faqat True, False yaki Null logikalıq mánislerdi qaytarıwshı ańlatpalardan ibarat bolıw múmkin. Keri jaǵdayda bitler boyınsha salıstırıw orınlanadı. Logikalıq operatorlar, olar minusqa ekvivalet bolǵan Not — logikalıq biykarlawshı operatordan basqa, hár saparı eki operant ústinde orınlanadı.