Volition Elicitation: Operational Semantics for People and Their Machines

arXiv cs.AI · 6 hours ago

Researchers introduced volition-guarded GLP (vGLP), a programming language that models distributed systems combining people and machines where computations are triggered by human decisions like payments or social connections. The implementation uses AI to generate programs from volition-guarded multiagent atomic transactions and automatically map them to user interface constructs, with a demonstration creating a working social network and currency app on a smartphone. This approach treats user interface design as a formal problem of eliciting human intentions rather than a separate design task.