http://debianws.lexgopc.com/wiki143/index.php?action=history&feed=atom&title=Inferential_programming 2026-05-05T17:03:31Z Revision history for this page on the wiki MediaWiki 1.43.1 http://debianws.lexgopc.com/wiki143/index.php?title=Inferential_programming&diff=2701841&oldid=prev 2024-10-31T16:39:19Z

<p>replaced dead hyperlink with archived version</p> <p><b>New page</b></p><div>{{Unreferenced|date=December 2009}}<br /> In most [[computer programming]], a programmer keeps a program&#039;s intended results in mind and painstakingly constructs a program to achieve those results. &#039;&#039;&#039;Inferential programming&#039;&#039;&#039; refers to (still mostly hypothetical) techniques and technologies enabling the inverse. This would allow describing an intended result to a computer, using a metaphor such as a [[fitness function]], a test specification, or a logical specification, and then the computer, on its own, would construct a program needed to meet the supplied criteria.<br /> <br /> During the 1980s, approaches to achieve inferential programming mostly involved techniques for logical [[inference]]. Today the term is sometimes used in connection with [[evolutionary computation]] techniques that enable a computer to evolve a solution in response to a problem posed as a fitness or reward function.<br /> <br /> In July 2022, [[GitHub Copilot]] was released, which is an example of inferential programming.<br /> <br /> ==Closely related concepts and technologies==<br /> *[[Logic programming]]<br /> **[[Prolog]]<br /> *[[Constraint programming]]<br /> *[[Artificial intelligence]]<br /> *[[Genetic programming]]<br /> *[[Machine learning]]<br /> *[[Artificial life]]<br /> *[[Evolution]]<br /> *[[Metaprogramming]]<br /> <br /> ==See also==<br /> *[[Automated reasoning]]<br /> *[[Compiler theory]]<br /> *[[Unit testing]]<br /> <br /> ==References==<br /> {{Reflist}}<br /> <br /> ==External links==<br /> *[https://web.archive.org/web/20170921204139/http://repository.cmu.edu/cgi/viewcontent.cgi?article=3542&amp;context=compsci First steps towards inferential programming(Archived link)]<br /> <br /> {{DEFAULTSORT:Inferential Programming}}<br /> [[Category:Programming paradigms]]</div>

2.134.175.199