TY - JOUR
T1 - The ramification problem in temporal databases
T2 - Changing beliefs about the past
AU - Papadakis, Nikos
AU - Antoniou, Grigoris
AU - Plexousakis, Dimitris
PY - 2006/11/1
Y1 - 2006/11/1
N2 - 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.
AB - 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.
KW - Belief revision
KW - Common sense reasoning
KW - Knowledge representation and reasoning
KW - Ramification problem
KW - Temporal databases
UR - http://www.scopus.com/inward/record.url?scp=33748141109&partnerID=8YFLogxK
U2 - 10.1016/j.datak.2005.09.003
DO - 10.1016/j.datak.2005.09.003
M3 - Article
AN - SCOPUS:33748141109
VL - 59
SP - 397
EP - 434
JO - Data and Knowledge Engineering
JF - Data and Knowledge Engineering
SN - 0169-023X
IS - 2
ER -