Inferential programming

In ordinary computer programming, the programmer keeps the program's intended results in mind and painstakingly constructs a computer program to achieve those results. Inferential programming refers to (still mostly hypothetical) techniques and technologies enabling the inverse. Inferential programming would allow the programmer to describe the intended result to the computer using a metaphor such as a fitness function, a test specification, or a logical specification and then the computer would construct its own program to meet the supplied criteria.

During the 1980s, approaches to achieve inferential programming mostly revolved around techniques for logical inference. Today the term is sometimes used in connection with evolutionary computation techniques that enable the computer to evolve a solution in response to a problem posed as a fitness or reward function.

gollark: I mean, cars are very scary, several-ton metal boxes hurtling down roads at several tens of metres per second.
gollark: I am still an ageless entity from beyond space and time, Ly¶icly.
gollark: I don't actually have a driving license because of never actually learning to drive cars at all.
gollark: It isn't proof. I could obviously be lying to you.
gollark: Even though I cannot actually vote, drink alcohol in most situations, or drive a car.

See also

References
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.