DeepAI AI Chat
Log In Sign Up

Thinking About Causation: A Causal Language with Epistemic Operators

10/30/2020
by   Fausto Barbero, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/25/2021

Observing Interventions: A logic for thinking about experiments

This paper makes a first step towards a logic of learning from experimen...
06/12/2020

Formalizing Falsification of Causal Structure Theories for Consciousness Across Computational Hierarchies

There is currently a global, multimillion-dollar effort to experimentall...
07/22/2019

Exploiting Belief Bases for Building Rich Epistemic Structures

We introduce a semantics for epistemic logic exploiting a belief base ab...
03/01/2014

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

We present an epistemic action theory for tractable epistemic reasoning ...
03/06/2013

From Conditional Oughts to Qualitative Decision Theory

The primary theme of this investigation is a decision theoretic account ...
04/27/2020

An Epistemic Approach to the Formal Specification of Statistical Machine Learning

We propose an epistemic approach to formalizing statistical properties o...
05/14/2014

ESmodels: An Epistemic Specification Solver

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