Formal Detection of Three Automation Surprises in Human-Machine Interaction(Concurrent Systems)(<Special Section>Concurrent Systems and Hybrid Systems)

概要

論文の詳細を見る
In this paper, we propose a formal method for detection of three automation surprises in human-machine interaction ; a mode confusion, a refusal state, and a blocking state. The mode confusion arises when a machine is in a different mode from that anticipated by the user, and is the most famous automation surprise. The refusal state is a situation that the machine does not respond to a command the user executes. The blocking state is a situation where an internal event occurs, leading to change of an interface the user does not know. In order to detect these phenomena, we propose a composite model in which a machine and a user model evolve concurrently. We show that the detection of these phenomena in human-machine interaction can be reduced to a reachability problem in the composite model.
社団法人電子情報通信学会の論文
2004-11-01