Inferensiell programmering - Inferential programming

I vanlig dataprogrammering holder programmereren programmets tiltenkte resultater i tankene og konstruerer omhyggelig et dataprogram for å oppnå disse resultatene. Inferensiell programmering refererer til (fremdeles for det meste hypotetiske) teknikker og teknologier som muliggjør det inverse. Inferensiell programmering vil tillate programmereren å beskrive det tiltenkte resultatet for datamaskinen ved hjelp av en metafor som en treningsfunksjon , en testspesifikasjon eller en logisk spesifikasjon, og deretter vil datamaskinen konstruere sitt eget program for å oppfylle de angitte kriteriene.

I løpet av 1980 -årene dreide tilnærminger for å oppnå inferensiell programmering stort sett rundt teknikker for logisk slutning . I dag brukes begrepet noen ganger i forbindelse med evolusjonære beregningsteknikker som gjør det mulig for datamaskinen å utvikle en løsning som svar på et problem som utgjøres som en trenings- eller belønningsfunksjon.

Nært beslektede konsepter og teknologier

Se også

Referanser

Eksterne linker