Re: Our approach to unasserted assertions is ambiguous and lossy [ was: Re: streamlining the baseline]

Hi Niklas & Thomas,

I am really struggling to follow your discussion.
Let me see whether I understood something.

It seems to me that there is a mix of issues here: the presence of two agents, and the assumption that transaction time is equal to valid time.

Your example may be similar to the following example not involving reification at all: I assert that John is a superhero; later on you assert that John is wearing a fancy dress. Obviously nobody can tell that I stated that John was a superhero in a moment when it was not known whether John was wearing a fancy dress.

It seems that your problem exists also without any reification. It is a more general problem involving valid and transaction time, and a mix thereof, which should be handled with an explicit notion of time.

Am I on track?
cheers
—e.

Received on Friday, 28 June 2024 13:46:52 UTC