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/