Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
379278 | Data & Knowledge Engineering | 2006 | 38 Pages |
Abstract
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper we provide a solution to the ramification problem based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case where the effects of an action refer to the past, a particularly complex problem.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis,