Volition Elicitation: Operational Semantics for People and Their Machines
arXiv:2607.14138v2 Announce Type: replace-cross Abstract: The most prevalent distributed systems today include people and their personal machines (smartphones), and computations in them are driven by people's volitions. Volition-guarded multiagent atomic transactions were proposed as an abstract specification language for such systems, in which a transaction has a precondition on the machine states of its participants and is guarded by the volitions of some of them. Here we develop an abstracti…