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: Happily, the PinePhone seems pretty great for repairability and runs Linux, so I hope it will be possible for me to get one.
gollark: My *old* phone had a removable plastic back panel so you could swap the battery. My new one is metal backed and I don't know if you can access the battery or replace the screen at all.
gollark: It annoys me that phones are significantly harder to repair than they have to be.
gollark: Ideally a Nokia-durability one, but to be fair that's probably not practical with smartphones.
gollark: Plastic is superior.

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.