Re: Alternative language versioning formalism

On May 28, 2008, at 6:16 PM, Dan Connolly wrote:

> On Tue, 2008-05-27 at 17:05 -0400, Jonathan Rees wrote:
> [...]
>> Two agents, a sender and a receiver, are playing a game that goes as
>> follows:
>>    1. An objective (target action) o is chosen somehow from A = a  
>> space
>>       of possible action
> [...]
>> ------------------------------------------------------------------
>>
>> Example:
>>    A = {stop, go, caution, reverse, unassigned}
>>    M = {red, yellow, green}
>>    unassigned ~> o  for all o in O
>
> typo? should that be for all o in A ?

Yes, an earlier version (!) had distinct objective and action sets  
and this was one spot I didn't change.

>
>>    L = (F,I), L'=(F',I')
>>    I = {green:go, stop:red, yellow:unassigned}
>>    F = {red, green}
>>    I' = {green:go, stop:red, yellow:caution}
>>    F' = {red, green, yellow}
>>
>> ------------------------------------------------------------------
>
> -- 
> Dan Connolly, W3C http://www.w3.org/People/Connolly/
> gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
>

Received on Thursday, 29 May 2008 09:24:37 UTC