Discrete Event Calculus with Branching Time

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.