A decision-theoretic representation of assistive interfaces | Synapse