正则表达式合成中实用的语用交流能力
摘要：基于示例的编程（PBE）系统旨在减轻编程的负担。然而，用户指定的示例通常存在歧义，从而需要多个程序来满足规范。因此，在大多数以前的工作中，用户不得不提供额外的示例，特别是负面示例，以进一步限制对兼容程序的搜索。最近的工作通过将程序综合任务建模为实用性通信来解决额外的歧义，在图形领域使用了一个粗略的用户研究，展示了有希望的结果。我们将实用推理适应到正则表达式的子领域，并严格研究它作为一种通信手段的可用性，无论是否能够提供负面示例。我们的用户研究（N=30）表明，使用实用综合器，最终用户可以通过仅使用正面示例（95\%）比使用非实用综合器（51\%）更成功地传达目标正则表达式。此外，与非实用综合器相比，用户可以更高效地传达信息（少使用57\%的示例）。
作者：Priyan Vaithilingam, Yewen Pu, Elena L. Glassman
论文ID：2308.06656
分类：Human-Computer Interaction
分类简称：cs.HC
提交时间：2023-08-15