A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic

Human uses mental models when interacting with systems. Misalignment between a mental model and the system design, known as mode confusions, can lead to automation surprises. To better handle the vagueness of mental models through formalization, Fuzzy Mental Model Finite State Machines (FMMs), incorporating fuzzy logic, have been introduced. This work explores the potential of FMMs in formal analyses of human-machine interactions, proposing a set of formal behavior patterns of mode confusions and a tool for identifying mode confusions and unsafe interactions.