The development of Tactile Internet with Human-in-the-Loop (TaHiL) applications faces many challenges for a successful interplay between Cyber-Physical System (CPS) and humans. Technical constraints on the communication latency, computation time, energy, and failure rates have to be met to ensure a seamless and safe integration. Furthermore, the systems developed should be able to predict human actions to enable timely reactions, support humans in their decisions, and to explain the system's behavior to the human appropriately. Currently, there is a lack of models and algorithms that evaluate human goal-directed behavior while fulfilling the constraints required in Tactile Internet (TI) applications.

In this chapter, we sketch first ideas towards automated human-style reasoning using stochastic operational models that mimic human decision-making. For this, we consider recent insights from cognitive neuroscience and formal methods, bridging the gap between the human brain and computation. Besides being useful to predict human behavior, we expect our models also to be eligible for efficient decision-making by machines. The latter is motivated by the fact that the human brain is undoubtedly efficient when operating on hard constraints—our operational models for human reasoning could hence be the basis for novel algorithms that meet the requirements on TI applications. We present prerequisites, first steps, and concepts, as well as challenges towards an integrated automated human-style reasoning.