Inferential programming

In computer science, inferential programming refers to (still mostly hypothetical) techniques and technologies which 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; the computer would construct its own program to meet the supplied criteria.

By contrast, in ordinary (non-inferential) computer programming, the programmer keeps the program's intended results in mind and painstakingly constructs a computer program to achieve those results.

Description

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.

See also

• Artificial intelligence
• Genetic programming
• Machine learning
• Artificial life
• Evolution
• Logic programming
• Metaprogramming
• PROLOG

External links

• Inferential programming @ Wikipedia