Thinking About Causation: A Causal Language with Epistemic Operators
Artificial Intelligence
2020-11-02 v1 Logic in Computer Science
Abstract
This paper proposes a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model with a representation of the epistemic state of an agent. On the side of the object language, we add operators to express knowledge and the act of observing new information. We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.
Cite
@article{arxiv.2010.16217,
title = {Thinking About Causation: A Causal Language with Epistemic Operators},
author = {Fausto Barbero and Katrin Schulz and Sonja Smets and Fernando R. Velázquez-Quesada and Kaibo Xie},
journal= {arXiv preprint arXiv:2010.16217},
year = {2020}
}
Comments
This is the long version of a paper that is to be published in the post-proceedings of the 3rd Dali Workshop on Dynamic Logic: New Trends and Applications. The post-proceedings will be published by Springer as a Lecture Notes in Computer Science volume