如果有任何关于基于目标的编程（GBP）的研究？

Question

我对编程和优化的思考越多，我就越想"为什么不指定一个目标，让程序找出最佳的解决方案"。

我熟悉基本的"优化问题"，例如找到曲线的最佳拟合线，或梯度下降之类的东西。我说的比这更复杂。

我想象的是说"HTTPS服务器存在"之类的东西，并让系统弄清楚如何构建一个。显然给 只是 这些信息还不够。这将需要在编程和理解概念和一切方面进行人类层面的培训。

但我的问题是，你能做些什么来建立一个系统来支持这样的"目标陈述"？关键部分是什么？

起初看起来，最简单的目标是"执行动作x"。这是将当前世界变为所需（目标）世界所必需的。例如, "Add" is performed on 1 and 2 是一个目标，说明"add"函数应用于两个参数。似乎从这个基础上，你可以建立越来越高的抽象层次，然后你可以说"HTTPS服务器存在"。但是这个HTTPS服务器是一个 结构, ，不是一个 开始！.所以你需要一些方法来有一些中间目标，将目标转录成（不是行动，而是）结构。也许吧, The result of x operation exists 是两者之间的简单转换。

但后来我被卡住了哈哈。中级境界的目标是什么样子的？有没有人对这方面做过任何研究？搜索不会产生太多，虽然它带来了一本书 目标编程和扩展 我可能要买。

Answer 1

是的.该研究领域被称为 程序综合.你可以找到数百或数千篇关于这个问题的论文。（你可能也会感兴趣 声明式编程.)

你所描述的是 方式 超越了艺术的境界。如果我们能做这样的事情，那将是非常酷的-但我们距离知道如何构建它还有很长的路要走。