Computing ramifications by postprocessing

  • Authors:

  • Michael Thielscher

  • Affiliations:

  • Intellektik, Informatik, TH Darmstadt, Darmstadt, Germany

  • Venue:
  • IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

A solution to the ramification problem caused by underlying domain constraints in STRIPS-like approaches is presented. We introduce the notion of causal relationships which are used in a post-processing step after having applied an action description. Moreover, we show how the information needed for these post-computations can be automatically extracted from the domain constraints plus general knowledge of which fluents can possibly affect each other. We illustrate the necessity of causal relationships by an example that shows the limitedness of a common method to avoid unintended ramifications, namely, the distinction between so-called frame and non-frame fluents. Finally, we integrate our solution into a recently developed, STRIPS-Iike yet purely deductive approach to reasoning about actions based on Equational Logic Programming.