Erik T. Mueller
We add branching time to the linear discrete event calculus, which yields a formalism for commonsense reasoning that combines the benefits of the situation calculus and the event calculus. We show how the branching discrete event calculus can be used to solve commonsense reasoning problems involving hypothetical events, concurrent events with cumulative and canceling effects, and triggered events.
Subjects: 5. Common Sense Reasoning; 3.3 Nonmonotonic Reasoning
Submitted: Dec 21, 2006