Loģiskā programmēšana

Last modified by superadmin on 2018-01-12 20:38

Loģiskā programmēšana

Loģiskā programmēšana nozīmē definēt likumus, kuri kalpo kāda predikāta patiesuma vērtības noskaidrošanai (patiess vai aplams). Vienu predikātu var izteikt ar citiem - vienkāršākiem predikātiem, utt. Programmas izpilde tad nozīmē šo izveduma likumu pielietošanu kaut kādā secībā, lai izsecinātu kādu faktu. Šī secināšanas procesa gaitā notiek visas vajadzīgās skaitļošanas darbības. Šo paradigmu bieži lieto mākslīgajā intelektā (AI). Galvenais loģiskās programmēšanas pārstāvis ir Prolog (sk. [Prolog]). Arī pieprasījumu valodu SQL var nosacīti attiecināt uz šādu loģisko programmēšanu, jo tā darbojas ar relācijām. Semantiskajos Web portālos klienta pieprasījumus apstrādā, izdarot secinājumus no portālā apkopotās metainformācijas. Šajā jomā ir izstrādāta valoda F-Logic (sk. [FLogic]), kura gan pagaidām g.k. ir domāta eksperimentēšanai zināšanu pārvaldības (knowledge management) jomā.

Tags:
Created by Kalvis Apsītis on 2008-05-03 13:55
    
This wiki is licensed under a Creative Commons 2.0 license
XWiki Enterprise 6.4 - Documentation