On a quick skim, though, I don't notice any solution posed to neural representation of quantifier bindings and Skolem functions, which appears to me the tricky bit. If you're just doing propositional relationships with universally quantified variables the mapping of logic expressions into neural nets indeed isn't that challenging, though it's a different question whether neural nets are the best way to deal with large networks of logic expressions...
On Sun, Dec 22, 2024 at 6:17 PM Ben Goertzel <bengoert...@gmail.com> wrote: > > Thanks! I had no problem downloading/viewing it. I'm traveling w/ > family these next couple weeks so may not have time for serious > reading till early jan though... > > On Sun, Dec 22, 2024 at 4:17 PM YKY (Yan King Yin, 甄景贤) > <generic.intellige...@gmail.com> wrote: > > > > Hi Ben and others, > > This is my (in-progress) thesis: > > https://github.com/Cybernetic1/masters-thesis/blob/194c60ae05200cdc646021e14a44ec57afa94bdf/mythesis.pdf > > The Introduction chapter should be quite readable. Please suggest if it > > can be improved. > > The Algorithm chapter (4) is rather disorganized. > > Artificial General Intelligence List / AGI / see discussions + participants > > + delivery options Permalink > > > > -- > -- Ben Goertzel, PhD > http://goertzel.org > CEO, SingularityNET / True AGI / ASI Alliance > Chair, AGI Society > > > "One must have chaos in one's heart to give birth to a dancing star" > -- Friedrich Nietzsche -- -- Ben Goertzel, PhD http://goertzel.org CEO, SingularityNET / True AGI / ASI Alliance Chair, AGI Society "One must have chaos in one's heart to give birth to a dancing star" -- Friedrich Nietzsche ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T8685950780e86bd5-M59543b3c6b560998a638aed0 Delivery options: https://agi.topicbox.com/groups/agi/subscription
