Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Amendment to property tracking

Nate, Dan, all of you

 I think the decoration stuff needs further discussion
Concerning the recent discussion by Nate & Dan
I agree with Nate that the partial orderof the decorations has to match the linear order that leads the tracking process. 
Otherwise there is no FTDIA.
Hopefully John and Arnold will find a consistent solution or proof the opposite.
I also disagree with Dan that the definion of the predicates C D S is lower level stuff. 

Concerning  the former statement
 I would like to raise the question:
"Do we really need an FTDIA ?"
or is an FTIA sufficient?
Then, we would have do define how an algorithm can be performed on bare decoratiións. But that may be simpler 

Juergen


--
o Prof. Dr. Juergen Wolff von Gudenberg, Lehrstuhl fuer Informatik II 
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg