[FRIAM] falsifying the lost opportunity updating mechanism for free will
∄ uǝlƃ
gepropella at gmail.com
Thu Jun 18 15:24:50 EDT 2020
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ƃ
More information about the Friam
mailing list