인페어 프로그래밍

일반적인 컴퓨터 프로그래밍에서 프로그래머는 프로그램의 의도된 결과를 명심하고 그러한 결과를 얻기 위해 컴퓨터 프로그램을 열심히 구성한다.인피니언 프로그래밍은 역효과를 가능하게 하는 (여전히 대부분 가상적인) 기법과 기술을 가리킨다.기본 프로그래밍은 프로그래머가 피트니스 기능, 시험 사양 또는 논리 사양과 같은 은유를 사용하여 의도된 결과를 컴퓨터에 설명할 수 있게 하고 그 다음 컴퓨터는 제공된 기준을 충족시키기 위해 자체 프로그램을 구성할 것이다.

1980년대 동안, 추정 프로그래밍을 달성하기 위한 접근법은 대부분 논리적 추론을 위한 기법을 중심으로 이루어졌다.오늘날 이 용어는 때때로 컴퓨터가 피트니스나 보상 기능으로 제기된 문제에 대응하여 솔루션을 진화시킬 수 있도록 하는 진화 연산 기법과 관련하여 사용된다.