Reasoning About Actions: Explanation Problem

  • Areski Nait Abdallah
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)


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.


Variational Principle Logic Program Inference Rule Action Principle Logic System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Areski Nait Abdallah
    • 1
  1. 1.Middlesex College, Department of Computer ScienceUniversity of Western OntarioLondonCanada

Personalised recommendations