Reasoning about Actions and Change: The Causal Calculator
The Causal Calculator (CCalc) is a system for representing commonsense knowledge about action and change. It implements a fragment of the causal logic.
http://www.cs.utexas.edu/users/tag/cc/">More information