 |
Description
The Causal Calculator (ccalc) is an implementation of the nonmonotonic
causal logic introduced in the paper "Causal theories of action and change"
by McCain and Turner (1997). It can be used to find causally explained
interpretations of a causal theory, to find answer sets for a tight logic
program, as discussed in the paper "Fages' theorem and answer set
programming" by Babovich, Erdem and Lifschitz, and to answer queries
about the effects of actions and to generate plans, provided that the
action domain is described in the language of causal logic or in the high-level
action description language C from the paper "An action language based
on causal explanation: preliminary report" by Giunchiglia and Lifschitz.
The original version of ccalc was written by Norm McCain and described
in his dissertation, Causality in commonsense reasoning about actions
(University of Texas, 1997). Now ccalc is being maintained by Texas Action
Group at Austin. The system is written in Prolog, and to run it you need
to have either SICStus Prolog or SWI Prolog installed on your machine.
The operation of ccalc is based on a reduction of causal logic to propositional
logic. The ccalc package includes two satisfiability checkers, relsat
by Bayardo and Schrag and sato by Zhang.
|
|
|
Researchers
|
 |
Yuliya Babovich, Jonathan Campbell, Esra Erdem, Selim Erdogan, Gurucharan
Huchachar, Joohyung Lee
|
|
