TY - JOUR
T1 - Extending causal models from machines into humans
AU - Kacianka, Severin
AU - Ibrahim, Amjad
AU - Pretschner, Alexander
AU - Trende, Alexander
AU - Ludtke, Andreas
N1 - Publisher Copyright:
© 2019 S. Kacianka, A. Ibrahim, A. Pretschner, A. Trende and A. Lüdtke.
PY - 2019/10/31
Y1 - 2019/10/31
N2 - Causal Models are increasingly suggested as a means to reason about the behavior of cyber-physical systems in socio-technical contexts. They allow us to analyze courses of events and reason about possible alternatives. Until now, however, such reasoning is confined to the technical domain and limited to single systems or at most groups of systems. The humans that are an integral part of any such socio-technical system are usually ignored or dealt with by "expert judgment". We show how a technical causal model can be extended with models of human behavior to cover the complexity and interplay between humans and technical systems. This integrated socio-technical causal model can then be used to reason not only about actions and decisions taken by the machine, but also about those taken by humans interacting with the system. In this paper we demonstrate the feasibility of merging causal models about machines with causal models about humans and illustrate the usefulness of this approach with a highly automated vehicle example.
AB - Causal Models are increasingly suggested as a means to reason about the behavior of cyber-physical systems in socio-technical contexts. They allow us to analyze courses of events and reason about possible alternatives. Until now, however, such reasoning is confined to the technical domain and limited to single systems or at most groups of systems. The humans that are an integral part of any such socio-technical system are usually ignored or dealt with by "expert judgment". We show how a technical causal model can be extended with models of human behavior to cover the complexity and interplay between humans and technical systems. This integrated socio-technical causal model can then be used to reason not only about actions and decisions taken by the machine, but also about those taken by humans interacting with the system. In this paper we demonstrate the feasibility of merging causal models about machines with causal models about humans and illustrate the usefulness of this approach with a highly automated vehicle example.
UR - http://www.scopus.com/inward/record.url?scp=85076690157&partnerID=8YFLogxK
U2 - 10.4204/EPTCS.308.2
DO - 10.4204/EPTCS.308.2
M3 - Conference article
AN - SCOPUS:85076690157
SN - 2075-2180
VL - 308
SP - 17
EP - 31
JO - Electronic Proceedings in Theoretical Computer Science, EPTCS
JF - Electronic Proceedings in Theoretical Computer Science, EPTCS
T2 - 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST 2019
Y2 - 7 April 2019
ER -