The ramification problem in temporal databases: an approach with conflicting constraints

Authors:
Nikos Papadakis;Dimitris Plexousakis;Myron Papadakis;Harris Manifavas
Affiliations:
Department of Sciences, Technological Education Institute of Crete, Crete, Greece;Department of Computer Science, University of Crete, Crete, Greece;Department of Computer Science, University of Crete, Crete, Greece;Department of Applied Informatics and Multimedia, Technological Education Institute of Crete, Crete, Greece
Venue:
Journal of Intelligent Information Systems
Year:
2012

Citing 21
Cited 0

Reasoning about action I: a possible worlds approach

Artificial Intelligence
Embracing causality in fault reasoning

Artificial Intelligence
Frames in the space of situations (research note)

Artificial Intelligence
Database updates in the event calculus

Journal of Logic Programming
Temporal reasoning in logic programming: a case for the situation calculus

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Ramification and causality

Artificial Intelligence
Reasoning about actions: steady versus stabilizing state constraints

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Accomodating Integrity Constraints During Database Design

EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
The Ramification and Qualification Problems in Temporal Databases

SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
E-RES: Reasoning about Actions, Events and Observations

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Actions with Duration and Constraints: the Ramification Problem in Temporal Databases

ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Temporal reasoning in the situation calculus

Temporal reasoning in the situation calculus
Causation, action, and counterfactuals

TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Inductive situation calculus

Artificial Intelligence
The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints

ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 02
Integrating Action Calculi and Description Logics

KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Specialization of Interaction Protocols in a Temporal Action Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Causal theories of action and change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Situation calculus on a dense flow of time

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

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 there are conflicting effects of an action, a particularly complex problem. Also we present a tool which implements the proposed solution.