Actions with Duration and Constraints: The Ramification Problem in Temporal Databases

The ramification problem is a hard and ever present problem in systems exhibiting a dynamic behavior. The area of temporal databases in particular is still lacking satisfactory solutions to the ramification problem. In this paper, we address the ramification problem based on causal relationships that take time into account. We study the problem for both instantaneous actions and actions with duration. The proposed solution advances previous work by considering actions with effects occurring in any of the possible future situations resulting from an action's execution.

[1]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[2]  Akira Fusaoka.  Situation Calculus on a Dense Flow of Time , 1996, AAAI/IAAI, Vol. 1.

[3]  Dimitris Plexousakis,et al.  The Ramification and Qualification Problems in Temporal Databases , 2002, SETN.

[4]  Nikos Papadakis,et al.  Action Theories in Temporal Databases , 2002 .

[5]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

[6]  Raymond Reiter,et al.  Temporal Reasoning in Logic Programming: A Case for the Situation Calculus , 1993, ICLP.

[7]  John Mylopoulos,et al.  On the Frame Problem in Procedure Specifications , 1995, IEEE Trans. Software Eng..

[8]  Antonis C. Kakas,et al.  A Simple Declarative Language for Describing Narratives With Actions , 1997, J. Log. Program..

[9]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[10]  Michael Thielscher,et al.  Ramiication and Causality , 1996 .

[11]  Vladimir Lifschitz,et al.  Restricted Monotonicity , 1993, AAAI.

[12]  Charles Elkan,et al.  Reasoning about Action in First-Order Logic , 1992 .

[13]  Vladimir Lifschitz,et al.  Frames in the Space of Situations , 1990, Artif. Intell..

[14]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[15]  Joakim Gustafsson.  Extending temporal action logic for ramification and concurrency , 1998 .

[16]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[17]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[18]  Antonis C. Kakas,et al.  E-RES: Reasoning about Actions, Events and Observations , 2001, LPNMR.

[19]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[20]  Michael Thielscher,et al.  Reasoning About Actions: Steady Versus Stabilizing State Constraints , 1998, Artif. Intell..

[21]  John Mylopoulos,et al.  Accomodating Integrity Constraints During Database Design , 1996, EDBT.