DeepAI AI Chat
Log In Sign Up

Thinking About Causation: A Causal Language with Epistemic Operators

by   Fausto Barbero, et al.

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.


page 1

page 2

page 3

page 4


Observing Interventions: A logic for thinking about experiments

This paper makes a first step towards a logic of learning from experimen...

Formalizing Falsification of Causal Structure Theories for Consciousness Across Computational Hierarchies

There is currently a global, multimillion-dollar effort to experimentall...

Exploiting Belief Bases for Building Rich Epistemic Structures

We introduce a semantics for epistemic logic exploiting a belief base ab...

Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction

We present an epistemic action theory for tractable epistemic reasoning ...

From Conditional Oughts to Qualitative Decision Theory

The primary theme of this investigation is a decision theoretic account ...

An Epistemic Approach to the Formal Specification of Statistical Machine Learning

We propose an epistemic approach to formalizing statistical properties o...

ESmodels: An Epistemic Specification Solver

(To appear in Theory and Practice of Logic Programming (TPLP)) ESmodel...