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 ofMcCain and Turner.More specifically, we study the case in which two or more actions execute concurrently, a particularly complex problem.
Original language | English |
---|---|
Pages (from-to) | 287-325 |
Number of pages | 39 |
Journal | International Journal of Intelligent Systems |
Volume | 25 |
Issue number | 4 |
Early online date | 8 Mar 2010 |
DOIs | |
Publication status | Published - 23 Apr 2010 |
Externally published | Yes |