Regular PapersNo Access

A TOOL FOR ADDRESSING THE RAMIFICATION PROBLEM IN TEMPORAL DATABASES

NIKOS PAPADAKIS

Department of Science, Technological Educational Institute of Crete, Greece

Search for more papers by this author

DIMITRIS PLEXOUSAKIS

Department of Computer Science, University of Crete and Institute of Computer Science, FORTH, Greece

Search for more papers by this author

GRIGORIS ANTONIOU

Department of Computer Science, University of Crete and Institute of Computer Science, FORTH, Greece

Search for more papers by this author

MYRON PAPADAKIS

Department of Computer Science, University of Crete and Institute of Computer Science, FORTH, Greece

Search for more papers by this author

, and

KATERINA BOUTSIKA

Department of Computer Science, University of Crete and Institute of Computer Science, FORTH, Greece

Search for more papers by this author

https://doi.org/10.1142/S0218213009000287Cited by:0 (Source: Crossref)

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. We present a tool with a graphical user interface for addressing the ramification problem in temporal databases.

Remember to check out the Most Cited Articles!
Check out Notable Titles in Artificial Intelligence.

References

Marc Denecker and Eugenia Ternovska, Artificial Intelligence archive 171(6), 332 (2007), DOI: 10.1016/j.artint.2007.02.002. Crossref, Web of Science, Google Scholar
V. Lifshitz, Artificial Intelligence 46, 365 (1990). Crossref, Web of Science, Google Scholar
N. McCain and H. Turner, A causal theory of ramifications and qualifications, Proceedings of IJCAI-95 (1995) pp. 1978–1984. Google Scholar
J. McCarthy and P. J Hayes, Machine Intelligence 4 (American Elsevier, 1969) pp. 463–502. Google Scholar
Rob Miller and Murray Shanahan, Linkping Electronic Articles in Computer and Information Science 4(16), (1999). Google Scholar
Nikos Papadakis and Dimitris Plexousakis , Action with Duration and Constraints: The Ramification problem in Temporal Databases , 14th IEEE ICTAI ( 2002 ) . Google Scholar
Nikos Papadakis and Dimitris Plexousakis, IJAIT 12, 315 (2003). Web of Science, Google Scholar
J. Pinto and R. Reiter , Temporal Reasoning in Logic Programming: A Case for the Situation Calculus , Proceedings of 10th Int. Conf. on Logic Programming ( 1993 ) . Google Scholar
R. Reiter , Knowledge in Action Logical Foundations for Specifying and Implementing Dynamical Systems ( MIT Press , Cambridge , 2001 ) . Crossref, Google Scholar
M. Thielscher, Artifical Intelligence 89 (1997) pp. 317–364. Google Scholar