---
title: "Computing Ramifications by Postprocessing"
authors:
  - "Michael Thielscher"
doi: ""
url: "https://ijcai.org/proceedings/1995/256"
pdf: "https://ijcai.org/proceedings/1995/0256.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "1994-1999"
track: "Temporal Reasoning"
keywords:
---

# Computing Ramifications by Postprocessing

Michael Thielscher

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, pages 1994-1999.

## Abstract

A solution to the ramification problem caused by underlying domain constraints in STRIPSlike 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-like yet purely deductive approach to reasoning about actions based on Equational Logic Programming.