Formal Detection of Three Automation Surprises in Human-Machine Interaction
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E87-A No.11 pp.2878-2884
- Publication Date
- 2004/11/01
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
- Category
- Concurrent Systems
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Yoshitaka UKAWA, Toshimitsu USHIO, Masakazu ADACHI, Shigemasa TAKAI, "Formal Detection of Three Automation Surprises in Human-Machine Interaction" in IEICE TRANSACTIONS on Fundamentals,
vol. E87-A, no. 11, pp. 2878-2884, November 2004, doi: .
Abstract: 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e87-a_11_2878/_p
Copy
@ARTICLE{e87-a_11_2878,
author={Yoshitaka UKAWA, Toshimitsu USHIO, Masakazu ADACHI, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Formal Detection of Three Automation Surprises in Human-Machine Interaction},
year={2004},
volume={E87-A},
number={11},
pages={2878-2884},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - Formal Detection of Three Automation Surprises in Human-Machine Interaction
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2878
EP - 2884
AU - Yoshitaka UKAWA
AU - Toshimitsu USHIO
AU - Masakazu ADACHI
AU - Shigemasa TAKAI
PY - 2004
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E87-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2004
AB - 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.
ER -
English
