Kontentke ótiw

Itimallıq programmalastırıw

Wikipedia — erkin enciklopediya

Itimallıq programmalastırıw (PP) — bul itimallıq modellerin deklarativ anıqlawǵa tiykarlanǵan programmalastırıw paradigması bolıp, onda juwmaq shıǵarıw avtomat túrde orınlanadı[1]. Itimallıq programmalastırıw, birinshisin ańsatlaw hám keńirek qollanıw ushın, itimallıq modellestiriwdi hám dástúrli ulıwma maqsetli programmalastırıwdı birlestiriwge háreket etedi[2][3]. Onı belgisizlik jaǵdayında sheshim qabıllawǵa járdem beretuǵın sistemalar jaratıw ushın qollanıwǵa boladı. Itimallıq programmalastırıw paradigmasına boysınatuǵın programmalastırıw tilleri «itimallıq programmalastırıw tilleri» (PPL) dep ataladı.

Qollanılıwı

Itimallıq pikirlew akciya bahaların boljaw, filmlerdi usınıw, kompyuterlerdi diagnostikalaw, kiberhújimlerdi anıqlaw hám súwretti tanıw sıyaqlı keń kólemli wazıypalar ushın qollanılǵan[4]. Degen menen, jaqınǵa shekem (tolıq emes sheklengen esaplaw kúshi sebepli), itimallıq programmalastırıw sheńberi sheklengen edi hám kópshilik juwmaq shıǵarıw algoritmleri hárbir wazıypa ushın qoldan jazılıwı kerek edi.

Soǵan qaramastan, 2015-jılı 50 qatarlı itimallıq kompyuter kóriw programması sol betlerdiń 2D súwretlerine tiykarlanıp, adam betleriniń 3D modellerin dúziw ushın qollanıldı. Programma juwmaq shıǵarıw usılınıń tiykarı retinde keri grafikanı paydalandı hám Julia tilindegi Picture paketi arqalı dúzildi. Bul «aldın mıńlaǵan qatardı talap etken nárselerdi 50 qatar kod penen» múmkin etti[5][6].

Gen itimallıq programmalastırıw kitapxanası (sonday-aq Julia tilinde jazılǵan) kóriw hám robototexnika wazıypalarına qollanılǵan[7].

Jaqında, Turing.jl itimallıq programmalastırıw sisteması hár túrli farmacevtikalıq[8] hám ekonomikalıq qosımshalarda[9] qollanılǵan.

Julia tilindegi itimallıq programmalastırıw sonday-aq Julia paketi Zygote.jl-di Turing.jl menen biriktiriw arqalı differenciallanıwshı programmalastırıw menen de biriktirilgen.

Itimallıq programmalastırıw tilleri sonday-aq kogniciyanıń modellerin islep shıǵıw hám bahalaw ushın Bayes kognitiv iliminde de keń qollanıladı[10].

Itimallıq programmalastırıw tilleri

PPL-ler kóbinese tiykarǵı tilden keńeyedi. Mısalı, Turing.jl Julia-ǵa tiykarlanǵan, Infer.NET .NET Framework-ke tiykarlanǵan, al PRISM Prolog-tan keńeyedi. Degen menen, WinBUGS sıyaqlı ayırım PPL-ler basqa programmalastırıw tilinde anıq kelip shıǵıwı bolmaǵan, statistikalıq modellerdiń matematikalıq kórinisine jaqın kartalanatuǵın jeke tildi usınadı.

WinBUGS tili Gibbs úlgisin alıw hám baylanıslı algoritmlerdi paydalanıp Bayes esaplawın orınlaw ushın ámelge asırılǵan. Salıstırmalı túrde belgisiz programmalastırıw tilinde (Component Pascal) ámelge asırılǵanına qaramastan, bul til iykemli esaplaw usılı arqalı keń kólemli statistikalıq modeller ushın Bayes juwmaq shıǵarıwǵa imkaniyat beredi. Sol bir BUGS tili hár túrli esaplaw tańlawları («úlgi alıwshılar») hám qaǵıydalar yamasa ádepki mánisler arqalı Bayes modellerin juwmaq shıǵarıw ushın kórsetiw maqsetinde, WinBUGS (yamasa baylanıslı R paketleri, rbugs hám r2winbugs) hám JAGS (Just Another Gibbs Sampler, basqa bir baylanıslı R paketleri, sonıń ishinde rjags, R2jags hám runjags bar jeke programma) jeke programmasın paydalanıp qollanılıwı múmkin. Jaqında, Bayes model specifikaciyasın hám juwmaq shıǵarıwdı qollap-quwatlaytuǵın basqa tiller tiykarındaǵı Bayes esaplawı ushın hár túrli yamasa nátiyjelirek tańlawlarǵa imkaniyat beredi hám R maǵlıwmatlardı analizlew hám programmalastırıw ortalıǵınan qoljetimli, mısalı: Stan, NIMBLE hám NUTS. BUGS tiliniń tásiri usı keyingi tillerde ayqın kórinip turadı, olar hátte model specifikaciyasın belgilewdiń ayırım aspektleri ushın sol bir sintaksisti paydalanadı.

Bir neshe PPL-ler belsendi islep shıǵılıwda, sonıń ishinde ayırımları beta-testlewde. Eki keń tarqalǵan qural — Stan hám PyMC[11].

Relyaciyalıq

Itimallıq relyaciyalıq programmalastırıw tili (PRPL) — bul itimallıq relyaciyalıq modellerdi (PRM) táriyiplew hám olar menen juwmaq shıǵarıw ushın arnawlı proektlestirilgen PPL.

PRM ádette sáykes PRPL-ge jaylastırılǵan, qatnası bar tarqatıwlardı qısqartıw, olar haqqında juwmaq shıǵarıw hám ashıw ushın bir qatar algoritmler menen islep shıǵıladı.

Itimallıq logikalıq programmalastırıw

Itimallıq logikalıq programmalastırıw — bul logikalıq programmalastırıwdı itimallıqlar menen keńeytetuǵın programmalastırıw paradigması.

Itimallıq logikalıq programmalastırıwǵa kópshilik usıllar programmanı itimallıq faktler toplamına hám logikalıq programmaǵa bóletuǵın tarqatıw semantikasına tiykarlanǵan. Ol programmanıń Gerbrand áleminiń interpretaciyalarında bir itimallıq tarqatıwın anıqlaydı[12].

Derekler

  1. ↑ "Probabilistic programming does in 50 lines of code what used to take thousands". phys.org. April 13, 2015. http://phys.org/news/2015-04-probabilistic-lines-code-thousands.html.
  2. ↑ «Probabilistic Programming». probabilistic-programming.org. 2016-jıl 10-yanvar sánesinde túp nusqadan arxivlendi. Qaraldı: 2013-jıl 24-dekabr.
  3. ↑ Pfeffer, Avrom (2014), Practical Probabilistic Programming, Manning Publications. p.28. ISBN 978-1 6172-9233-0
  4. ↑ "Short probabilistic programming machine-learning code replaces complex programs for computer-vision tasks". KurzweilAI. http://www.kurzweilai.net/short-probabilistic-programming-machine-learning-code-replaces-complex-programs-for-computer-vision-tasks.
  5. ↑ Hardesty. «Graphics in reverse» (2015-jıl 13-aprel).
  6. ↑ «MIT shows off machine-learning script to make CREEPY HEADS». The Register.
  7. ↑ «MIT's Gen programming system flattens the learning curve for AI projects» (en-US). VentureBeat (2019-jıl 27-iyun). Qaraldı: 2019-jıl 27-iyun.
  8. ↑ Semenova, Elizaveta; Williams, Dominic P.; Afzal, Avid M. (2020-11-01). "A Bayesian neural network for toxicity prediction" (in en). Computational Toxicology 16. doi:10.1016/j.comtox.2020.100133. ISSN 2468-1113. https://www.sciencedirect.com/science/article/pii/S2468111320300438.
  9. ↑ Williams, Dominic P.; Lazic, Stanley E.; Foster, Alison J.; Semenova, Elizaveta; Morgan, Paul (2020), „Predicting Drug-Induced Liver Injury with Bayesian Machine Learning“, Chemical Research in Toxicology, 33-tom, № 1, 239–248-bet, doi:10.1021/acs.chemrestox.9b00264, PMID 31535850, S2CID 202689667
  10. ↑ Goodman. «Probabilistic Models of Cognition». Probabilistic Models of Cognition - 2nd Edition. Qaraldı: 2023-jıl 27-may.
  11. ↑ «The Algorithms Behind Probabilistic Programming». Qaraldı: 2017-jıl 10-mart.
  12. ↑ De Raedt, Luc; Kimmig, Angelika (2015-07-01). "Probabilistic (logic) programming concepts" (in en). Machine Learning 100 (1): 5–47. doi:10.1007/s10994-015-5494-z. ISSN 1573-0565. https://doi.org/10.1007/s10994-015-5494-z.
«https://kaa.wikipedia.org/w/index.php?title=Itimallıq_programmalastırıw&oldid=215080» saytınan alınǵan