Premium
The ramification problem in temporal databases: Concurrent execution
Author(s) -
Papadakis Nikolaos,
Plexousakis Dimitris,
Antoniou Grigoris
Publication year - 2010
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.20408
Subject(s) - computer science , ramification , extension (predicate logic) , action (physics) , situation calculus , programming language , artificial intelligence , theoretical computer science , database , mathematics , physics , quantum mechanics , combinatorics
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 in which two or more actions execute concurrently, a particularly complex problem. © 2010 Wiley Periodicals, Inc.