Re: model theory of error

> Michael Kifer wrote:
> > 
> > Christin says that we should hand-waive in defining the semantics, while I
> > am saying that we should hand-waive in defining compliance.
> > 
> > The result is pretty much the same, but the difference is big: people
> > expect that the semantics is formal and the compliance clause is not.
> 
> Depends what people you are talking to, of course :-)
> 
> So, in making a decision, we must also consider the alternative.
> 
> Especially since I would expect - but I may be wrong - that the people 
> who are our primary target, that is, people who want to implement a 
> standard format for interchanging rules between "established or new rule 
> languages", would have some expectation wrt the compliance clause.

So, if it is a compliance clause, then we pushed the problem to the next level.
Does it mean that I can now go back to work on the document?


	--michael  


> Christian
> 
>