Tuesday, March 21 2006 at 14h00 in Celestijnenlaan 200 room B01.07
On the Relation between Logic Programming, Inductive Definitions and Causality
By Marc Denecker(DTAI)
What is the relation between logic programming, inductive definitions, causality and probability? In this seminar, I will introduce two different logics from first principles: a logic for representing inductive definitions, called ID-logic, and a logic for representing non-deterministic causal events, called CP-logic. I will explain their informal semantics and how these are formalized. Then, it will appear that both logics are strongly related with each other and with logic programming. This seminar aims to give you deeper understanding of inductive definitions, causation, negation as failure and the rule operator, and also in logic programming and extensions such as abductive and disjunctive logic programming, in ID-logic and CP-logic. It all fits together in one framework.