2000 character limit reached
Thinking About Causation: A Causal Language with Epistemic Operators (2010.16217v1)
Published 30 Oct 2020 in cs.AI and cs.LO
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.