arXiv:2409.12447v1 公告类型: 交叉 摘要: 生成式预训练模型的引入，如GPT-4，带来了一个被称为提示工程的现象，即模型用户在尝试完成任务时反复编写和修改提示。在软件应用中使用这些AI模型实现智能功能需要通过开发者编写的提示来控制的API。这些提示驱动了流行软件产品中的AI体验，可能触及数百万用户。尽管提示驱动的软件影响日益增长，但其开发过程及其与编程的关系却鲜为人知。在这项工作中，我们认为某些形式的提示是程序，提示的开发是编程中的一个独特现象。我们将其称为提示编程。为此，我们通过与20位在各种上下文、模型、领域和提示复杂性中从事提示开发的开发者进行访谈，使用Straussian扎根理论来理解提示编程。通过这项研究，我们提出了14个关于提示编程的观察。例如，提示程序员不是构建代码的心理模型，而是通过与模型互动来发展对模型在提示上的行为及其独特特性的心理模型。尽管先前研究表明专家具有完善的心理模型，但我们发现，即使是有数十个提示且每个提示经过多次迭代的提示程序员，仍然难以建立可靠的心理模型。这导致了快速且非系统化的开发过程。总的来说，我们的观察表明提示编程与传统软件开发有显著不同，这促使了支持提示编程的工具的创建。我们的发现对软件工程从业者、教育者和研究者具有重要意义。