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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 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 Permalink: https://agi.topicbox.com/groups/agi/T425c68f0cea319cd-M56dff86095e6c7e615fb1b81 Delivery options: https://agi.topicbox.com/groups/agi/subscription
