{"type":"ScholarlyArticle","title":"Computing Ramifications by Postprocessing","authors":[{"name":"Michael Thielscher","slug":"michael-thielscher","given":"Michael","family":"Thielscher","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1995/256","pdf":"https://ijcai.org/proceedings/1995/0256.pdf","markdown":"https://ijcai.org/proceedings/1995/256.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/256","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Temporal Reasoning","track":"Temporal Reasoning","number":256,"pages":{"first":1994,"last":1999},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}