James, > I tend to see negative case counts as providing atomic action roll-backs (in > relational database state transition terms) -- kind of "undo" operation -- > but not necessarily to exactly the "prior" state.
Yes this makes broad sense. A piece of negative evidence would be something with potential to invalidate or remove or erase a piece of positive evidence. Along the same lines, how then do you interpret imaginary quantities of evidence? This question basically has to do with the uncertain-logic interpretation of complex-number multiplication. The big difference between Belnap or Kauffman/Varela's 4-valued logic and the 4-valued logic of (1,-1,i,-i) in the complex plane is that the multiplication (intersection) operators in the former act coordinatewise, whereas complex number multiplication mixes the coordinates -- which in a sense is where the quantum funkiness comes from. I was wondering if the Link Theory gave some justification for complex number multiplication from a logic perspective, but it seems not to. Kauffmann seems not to have gone there either in spite of being deep into 4-valued logic *and* being a master of quantum topology etc. ... > But I hasten to add, I differ with Kauffman and most others in the Laws of > Form/ANPA community on this (including Etter, Shoup and even GS Brown > himself). Everyone but me, it seems, either sees space as primary OR sees > spacetime as inseparably emergent as a whole. If I understand it correctly, the sort of space that GS Brown and Kauffman think is primary is a sort of proto-space, it's not physical space They do look at distinctions in this sort of proto-space as giving rise to time ... but then I think Kauffmann looks at physical space as emerging from the algebras immanent in multiple coupled/interpenetrating distinctions, in a way analogous to but more complex than how time arises... ben > > On Wed, Jan 6, 2021 at 2:38 PM Ben Goertzel <b...@goertzel.org> wrote: >> >> Interesting, will reflect a bit on that... >> >> James, what is your interpretation of negative case counts, in this model? >> >> On Wed, Jan 6, 2021 at 11:57 AM James Bowery <jabow...@gmail.com> wrote: >> > >> > The correct link is on archive.org: >> > >> > https://web.archive.org/web/20130511044913/http://www.boundaryinstitute.org/bi/articles/Link_Theory_intro.pdf >> > >> > >> > >> > On Wed, Jan 6, 2021 at 1:17 PM James Bowery <jabow...@gmail.com> wrote: >> >> >> >> See Appendix A - Complex Case Counts for what qualifies as a dynamical >> >> logic's 4-valued (1, i, -1, -i) approach to deriving the core of quantum >> >> mechanics (complex probability amplitudes) as a theorem of the >> >> combinatorics of 4 real-valued, 2x2 spinor matrices. >> >> >> >> On Sat, Jan 2, 2021 at 1:47 PM Ben Goertzel <b...@goertzel.org> wrote: >> >>> >> >>> To kick off the new year ... here is Part 2 of a trilogy of papers I'm >> >>> working on ... >> >>> >> >>> "Paraconsistent Foundations for Probabilistic Reasoning, Programming >> >>> and Concept Formation >> >>> " >> >>> >> >>> https://arxiv.org/abs/2012.14474 >> >>> >> >>> this one grounds (key aspects of) PLN in paraconsistent logic, and >> >>> thus makes clearer the programming-language Curry-Howard cognate of >> >>> PLN (via the known prog-lang cognate of relevant sorts of >> >>> paraconsistent logic). Also some other related stuff like >> >>> paraconsistent Formal Concept Analysis... >> >>> >> >>> Part 3 (another paper) will sketchily represent the core OpenCog >> >>> cognitive algorithms as Galois connections involving >> >>> continuation-passing-style metagraph chronomorphisms , where the >> >>> metagraph targets are labeled w/ probabilistic/paraconsistent >> >>> dependent types as outlined in Part 2 ... >> >>> >> >>> But I will defer starting on that till I finish some work on the SNet >> >>> roadmap and related issues ... >> >>> >> >>> -- >> >>> Ben Goertzel, PhD >> >>> http://goertzel.org >> >>> >> >>> “Words exist because of meaning; once you've got the meaning you can >> >>> forget the words. How can we build an AGI who will forget words so I >> >>> can have a word with him?” -- Zhuangzhi++ >> > >> > Artificial General Intelligence List / AGI / see discussions + >> > participants + delivery options Permalink >> >> >> -- >> Ben Goertzel, PhD >> http://goertzel.org >> >> “Words exist because of meaning; once you've got the meaning you can >> forget the words. How can we build an AGI who will forget words so I >> can have a word with him?” -- Zhuangzhi++ > > Artificial General Intelligence List / AGI / see discussions + participants + > delivery options Permalink -- Ben Goertzel, PhD http://goertzel.org “Words exist because of meaning; once you've got the meaning you can forget the words. How can we build an AGI who will forget words so I can have a word with him?” -- Zhuangzhi++ ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T425c68f0cea319cd-M402c79df4d60dbf9040be05a Delivery options: https://agi.topicbox.com/groups/agi/subscription