A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution