Ontology-based inference for causal explanation

04/27/2010
by   Philippe Besnard, et al.
0

We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another fact and that a fact explains another fact. We present a set of formal inference patterns from causal statements to explanation statements. We introduce an elementary ontology which gives greater expressiveness to the system while staying close to propositional reasoning. We provide an inference system that captures the patterns discussed, firstly in a purely propositional framework, then in a datalog (limited predicate) framework.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/04/2023

Multiteam semantics for interventionist counterfactuals: probabilities and causation

In [4], we introduced an extension of team semantics (causal teams) whic...
research
02/27/2013

A New Look at Causal Independence

Heckerman (1993) defined causal independence in terms of a set of tempor...
research
04/02/2021

Security Properties as Nested Causal Statements

Thinking in terms of causality helps us structure how different parts of...
research
08/20/2002

Causes and Explanations: A Structural-Model Approach. Part II: Explanations

We propose new definitions of (causal) explanation, using structural equ...
research
09/12/2016

Logical Induction

We present a computable algorithm that assigns probabilities to every lo...
research
09/22/2016

NdFluents: A Multi-dimensional Contexts Ontology

Annotating semantic data with metadata is becoming more and more importa...
research
07/06/2020

Space of Reasons and Mathematical Model

Inferential relations govern our concept use. In order to understand a c...

Please sign up or login with your details

Forgot password? Click here to reset