| Popis: |
This thesis develops a framework, automated by a toolchain, to address the problem of operationalizing actual causality for purposes related to accountability. The framework tackles the efficiency, and scalability of different notions of automated causal reasoning. It considers the effectiveness of this reasoning through practical domain-specific approaches to causal modeling and contextualization. The framework diminishes the barrier to embedding causality in new domains because it promotes reuse. On the one hand, it contributes a set of general algorithms to automate reasoning so that it can be reused among different domains. It supports, on the other hand, the reuse of domain-specific methodologies to operationalize modeling and contextualization. In dieser Dissertation entwickeln wir ein Framework, automatisiert durch eine Toolchain, um das Problem der Operationalisierung von Tatsächlicher Kausalität für Zwecke der Accountability zu adressieren. Das Framework fokussiert auf die Effizienz und Skalierbarkeit verschiedener Varianten automatisierter Kausalitätsschlussfolgerungen, sowie die Effektivität der Schlussfolgerungen durch praktische und domänenspezifische Ansätze für kausale Modellierung und Kontextualisierung. Da Wiederverwendung gefördert wird, werden Schwierigkeiten bei der Einbettung von Kausalitätsschlussfolgerungen in neue Domänen reduziert. |
