Pragmatic Apparatus – Program Synthesis with Pragmatic Communication

Cited by Lee Sonogan

Abstract by Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama

Program synthesis techniques construct or infer programs from user-provided specifications, such as input-output examples. Yet most specifications, especially those given by end-users, leave the synthesis problem radically ill-posed, because many programs may simultaneously satisfy the specification. Prior work resolves this ambiguity by using various inductive biases, such as a preference for simpler programs. This work introduces a new inductive bias derived by modeling the program synthesis task as rational communication, drawing insights from recursive reasoning models of pragmatics. Given a specification, we score a candidate program both on its consistency with the specification, and also whether a rational speaker would chose this particular specification to communicate that program. We develop efficient algorithms for such an approach when learning from input-output examples, and build a pragmatic program synthesizer over a simple grid-like layout domain. A user study finds that end-user participants communicate more effectively with the pragmatic program synthesizer over a non-pragmatic one.

Publication: Cornell University(Peer-Reviewed Journal)

Pub Date: 9 Jul, 2020 Doi: https://arxiv.org/abs/2007.05060

Keywords: Program Synthesis, Pragmatic Communication

https://arxiv.org/abs/2007.05060 (Plenty more sections and references in this research article)

https://www.patreon.com/GROOVYGORDS

https://entertainmentcultureonline.com/

https://ungroovygords.com/

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.