Neuromorphic Human-Computer Interaction (HCI) is a theoretical approach to designing better user experiences (UX) motivated by advances in the understanding of the neurophysiology of the brain. Inspired by the neuroscientific theory of Active Inference, Interactive Inference is a first example of such approach. It offers a simplified interpretation of Active Inference that allows designers to more readily apply this theory to design and evaluation. In Interactive Inference, user behaviour is modeled as Bayesian inference on progress and goal distributions that predicts the next action. We show how the error between goal and progress distributions, or Bayesian surprise, can be modeled as a simple mean square error of the signal-to-noise ratio (SNR) of a task. The problem is that the user's capacity to process Bayesian surprise follows the logarithm of this SNR. This means errors rise quickly once average capacity is exceeded. Our model allows the quantitative analysis of performance and error using one framework that can provide real-time estimates of the mental load in users that needs to be minimized by design. We show how three basic laws of HCI, Hick's Law, Fitts' Law and the Power Law can be expressed using our model. We then test the validity of the model by empirically measuring how well it predicts human performance and error in a car following task. Results suggest that driver processing capacity indeed is a logarithmic function of the SNR of the distance to a lead car. This result provides initial evidence that Interactive Interference can be useful as a new theoretical design tool.
翻译:神经形态人机交互(HCI)是一种基于对大脑神经生理学理解进展的理论方法,旨在设计更优的用户体验(UX)。受神经科学中的主动推理理论启发,交互式推理是该方法的首个实例。它提供了对主动推理的简化解释,使设计者能更便捷地将该理论应用于设计与评估。在交互式推理中,用户行为被建模为对进展与目标分布的贝叶斯推理,以预测下一动作。我们展示了目标与进展分布间的误差(即贝叶斯惊奇)如何被建模为任务信噪比(SNR)的简单均方误差。问题在于,用户处理贝叶斯惊奇的能力遵循该SNR的对数函数,这意味着一旦超过平均能力阈值,误差将迅速上升。我们的模型允许使用单一框架对性能与误差进行定量分析,该框架可实时估计用户需通过设计最小化的心智负荷。我们展示了HCI的三条基本定律——希克定律、菲茨定律与幂律——如何通过本模型表达。随后,我们通过实证测量模型对汽车跟随任务中人类表现与误差的预测能力来检验其有效性。结果表明,驾驶员处理能力确实是前车距离SNR的对数函数。这一结果为交互式推理作为新型理论设计工具的有效性提供了初步证据。