Difference between revisions of "Inferential programming"
Karl Jones (Talk | contribs) (Created page with "In computer science, '''inferential programming''' refers to (still mostly hypothetical) techniques and technologies which allow the programmer to describe the intended re...") |
Karl Jones (Talk | contribs) |
||
| Line 1: | Line 1: | ||
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. | 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 | + | By contrast, in ordinary (non-inferential) computer programming, the programmer keeps the program's intended results in mind and constructs a computer program to achieve those results. |
== Description == | == Description == | ||
Latest revision as of 11:13, 24 August 2016
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 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
