[FRIAM] falsifying the lost opportunity updating mechanism for free will

[∄ uǝlƃ]

That was as explicit as I can get without writing code. "P1 → A v B" means "process one results in the event A or the event B." Conceivable events? I have in mind variables taking on values, like x = 1 or x = 2. Those assignments should be relatively conceivable. A composition might be concatenation. So, if we have 2 variables, x and y, and x ∈ {1,2} and y ∈ {3,4}, then a composition might be [1,3] or [2,4].

Does that help?

On 6/18/20 12:15 PM, Russ Abbott wrote:
> I'm afraid I don't understand your notation. E.g., what does P1 → A v B mean? I would prefer an example that's more concrete, e.g., with actual conceivable events.
> _
> _
> __-- Russ Abbott                                      
> Professor, Computer Science
> California State University, Los Angeles
> 
> 
> On Thu, Jun 18, 2020 at 12:00 PM ∄ uǝlƃ <gepropella at gmail.com <mailto:gepropella at gmail.com>> wrote:
> 
>     Hm. How about an example where the composer changes the composition?
> 
>     Let's say we have 2 processes, P1 and P2 with 1 branch each:
>     P1 → A v B
>     P2 → C v D
> 
>     And let's say A and C compose and B and D compose.
>     P1 ^ P2 → AC v BD
> 
>     The 0th time through the structure, the monitor records: AC.
>     The controller adds another composition: AD to create the structure:
>     P1 ^ P2 → AC v BD v AD

-- 
☣ uǝlƃ