A fun conundrum in logic programming is how to interact with time. For example, let's say you're programming a business process and the logic program encounters the predicate:
Balance(100) Should the predicate fail unless the Balance is, in fact $100? Or should it set the Balance to $100 and treat the execution of the logic program as a state transition? There are various attempts to deal with this with variants on the predicate calculus like temporal, modal, situational, etc. logics, but they all seem to be rather kludgy compared to what is probably ultimately needed: A kind of "quantum logic" that doesn't make the same mistake that von Neumann made back when he gave it his best shot. von Neumann, BTW, was of the opinion that "consciousness" does, indeed, "collapse the wave function" -- not that he was any more right about that than he was about his version of "quantum logic". On Sun, Jun 7, 2020 at 8:04 PM John Rose <[email protected]> wrote: > Seems to me this would be rather important to sort out ,no? > > But, you could say that collapsing the wave function is not needed for AGI > I guess... but if it did it would explain some important things about > biological brains... and algorithms that could be snagged and reused. > > Related discussion: > https://arxiv.org/abs/2005.13317 > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + delivery > options <https://agi.topicbox.com/groups/agi/subscription> Permalink > <https://agi.topicbox.com/groups/agi/T51eb63417278f283-Mc018baa07911f99178cba31d> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T51eb63417278f283-M94fefd7127d03db7a8eb8847 Delivery options: https://agi.topicbox.com/groups/agi/subscription
