ETAPS 2019 (series) / CREST 2019 (series) / 4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology /
Towards A Logical Account of Epistemic Causality [Shakil M. Khan, Mikhail Soutchanski]
Sun 7 Apr 2019 17:10 - 17:35 at S6 - Causality, repairs and multi-agent systems
Reasoning about observed effects and their causes is important in multi agent contexts. While there has been much work on causality from an objective standpoint, causality from the point of view of some particular agent has received much less attention. In this paper, we address this issue by incorporating an epistemic dimension to an existing formal model of causality. We define what it means for an agent to know the causes of an effect. Then using a counterexample, we prove that epistemic causality is a different notion from its objective counterpart.
Towards A Logical Account of Epistemic Causality (Shakil M. Khan.pdf) | 196KiB |
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 18:00 | |||
16:00 45mTalk | Analysis, Repair and Causality for Timed Diagnostic Traces CREST Stefan Leue University of Konstanz File Attached | ||
16:45 25mResearch paper | Justification Based Reasoning in Dynamic Conflict Resolution [Werner Damm, Martin Franzle, Willem Hagemann, Paul Kroger, Astrid Rakow] CREST File Attached | ||
17:10 25mResearch paper | Towards A Logical Account of Epistemic Causality [Shakil M. Khan, Mikhail Soutchanski] CREST File Attached |