Issue 98039 | Editor: Erik Sandewall | 23.4.1998 |
Today |
Today, we advertise the acceptance of an additional contribution: the article by Antonis Kakas and Rob Miller has been accepted to the ETAI following our tough discussion and refereeing procedure. As the readers recognize, we have had an extensive open discussion about the paper, which has now been followed by confidential refereeing by three referees. All three referees recommended unconditional acceptance of the article. Two of them also made additional suggestions for further improvement of the article. These suggestions have been added to the open discussion about the article, only the identity of the reviewers being kept confidential. We congratulate the authors to having passed this test!
Also today, Jixin Ma and Sergio Brandano pursue the discussion about standard vs. non-standard ontologies of time.
ETAI Publications |
Antonis Kakas and Rob Miller
Reasoning about Actions, Narratives and Ramification
Debates |
To Sergio,
First of all, what do you mean "the classical one"? (the classical continuous time structure)? Does it refer to the classical physical model of time, where the structure is a set of points which is isomorphic to the real line? |
I can just quote myself ... |
Here in Pisa, we write ``continuity'' and we read ``axiom of completeness'', which is what everyone commonly means when speaking about (the founding notion of) continuity. |
Concerning the core theory that you and Jixin are willing to obtain,
I already developed a Basic Time Structure which may be of interest.
It is as simple as I managed to design it, without un-useful
complications. The structure works well in my case. you are welcome
to read and comment my contribution, which may be found in my ETAI's
reference.
|
At the ontological level, the notion of continuous time vi discrete time is closely related to questions "Is the set of time elements dense or not?", and " Are there really time atoms?". |
The word "continuity", even at the ontological level, can not be read
as "continuous with some exception".
|
The axiom of completeness states:
Let be
|
Secondly, you take time-points as real numbers, and intervals "from" the real line. Are your intervals sets of real numbers limited by their end-points (real numbers)? If no, what are they? If yes, have you considered the dividing instant problem? This problem would be more obvious with your time structure when you try to impose the axiom of completeness (see below).
Thirdly, if the domain S consists of time-intervals, you need to
re-define (or revise, or, at least, explain) the
relation
By the way, may I take this as one of the "un-useful" complications with your time structure?
As for general treatments, the Basic Time Structure does not have to impose the axiom of density or discreteness (Similar arquements apply to issues such as linear/non-linear, bounded/un-bounded). Therefore, the time structure as a whole may be continuous or discrete, or neither continuous nor discrete. |
I agree with your premise: the Basic Time Structure does not have to
impose the choice, in fact it leaves you free in that sense. As soon as
you make the choice, then you obtain either a continuous structure or
a discrete structure, just depending on this choice. I do not agree,
instead, with your conclusion. If I leave you the freedom to choose,
it does not mean the Structure is neither continuous nor discrete; it
simply means you still have to make the choice.
|
Now, "why an alternative notion of continuous structure is needed at all"? It has been noted that, temporal knowledge in the domain of artifical intelligence, including "temporal reasoning about actions and change", is usually imcomplete, and using time intervals in many cases is more convenient and more in-keeping with common sense of temporal concepts than to use the classical abstraction of points. In fact, the notion of time intervals (or periods) has been introduced for a long time in the literature. In addition, in order to overcome/bypass the annoying question of if intervals are open or closed, various approached have been proposed. An example is Allen's interval-based time theory. As for these time theories, the old (classical?) notion of continuity no longer simply applies. |
My question referred to what is needed rather than convenient.
I understand it may be convenient, in some cases, to use intervals, but
this is not pertinent with my criticism, which still holds.
|
Let me ask you a more stringent question.
Premise: It is evident that if you assume the axiom of completeness,
the domain
|
Question: Suppose that you define your neither continuous nor discrete
Temporal Structure. What is your domain
|
The basic core theory doesn't commit itself to whether the time stucture is continuous or discrete. So, if you would like one which is neither continuous nor discrete, you don't need the axiom of completeness. Why do I need a replacement for it, anyway, if it is not supposed?
Extra axioms regarding dense/discrete, linear/non-linear, bounded/non-bounded time structure, etc. can be given (e.g., see Ma and Knight's 1994 paper [j-cj-37-114]). Specially, the characterisation of continuity does not have to be in the form of axiom of completeness. In addition, as shown above, in the case where time intervals are addressed, it becomes very complicated (if not impossible) to simply apply such an axiom.
As for example you would like to see, the DIP is a typical one, as I have shown in the above.
Also, in your reply to Pat you wrote:
What properly formalizes the notion of continuity is the axiom of
completeness. Alternative notions are equivalent, until we speak
about continuous domains. The point was whether one can have a
continuous domain (that is the If another axiom exists, which does as well, then it is surely equivalent to the axiom of completeness, just because it does as well. Alternative notions are clearly equivalent, until we speak about continuous domains. The point here, instead, was whether one can have a continuous domain with exceptions, that is the claim I originally criticized.
|
Second, the question of "whether one can have a continuous domain with exceptions" depends on how do you understand the real meaning. It is important to note that neither Pat nor myself claims that one can have such a structure as you understood and hence described by "a continuous domain with exceptions". Of course, if you have already assumed that the domain as a whole is continuous, then it must be continuous - no exception! This is just like if you impose that "The traffic light was green throughout last week", then, of course, it was green any time during last week, no exception. Similarly, if you impose that "The traffic light was red throughout last week", then it was red any time during last week. Again, no exception. However, if you don't have either of them, why can't one have the case that over the last week, the traffic light was sometimes red, and sometimes green, and even sometimes yellow?
As I said earlier, when Pat talked about "continuous with exceptions", he actually meant that "except at those time moments, the time is continuous", or more specially, "except for time moments, each time interval is decomposable". I don't think he would actually assume, in the first place, the continuity of the whole domain, then expect there are some exceptions. Do I understand your meaning rightly, Pat?
Jixin
References:
j-cj-37-114 | Jixin Ma and Brian Knight. A General Temporal Theory. Computer Journal, vol. 37 (1994), pp. 114-123. |
Pat Hayes wrote (ENRAC 21.4.1998):
Why cannot time be continuous in some places but discontinuous at others?
There is no mathematical objection to such a structure, and it has been
argued that a continuum punctuated by a sparse collection of points of
discontinuity might be a plausible mathematical picture of time which seems
to 'flow smoothly' except when things happen suddenly. (Similar arguments
can be made for describing spatial boundaries, by the way; and elementary
physics makes similar assumptions, where velocity is supposed to change
smoothly except when 'impact' occurs.)
|
Sergio