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.
Code (0)
등록된 구현이 없습니다.
Tasks
Epistemic ReasoningRelationSimilar Papers 제목 키워드 기반
The BECauSE Corpus 2.0: Annotating Causality and Overlapping Relations
Language of cause and effect captures an essential component of the semantics of a text. However, causal language is also intertwined with other semantic relations, such as temporal precedence and correlation. This makes…
Decision MakingCompact Representations of Extended Causal Models
Judea Pearl was the first to propose a definition of actual causation using causal models. A number of authors have suggested that an adequate account of actual causation must appeal not only to causal structure, but als…
CausalGame: Benchmarking Causal Thinking of LLM Agents in Games
Building AI Scientist agents with Large Language Models (LLMs) has recently attracted growing attention. Since scientific discovery fundamentally relies on uncovering causal relationships from observations, the capabilit…
Epistemic Limits of Empirical Finance: Causal Reductionism and Self-Reference
The clarion call for causal reduction in the study of capital markets is intensifying. However, in self-referencing and open systems such as capital markets, the idea of unidirectional causation (if applicable) may be li…
Causal InferenceEconometricsProceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology
The CREST 2018 workshop is the third in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually …
Philosophy