Defining conditional independence using collapses

Defining Conditional Independence Using Collapses

Trace semantics is extended to allow conditional commutativity among operations. Conditional commutativity is obtained by identifying the context (the set of global states) in which operations are commutative using special predicates. These will allow collapsing execution histories into equivalence classes of conditional traces. Using this approach, it is possible that the execution of two oper...

Testing Conditional Independence using Conditional Martingale Transforms

This paper investigates testing conditional independence between Y and Z given λθ(X) for some θ ∈ Θ ⊂ R, for a function λθ(·) known upto a parameter θ ∈ Θ. First, the paper proposes a new method of conditional martingale transforms under which tests are asymptotically pivotal and asymptotically unbiased against √ n-converging Pitman local alternatives. Second, the paper performs an analysis of ...

Propositional Independence Conditional independence

Independence – the study of what is relevant to a given problem of reasoning – is an important AI topic. In this paper, we investigate several notions of conditional independence in propositional logic: Darwiche and Pearl’s conditional independence, and two more restricted forms of it, called strong conditional independence and perfect conditional independence. Many characterizations and proper...

Nonparametric Tests for Conditional Independence Using Conditional Distributions∗

The concept of causality is naturally defined in terms of conditional distribution, however almost all the empirical works focus on causality in mean. This paper aim to propose a nonparametric statistic to test the conditional independence and Granger non-causality between two variables conditionally on another one. The test statistic is based on the comparison of conditional distribution funct...

Conditional Independence