Brian Knight, Taoxin Peng, and Jixin Ma
Reasoning about Change over Time: Actions, Events, and their Effects.
[mail to author]|
[mail to moderator]
7.1 Erik Sandewall
26.1 Jixin Ma
7.1 Erik Sandewall
26.1 Jixin Ma
Q1. Erik Sandewall:
A fairly large part of your work is devoted to the time structure. Then, under "future work" you mention addressing the topic of continuous change. Won't you then have to use the real numbers (or something similar) as time structure?
A1. Jixin Ma (26.1):
Yes, though it is not necessary to directly use the real numbers as the time structure. In fact, a general time theory based on both points and intervals is proposed previously (The Computer Journal 37(2), 1994, pp.114-123). With the corresponding density axioms, it seems appropriate for addressing continuous change.
C1-1. Erik Sandewall:
In this case, why don't you introduce them at once, even for the present work? Is there some essential aspect of the present results that you are going to lose when you proceed to continuous change?
C1-2. Jixin Ma (26.1):
First of all, the approch addressing both moments and points as primitive is proposed in the paper in order to overcome the so-called Dividing Instant Problem, i.e., the problem in specifying if intervals is "closed"/"open" at their ending points in the case intervals are constructed out of points. It is argued again and again by many researchers that no solution is satisfactory to the question of what preconception about the closed/open nature of intervals should be taken:
There are three reasons of taking a discrete time structure:
1. It is simple and adequate for many practical applications.
2. It is noted that, if time intervals are addressed as temporal objects which can be associated with fluents by meta-predicates such as "HOLDS" or "TRUE", one shall face the possibility that a fluent might be neither true nor false throughout some interval. In the worst case, the so-called intermingling problem may arise, that is the possibility of a fluent changing its truth value infinitely often in an interval with a finite duration. This will lead to some difficulties in characterising the relationships between the negation of a fluent and the negation of involved sentances.
The approach that addresses intervals as a finite ordered union of points/moments sucessfully overcomes (or at least bypasses) such a problem. For the purpose of modelling continuous change, it seems necessary (this maybe arguable) to extend such a discrete time model to a dense one. However, in this case, some careful treatments have to be taken for dealing with the Intermingling Problem.
3. Since times are explicitly addressed in the formalism, the corresponding Frame Problem would become more difficult to be handled if the time structure is modelled as dense in the first place. Hence, the strategy is to tackle the simple case (that is, the discrete model) first, then to extend the idea to the general case.
This on-line debate page is part of a discussion at recent workshop; similar pages are set up for each of the workshop articles. The discussion is organized by the area Reasoning about Actions and Change within the Electronic Transactions on Artificial Intelligence (ETAI).
To contribute, please click [mail to moderator] above and send your question or comment as an E-mail message.