Temporal reasoning with abductive event calculus
Marc Denecker, Lode Missiaen, Maurice Bruynooghe · Lirias · 1992
. We present the SLDNFA procedure, which integrates two important nonmonotonic paradigms, negation as failure and abduction. The main difference between SLDNFA and existing approaches is the improved treatment of non-ground abductive goals. We present an extension for temporal reasoning based on Abductive Event Calculus. We show the power of the approach by applying it to planning and solving wellknown temporal reasoning problems. Interestingly, the procedure generates partial plans; the order of events is left unspecified when they do not interfere. 1