Colloquium: Representing causal knowledge in CP-logic
Joost Vennekens, K.U. Leuven, Belgium
4 PM Weds., April 18th, at the Marksbury Theater
The ultimate goal of science is to discover the causal laws that govern that universe. At the same time, however, the concept of a causal law itself is not as well understood as one might think. What precisely does it mean to say that some relation is causal? And can we
reason about such causal relations in the same way as, e.g., the laws of arithmetic allow us to reason about numbers, or the laws of logic allows us to reason about arguments? Recent work by Judea Pearl has tried to address these issues, by investigating formal mathematical representations of causal relations and the way in which they can be used to answer certain questions. In this talk, I will present some of my own work in this area, which tries to improve on Pearl's results by developing a more detailed formalisation of causal laws. As I will show, the resulting knowledge representation language of CP-logic is able to handle some examples that are difficult for Pearl.
Host: Mirek Truszczynski