论文标题
思考因果关系：具有认知运营商的因果语言
Thinking About Causation: A Causal Language with Epistemic Operators
论文作者
论文摘要
本文提出了一个正式的框架，用于建模因果关系和（定性）认知推理的相互作用。为此，我们将因果模型的概念扩展为具有代理的认知状态的代表。在对象语言的一边，我们添加了操作员来表达知识和观察新信息的行为。我们提供逻辑的声音和完整的公理化，并讨论该框架与因果团队语义的关系。
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.
