Reasoning About Actions: Explanation Problem
The question examined in this chapter is the following: Along which extremum path will (or did) a logic system evolve and reach a state where the currently observed facts are true (in a soft sense)? This question arises in particular when one attempts to find some temporal explanation to some observed phenomenon. The tool used for solving this question is a variational principle. The variational principle compares the actual path, which is unknown, with other “nearby” paths, which have the same starting point and the same ending point. These nearby paths are generated from the original path via an abduction principle.
KeywordsVariational Principle Logic Program Inference Rule Action Principle Logic System
Unable to display preview. Download preview PDF.