Инференциалды бағдарламалау - Википедия - Inferential programming

Кәдімгі компьютерлік бағдарламалауда бағдарламашы бағдарламаның көзделген нәтижелерін есте сақтайды және сол нәтижелерге жету үшін компьютерлік бағдарламаны мұқият жасайды. Қорытынды бағдарламалау керісінше мүмкіндік беретін (әлі де болса гипотетикалық) әдістер мен технологияларға жатады. Инференциалды бағдарламалау бағдарламашыға компьютерге арналған метафораны қолдана отырып, жоспарланған нәтижені сипаттауға мүмкіндік береді фитнес функциясы, тестілік сипаттама немесе логикалық спецификация, содан кейін компьютер берілген критерийлерге сәйкес өз бағдарламасын жасайды.

1980 ж. Нәтижесіз бағдарламалауға жету тәсілдері көбінесе логикалық әдістердің айналасында болды қорытынды. Бүгінгі таңда бұл термин кейде қатысты қолданылады эволюциялық есептеу компьютердің фитнес немесе сыйақы функциясы ретінде туындаған мәселеге жауап ретінде шешімін дамытуға мүмкіндік беретін әдістер.

Өзара тығыз байланысты ұғымдар мен технологиялар

Сондай-ақ қараңыз

Әдебиеттер тізімі

Сыртқы сілтемелер