The ramification problem in temporal databases: Changing beliefs about the past

Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis

Research output: Contribution to journalArticle

7 Citations (Scopus)

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.

LanguageEnglish
Pages397-434
Number of pages38
JournalData and Knowledge Engineering
Volume59
Issue number2
Early online date18 Oct 2005
DOIs
Publication statusPublished - 1 Nov 2006
Externally publishedYes

Fingerprint

Data base

Cite this

@article{3307a10ba702470688865373eb344c90,
title = "The ramification problem in temporal databases: Changing beliefs about the past",
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 = "Belief revision, Common sense reasoning, Knowledge representation and reasoning, Ramification problem, Temporal databases",
author = "Nikos Papadakis and Grigoris Antoniou and Dimitris Plexousakis",
year = "2006",
month = "11",
day = "1",
doi = "10.1016/j.datak.2005.09.003",
language = "English",
volume = "59",
pages = "397--434",
journal = "Data and Knowledge Engineering",
issn = "0169-023X",
publisher = "Elsevier",
number = "2",

}

The ramification problem in temporal databases : Changing beliefs about the past. / Papadakis, Nikos; Antoniou, Grigoris; Plexousakis, Dimitris.

In: Data and Knowledge Engineering, Vol. 59, No. 2, 01.11.2006, p. 397-434.

Research output: Contribution to journalArticle

TY - JOUR

T1 - The ramification problem in temporal databases

T2 - Data and Knowledge Engineering

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

VL - 59

SP - 397

EP - 434

JO - Data and Knowledge Engineering

JF - Data and Knowledge Engineering

SN - 0169-023X

IS - 2

ER -