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.
- Comment
- enIn 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.
- Has abstract
- enIn 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.
- Is primary topic of
- Inferential programming
- Label
- enInferential programming
- Link from a Wikipage to an external page
- repository.cmu.edu/cgi/viewcontent.cgi%3Farticle=3542&context=compsci
- Link from a Wikipage to another Wikipage
- Artificial intelligence
- Artificial life
- Automated reasoning
- Category:Hypothetical technology
- Category:Programming paradigms
- Compiler theory
- Constraint programming
- Evolution
- Evolutionary computation
- Fitness function
- Genetic programming
- Inference
- Logic programming
- Machine learning
- Metaprogramming
- PROLOG
- Unit testing
- SameAs
- 4nF8j
- Inferential programming
- m.0cf5zt
- Q6029261
- برمجية استنتاجية
- Subject
- Category:Hypothetical technology
- Category:Programming paradigms
- WasDerivedFrom
- Inferential programming?oldid=1049154074&ns=0
- WikiPageLength
- 1535
- Wikipage page ID
- 4643913
- Wikipage revision ID
- 1049154074
- WikiPageUsesTemplate
- Template:Reflist
- Template:Unreferenced