Re: [opencog-dev] MeTTa competitors

google.com/d/msgid/opencog/CAHxQD9i42M7P1_3Wxg4zWu3Hg-O3pHJWdCmuhyzhbynCt-m1%3Dw%40mail.gmail.com. > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an

Re: [opencog-dev] OpenCog as an SMT solver

To unsubscribe from this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/f40317fb-fbe1-41d7-bf19-c2c4fa48d1d8n%40googlegroups.com. -- Ben Goertzel, PhD b..

Re: [opencog-dev] Re: OpenCog.org website

> I am still hoping that you will look at and provide a response to the idea of > the hyperon-on-top-of-atomspace prototype. I think it is the easiest way for > you to get a fast & scalable Hyperon working, right now, while you wait for > the more whiz-bang thing to be developed. I can see

Re: [opencog-dev] Re: OpenCog.org website

lly really fast: Amir Plivatsy has >> performance-tuned the heck out of it, it runs about 100x faster than it did >> a decade ago. And since CPU's have also gotten faster, ... wow. So that is >> the dataflow, or structure-flow idea. Converting any kind of streaming data >>

Re: [opencog-dev] OpenCog Hyperon status?

tps://groups.google.com/d/msgid/opencog/5be7407e-a643-4b66-a236-e1148cdcc5a4n%40googlegroups.com. -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are subscribed to the Google Groups

[opencog-dev] ISO experienced Rust dev to help build AGI

OpenCog Hyperon / SingularityNET is looking for an experienced Rust developer with an interest in AGI and/or implementation of novel functional programming languages. Email recruitm...@singularitynet.io and/or b...@singularitynet.io ... thanks! -- ben -- Ben Goertzel, PhD b...@goertzel.org

[opencog-dev] AGI DIscussion Session Fri. Nov 11 -- Envisioning An Artificial Metaversal Society for Early-Stage AGI

See https://wiki.opencog.org/w/AGI_Discussion_Forum#Upcoming_Sessions for details -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are subscribed to the Google Groups "

[opencog-dev] AGI Discussion Forum -- Alex Ororbia on new/better alternatives to backprop e.g. predictive coding == 7AM Pacific time Wed Sep 21

culation, local representation alignment, contrastive Hebbian learning, wake-sleep, and predictive processing." -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are subscribed

Re: [opencog-dev] Quickest way to get a running Opencog/atomspace/PLN/URE/NLP instance running in 2022

> I'm motivated to provide (3) but sometimes dispense 1 & 2. I keep saying > "me", because Ben has pulled almost everyone from off of the projects here, > and onto other projects. A number of SingularityNET folks who were previously working on what I've been calling "OpenCog Classic" (the

Re: [opencog-dev] Re: Combinatory Categorial Grammar is equivalent to Link Grammar

m this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/CAHrUA36QWsN1j-apJsZL9w4EEqb5CZFLwoXbsW%3DAc11oO3pZ-w%40mail.gmail.com. -- Ben Goertzel, PhD

[opencog-dev] AGI DISCUSSION FORUM IN 30 MIN ... : July 15 2022, 7AM-8:30AM Pacific time: Matt ikle and Ben Goertzel on Measuring Consciousness in AGI Systems

Videoconference at: https://singularitynet.zoom.us/my/benbot See details at https://wiki.opencog.org/w/AGI_Discussion_Forum -- ben -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails

[opencog-dev] AGI DISCUSSION FORUM IN 6 HRS ... : June 17, 2022, 7AM-8:30AM Pacific time: Rob Freeman on chaotic cognitive linguistics

-- ben goertzel -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to opencog+unsubscr...@googlegroups.com. To view this discussion on the web vi

[opencog-dev] Experiential Learning from Sequential Data - Anton Kolonin - OpenCog AGI Discussion

A video of today's excellent talk by Anton Kolonin, https://www.youtube.com/watch?v=AV_QQ7fqalw Apologies I forgot to give a reminder of the session yesterday (due to being busy moving house) ... it was a good one! ben -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant

[opencog-dev] AGi Discussion Forum -- AGI DSLs in MeTTa (April 22)

Reminder April 22, 2022, 7AM-8:30AM Pacific time: Alexey Potapov on "OpenCog Hyperon's MeTTa Language as a Tool for Creating DSLs" ... https://singularitynet.zoom.us/my/benbot . On Fri, Apr 8, 2022, 00:05 Ben Goertzel wrote: > AGI DIscussion Forum Session in 7 hours

[opencog-dev] AGi Discussion Forum -- formalization of MeTTa (April 8)

nt general math formulation underlying MeTTa language) ... https://singularitynet.zoom.us/my/benbot . Background material: https://arxiv.org/abs/2203.15970 -- ben -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche --

[opencog-dev] Formalization of OpenCog Hyperon's MeTTa language in terms of metagraph rewrite rules

" A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel " https://arxiv.org/abs/2203.15970 -- Ben Goertzel, PhD b...@goertzel.org "My humanity is

[opencog-dev] AGi Discussion Forum sessions -- semantic primitives (Mar 18) and formalization of MeTTa (April 8)

The next couple AGI Discussion Forum sessions: https://wiki.opencog.org/w/AGI_Discussion_Forum#Sessions March 18, 2022, 7AM-8:30AM Pacific time: Ben Goertzel leading discussion on semantic primitives , https://singularitynet.zoom.us/my/benbot . Background: https://bengoertzel.substack.com/p/can

[opencog-dev] AGI DIscussion Forum, Fri Feb 18, 7AM Pacific time -- Neural-symbolic proto-AGI in Minecraft w/ Alexey Potapov

Hyperon work and will be ported in more generalized form to Hyperon before too long (once MeTTa interpreter and associated tooling is ready), Location is here, https://singularitynet.zoom.us/my/benbot -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" --

Re: [opencog-dev] Neural-symbolic approach to exploratory learning in MInecraft

his is one of the key applications we're using to test Hyperon as we develop it, along with the good old bio-AI genomic reasoning application, and the Grace robot back-end... ben On Fri, Feb 11, 2022 at 3:24 PM Ben Goertzel wrote: > > Well wait till our Sophiaverse AI/blockchain metavers

Re: [opencog-dev] Neural-symbolic approach to exploratory learning in MInecraft

., Feb. 11, 2022, 12:31 p.m. Ben Goertzel, > wrote: >> >> Check this out from Alexey Potapov, >> >> https://blog.singularitynet.io/towards-general-purpose-minecraft-ai-agents-41fe415d6dd >> >> While it does not use OpenCog, the work was done as a prelimina

[opencog-dev] Neural-symbolic approach to exploratory learning in MInecraft

with a custom specific rule engine, the latter made for short-term use while waiting for Hyperon MeTTa interpreter to mature...) ben -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are

Re: [opencog-dev] Time Theory

o opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/abe64f28-da56-4ec4-84d5-8c51d3eab78dn%40googlegroups.com. -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedric

[opencog-dev] AGI Discussion Forum -- Jan 28, 7AM Pacific time -- What Makes a Theorem Interesting?

Next discussion forum coming up!! -- * Jan 28, 2022, 7AM-8:30AM Pacific time: Ben Goertzel on "What Makes a Theorem Interesting?", https://singularitynet.zoom.us/my/benbot https://wiki.opencog.org/w/AGI_Discussion_Forum#Sessions Be there or ... don't ... ;) -- Ben Goert

[opencog-dev] Question for Rust guru

We are hitting some weird issues with our experimental use of Rust in a Hyperon prototype ... Any Rust gurus on here know an answer? https://users.rust-lang.org/t/cannot-find-an-error-in-the-lifetime-annotations/69457 -- You received this message because you are subscribed to the Google Groups

[opencog-dev] Toward formalization of Hyperon's MeTTa language in terms of metagraph rewrite rules

he implementation of efficient methods for pattern matching and equality inference within the MeTTa interpreter. \end{abstract} -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are s

[opencog-dev] AGI Discussion Forum Dec 10: Doug Miles LogicMoo Part Two

://wiki.opencog.org/w/AGI_Discussion_Forum#Sessions More and more tasty logicmoo to fill your minds with beautiful and promising AI glory! See you Friday ;) ben -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message b

[opencog-dev] MeTTa, multigraph rewriting, (infinity,1)-topos etc.

s and neural systems a lot more concise and efficient ! ben -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubs

[opencog-dev] AGI Discussion Forum -- Doug Miles on LogicMoo -- 7AM Pacific time Fri Nov 19

https://wiki.opencog.org/w/AGI_Discussion_Forum Zoom room: https://singularitynet.zoom.us/my/benbot Background: https://logicmoo.org/public/ 11.5 hrs from now ... be there or remain woefully ignorant of Doug's super-cool work! ... [or OK catch the recorded video afterwards... ;) ] -- Ben

Re: [opencog-dev] OpenCog Rework [Re: s-expression database]

> Sorry, the question was not whether or not AtomSpace is used for each project > independently. (thank you for the detailed answer though) It was meant to > ask if multiple projects use AtomSpace as a blackboard in order to > interoperate. They don't at the moment, in practice. For this

Re: [opencog-dev] OpenCog Rework [Re: s-expression database]

> So, yes, its the core component. I don't think that there is anything at all > in the opencog code base that does not use it directly. > > --linas Well.. classic MOSES, right? But now there's Atomspace-MOSES ;) -- You received this message because you are subscribed to the Google Groups

Re: [opencog-dev] Re-imagining the AtomSpace

ue can be another >> >>>>>> JSON expression, nesting arbitrarily deep. It's a labelled tree. >> >>>>>> >> >>>>>> When I suggested that one can store just plain s-expressions -- i.e. >> >>>>>>

[opencog-dev] AGI Discussion forum Oct 29 -- Hyperon as an AGI Approach (what needs special focus? what's missing?)

5 hours in) -- Ben -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving

[opencog-dev] Zoom and YouTube links for today's Neural-Symbolic AGI workshop (part of AGI-21)

See https://wiki.opencog.org/w/Workshop_on_Scaling_up_Neural-Symbolic_and_Integrative_AGI_Architectures -- Ben Goertzel, PhD b...@goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are subscribed to the Goo

Re: [opencog-dev] Meta Type Talk (Hyperon) language description online, w/ talk coming Fri at AGI-21

gt; composed. > > All best, > Ivan > > > čet, 14. lis 2021. u 21:19 Ben Goertzel napisao je: >> >> Here is a somewhat concise, not-maximally-didactic description of the >> new language (MeTTa) we have designed for OpenCog Hyperon: >> >> https://wi

[opencog-dev] Meta Type Talk (Hyperon) language description online, w/ talk coming Fri at AGI-21

typed, allowing interoperation of multiple type systems w/ their own type checkers, and is intended to foster runtime human and AI creation of type systems including funky ones like probabilistic dependent type systems etc.).Metta is also a Pali word for lovingkindness, which has some AGI ethic

Re: Audio-video unsupervised learning [was: Re: [opencog-dev] UnionLink, IntersectionLink, ComplementLink

that we are working explicitly at the >> symbolic level. By having a grammar, we have an explicit part-whole >> relationship. This is something the neural-net guys cannot do (Hinton, >> I believe, has a paper on how one day in the distant future, neural >> nets might be able to

[opencog-dev] Re: [agi] Re: AGI discussion group, Sep 10 7AM Pacific: Characterizing and Implementing Human-Like Consciousness

>> -- design of a new programming language (MeTTA = Meta Type Talk) >> designed to serve as the type system and formalism behind the new >> version of OpenCog Atomspace. A lot of math/CS work has been done in >> the last 9 months leading up to this design... > > > Meta Type Talk... > > Is it a

[opencog-dev] Re: [agi] Re: AGI discussion group, Sep 10 7AM Pacific: Characterizing and Implementing Human-Like Consciousness

On Thu, Sep 9, 2021 at 5:06 PM wrote: > > I dont think Man as a group has much chance in getting that to happen. Need > to get more down to earth I think. Our OpenCog/SNet team is spending a lot of time on down-to-earth stuff, some of which we'll talk about in some future AGI Discussion

[opencog-dev] AGI discussion group, Sep 10 7AM Pacific: Characterizing and Implementing Human-Like Consciousness

//agi.topicbox.com/groups/agi/subscription -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop rec

[opencog-dev] AGI Discussion Forum: next one will be Fri Sep 10 (none this week)

Hi, I'd previously scheduled an AGI Discussion Forum for this week but life has intervened... hopefully the added time for anticipation will make the next one on Sep 10 all the more precious ;) https://wiki.opencog.org/w/AGI_Discussion_Forum -- ben -- Ben Goertzel, PhD http://goertzel.org

Re: [opencog-dev] Re-imagining the AtomSpace

> As to Hyperon -- Ben, I skimmed through everything written on Hyperon, and it > seems (to me) like it could be "easily" implemented within the existing > AtomSpace framework. I think this would be the right direction to move in, > but I don't think that is possible until there is some sort

Re: [opencog-dev] Re-imagining the AtomSpace

uot; group. > To unsubscribe from this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/CAL7_Mo_7ihMrRCZY%2BCLwAZ5KcHGqbRqwQgpOb8pLz1qY9Rj%2BSw%40mail.

[opencog-dev] Re: AGI discussion group, Aug 13 7:30AM Pacific: Open Ended Motivational Systems for AGIs

, Aug 12, 2021 at 8:56 PM Ben Goertzel wrote: > > August 13, 2021, 7:30AM-9AM US Pacific time > > TOPIC: Paraconsistent Models of Open-Ended AGI Motivations. (leader: > Ben Goertzel) > > URL for video-chat: https://singularitynet.zoom.us/my/benbot > > ... open to all AGI

[opencog-dev] AGI discussion group, Aug 13 7:30AM Pacific: Open Ended Motivational Systems for AGIs

August 13, 2021, 7:30AM-9AM US Pacific time TOPIC: Paraconsistent Models of Open-Ended AGI Motivations. (leader: Ben Goertzel) URL for video-chat: https://singularitynet.zoom.us/my/benbot ... open to all AGI enthusiasts/researchers who want to listen and/or converse on the theme... ben

Re: Opencog, PLN, AtomSpace [was Re: [opencog-dev] Re: MOZI web UI]

g Health it's taking a little longer. Anyway these are far from trivial matters as u know... ben On Wed, Aug 4, 2021 at 3:49 PM Linas Vepstas wrote: > > > > On Wed, Aug 4, 2021 at 10:20 AM Ben Goertzel wrote: >> >> >> So the motive for redesigning/rebuilding is not a fe

Re: Opencog, PLN, AtomSpace [was Re: [opencog-dev] Re: MOZI web UI]

> linus, an outline of the potential new atomspace is here. > To be clear, we (the group of us in SingularityNET working on Hyperon, alongside our other projects) do not yet have a detailed design for a Hyperon Atomspace, though we do have a lot of ideas that are in an intensive form of

Re: Opencog, PLN, AtomSpace [was Re: [opencog-dev] Re: MOZI web UI]

A reasonable step would be for Nil to send you some real PLN and URE inference histories and see what your visualizer does with them... On Mon, Jul 12, 2021, 10:59 AM Ivan V. wrote: > I made a small infinity test too. Each > parent virtually has an infinite

[opencog-dev] AGI discussion Forum June 18 -- Engineering and Emergence in AGI Systems

ben -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email

Re: [opencog-dev] Fwd: [New post] Everything is a Network

al. The second invoked a bunch of >>>>>> math. Both have bibliographies. There are additional PDF's in each of the >>>>>> directories that fill in more details. >>>>>> >>>>>> This is the level I am currently trying to work at. I

[opencog-dev] AGI Discussion Fora -- Minecraft, Automated Program Learning...

knowledge base of whatever proto-AGI system you're working with... -- ben -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe

Re: [opencog-dev] PhD locations for AGI

> In regards to funding, there must be a financial source in our society that > provides funding to crazy new risky ideas. I would imagine academia is such a > source. If I looked for a venture capitalist for a start-up, I'm not sure how > I could build a business model around AGI research.

[opencog-dev] Re: AGI Discussion Forum, May 14: Minecraft for aGI?

Ah, forgot to re-include the general AGI Discussion Forum link, https://wiki.opencog.org/w/AGI_Discussion_Forum On Mon, May 10, 2021 at 12:51 AM Ben Goertzel wrote: > > Hi all, > > Fri May 14, 2021 we will have the next AGI Discussion Forum session on the > topic > &g

[opencog-dev] AGI Discussion Forum, May 14: Minecraft for aGI?

itself so much to wide-open brainstorming/discussion. I've aimed this time to choose a topic that's super easy for anyone to enter into... opposite end of the spectrum perhaps... thanks Ben -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan -

Re: [opencog-dev] AGI Discussion Forum

y chess, identify pictures of dogs > and answer maths problems written in words is that sufficient to declare it > an AGI or would it need to be able to do a lot of other tasks? I am not sure > if there has been a lot of work on this already and benchmarks are well > defined. > > Jo

Re: BlocksWorld Problem [was Re: AGI & Robotics & Sophia [was Re: New user [was Re: [opencog-dev] Problem in atom deletion from postgreSQL

: > > Hi Ben, a great pleasure to meet you! > > Il giorno mercoledì 28 aprile 2021 alle 21:42:02 UTC+2 Ben Goertzel ha > scritto: >> >> I was referring to Michele's student project which is clearly not >> aimed at scalable production code... whether Michele uses Hyp

Re: BlocksWorld Problem [was Re: AGI & Robotics & Sophia [was Re: New user [was Re: [opencog-dev] Problem in atom deletion from postgreSQL

>> As I understand what is being proposed here is a student research project >> not a large-scale engineering project... > > > Anatoly implied that he wants to create a new planner in hyperion. Creating > hyperion, and a new planner for it, using "more natural" expressiveness, is > .. well,

Re: BlocksWorld Problem [was Re: AGI & Robotics & Sophia [was Re: New user [was Re: [opencog-dev] Problem in atom deletion from postgreSQL

> > > > Now, what I say above is "easy to say" but is "hard to do" -- implementing > what I suggest is a large project. But then, in software, nothing is free. > facebook and google and amazon employ thousands of engineers because > writing good software is hard. Imagining that you can create a

Re: [opencog-dev] PhD locations for AGI

nsubscribe from this group and stop receiving emails from it, send an >> email to opencog+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/opencog/e3426270-cfb1-4df0-82ac-fede670ab5d8n%40googlegroups.com. > >

Re: [opencog-dev] AGI Discussion Forum

>> The bio-Atomspace we are experimenting with now contains only a small >> % of the biomedical knowledge we would like it to, which is because of >> RAM and processing speed limitations in current OpenCog >> >> Recent optimizations help but don't remotely come close to solving the >> problem > >

Re: [opencog-dev] AGI Discussion Forum

> If... well I can imagine that there are scenarios where having a DAS is > useful .. but we don't have working code for any of those. The problem of > building a technology like DAS for some non-existent users who might show up > in the future... well, you might discover that the DAS is built

Re: [opencog-dev] Re: AGI Discussion Forum

ro Ramirez Suárez wrote: > > So is Hyperion a fork of OpenCog or which one is the version being developed? > > On Friday, 16 April 2021 at 20:28:41 UTC-5 Ben Goertzel wrote: >> >> Hi all, >> >> We are going to start doing biweekly 90-min discussion sessions via >&

Re: [opencog-dev] AGI Discussion Forum

Linas, About DAS (Distributed Atomspace), this file https://wiki.opencog.org/wikihome/images/1/16/Distributed_Atom_Space_-_Requirements.pdf reviews four potential use-cases in moderate detail. It would be very interesting to understand what you think is the shortest path to fulfilling the

Re: [opencog-dev] AGI Discussion Forum

Hi, > Shall I repeat again? The atomspace is already distributed, and there are now > several different ways in which this works. Actually, N ways, to be precise. > I'll describe them below. Again, I invite anyone and everyone to try it, use > it, find out if or how it meets or doesn't meet

Re: [opencog-dev] AGI Discussion Forum

1 at 7:50 AM Linas Vepstas wrote: > > Hi Ben, > > Perhaps a description of what Hyperon is would be appropriate. > > -- Linas > > On Fri, Apr 16, 2021 at 8:28 PM Ben Goertzel wrote: >> >> Hi all, >> >> We are going to start doing biweekly 90-min disc

[opencog-dev] AGI Discussion Forum

series... thanks! Ben -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it

[opencog-dev] Toward a Useful General Theory of General Intelligence

stuff... ben -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an em

[opencog-dev] Patterns of Cognition

alignment between the hierarchy of subgoals used in recursive decision process execution and a hierarchy of subpatterns definable in terms of formal pattern theory. **** -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan -- You received this mess

Re: [opencog-dev] Considering confidence values of formulas

: > > Thank you for the answer. I assume that distincting between probability and > confidence (taking into account only those two orders of probability) has > some benefits. > > Kind regards, > ivan > > uto, 19. sij 2021. u 20:56 Ben Goertzel napisao je: >> >

Re: [opencog-dev] Considering confidence values of formulas

d to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/CAB5%3Dj6XFkCtsBNZ1N3cW

Re: [opencog-dev] Introducing myself and talking about metamath

oups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/371730ce-2f1f-4ab6-9559-2

Re: [opencog-dev] Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation

t; > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit

[opencog-dev] Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation

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

[opencog-dev] Proto-AGI interim progress...

nd pattern mining. Next steps are to port from the simplistic environment to Minecraft and to gradually introduce more AI (PLN and not just pattern mining, more flexible sorts of predictive implications, etc.). -- Ben Goertzel, PhD http://goertzel.org “Words exist because of meaning; once

[opencog-dev] Metagraph morphisms and history hypertrees...

t;OpenCoggy Probabilistic Programming" but I'm trying to formalize the ideas a little more rigorously here... This is all heavily motivated by Hyperon design/prototyping, i.e. wanting to get a clear understanding of what operations most badly need to be made scalable in Hyperon... be

[opencog-dev] minecraft for hyperon

have also been looking at this a bunch... ben -- 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++ -- You received

[opencog-dev] Funky and potentially useful/relevant functional programming wizardry...

fraction of the work is in executing the morphisms rather than doing costly operations on each Atom). -- 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

Re: [opencog-dev] Atomspace consistency and completeness

of it like putting it at the roots of deductive systems, but when I > look at it in that light, it certainly rings some inspirative bells. > > Thanks again, > ivan v. > > pon, 26. lis 2020. u 15:33 Ben Goertzel napisao je: >> >> Atomspace is more of a meta level fram

Re: [opencog-dev] Atomspace consistency and completeness

ps > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/CAB5%3Dj6XvNt5yaXcpkTQXjFmpfxTaV_KxF

Re: [opencog-dev] Hyperon brainstorming documents

> > Il giorno giovedì 17 settembre 2020 alle 16:34:53 UTC+2 Ben Goertzel ha > scritto: >> >> The functionality provided by URE is very much needed, but the current >> "division of labor" between URE, Pattern Matcher, {scripts written in >> (usually) Sch

Re: [opencog-dev] Hyperon brainstorming documents

d rule engine)? URE was one of the concepts I > liked very much in OpenCog. > > čet, 17. ruj 2020. u 01:54 Ben Goertzel napisao je: >> >> I like Julia for ML and numerical analysis stuff, definitely ... big >> improvement over python... >> >> We are in the mid

Re: [opencog-dev] Hyperon brainstorming documents

t;OK now we're > serious" development area. It seems likely to me there will be an atomspace 3 > once the science is perfected, but if rapid development is a priority for > this stage of the project, it might be worth an evaluation. > > Can't wait to see the next evolution of O

Re: [opencog-dev] Hyperon brainstorming documents

userbase in the research field, is easy > to pick up like Python, JIT so long compile times are generally a non-issue, > and it executes with near-C levels of performance. > > Just my 0.02, curious to see how this discussion develops. > > On Tuesday, September 15, 2020 at 8:51:52

Re: [opencog-dev] Hyperon brainstorming documents

and HUGE you can't expect someone who is >> successful to have time to do it right. >> >> I suggest you forget the name OpenCog. Forget the code. Forget Ben's first >> prototypes. Think Think think >> >> we really all need to sit down together someplace in

[opencog-dev] Hyperon brainstorming documents

#OpenCog_Hyperon Bear in mind these are mostly early-stage raw discussion documents not refined specs or anything like that. We are sharing aspects of our thought-process-so-far with a view toward soliciting feedback and potentially participation... thanks ben -- Ben Goertzel, PhD http://goertzel.org

Re: [opencog-dev] Indexing in the AtomSpace

/d/msgid/opencog/CAHrUA34qoTA90pcSC3GwXsGy8xpK5yn-1U7k%2Ba10nuDTWcrBLQ%40mail.gmail.com >> <https://groups.google.com/d/msgid/opencog/CAHrUA34qoTA90pcSC3GwXsGy8xpK5yn-1U7k%2Ba10nuDTWcrBLQ%40mail.gmail.com?utm_medium=email_source=footer> >> . >> >> -- >> You received this

Re: [opencog-dev] Distributed Atomspace

>> specialized to which purpose. >>> >>> An ideal general intelligence network may very well include both a large >>> number of generalist, undifferentiated peers and clusters of highly >>> interconnected specialized peers. If peers are neurons, I think thi

Re: Decentralized building blocks [was Re: [opencog-dev] Distributed Atomspace

gt;> >> -- >> You received this message because you are subscribed to the Google Groups >> "opencog" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to opencog+unsubscr...@googlegroups.com. >> To view this di

Re: Decentralized building blocks [was Re: [opencog-dev] Distributed Atomspace

Aug 4, 2020 at 11:51 AM Ben Goertzel wrote: >> >> Wow! > > > You're welcome. Querying from the database is now supported. The demo is in > https://github.com/opencog/atomspace-rocks/blob/master/examples/query-storage.scm > > At the moment it works, but I'm rethinki

Re: Decentralized building blocks [was Re: [opencog-dev] Distributed Atomspace

Wow! On Tue, Aug 4, 2020, 8:45 AM Linas Vepstas wrote: > > > On Thu, Jul 30, 2020 at 11:20 AM Ben Goertzel wrote: > >> >> -- send a Pattern Matcher query to BackingStore >> -- sent the Atom-chunk resulting from the query to Atomspace >> >> > So,

Re: [opencog-dev] Distributed Atomspace

> While I was writing the last message to Matt, I realized that having any DB > at all is very nearly pointless. That having a DB-backed storage is very > nearly an anti-pattern. > > The only useful function that a DB seems to provide is to be able to say "get > me this particular atom X from

Re: [opencog-dev] Distributed Atomspace

> email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/586c1c6b-fcf8-4a0f-80b6-adce343d95acn%40googlegroups.com. -- Ben Goertzel, PhD http://goertzel.org “The only people for me are the mad ones

Re: [opencog-dev] Distributed Atomspace

Matt, others, Here is a rough draft for a Distributed Atomspace requirements document, along the lines of Cassio's presentation at OpenCogCon last month https://docs.google.com/document/d/1n0xM5d3C_Va4ti9A6sgqK_RV6zXi_xFqZ2ppQ5koqco/edit# -- Ben On Wed, Jul 29, 2020 at 4:13 PM Ben Goertzel

Re: [opencog-dev] Distributed Atomspace

mspace implementation. -- Ben On Wed, Jul 29, 2020 at 4:13 PM Ben Goertzel wrote: > > >> Is there a public document somewhere describing actual, present use-cases > >> for distributed atomspace? Ideally with some useful guesses at performance > >> requirements

Re: [opencog-dev] Distributed Atomspace

>> Is there a public document somewhere describing actual, present use-cases >> for distributed atomspace? Ideally with some useful guesses at performance >> requirements, in terms of updates per second to be processed on a single >> node and across the cluster, and reasonably estimated

Re: [opencog-dev] Distributed Atomspace

gt; "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/CAHrUA37BjU2%2BaPrjFJH6LJBogsiJRuj6

Re: [opencog-dev] Distributed Atomspace

as Vepstas wrote: > > > > On Wed, Jul 29, 2020 at 11:40 AM Ben Goertzel wrote: >> >> >> have three different statuses: Local, Remote (in RAM on some other >> machine in Distributed Atomspace) or BackedUp (disk). > > > The distinctions between these

Re: [opencog-dev] Distributed Atomspace

e. >>> >>> An ideal general intelligence network may very well include both a large >>> number of generalist, undifferentiated peers and clusters of highly >>> interconnected specialized peers. If peers are neurons, I think this >>> describes the h

Re: [opencog-dev] Distributed Atomspace

On Wed, Jul 29, 2020 at 6:35 AM Abdulrahman Semrie wrote: > > > I think it's a mistake to try to think of a distributed atomspace as one > super-giant, universe-filling uniform, undifferentiated blob of storage. > > It is not clear to me why this is a mistake. It's a mistake because making a

Re: [opencog-dev] Distributed Atomspace

Linas, > So .. hypergraphs really are different than graphs, in some important ways. > The graph-algorithm people struggle to find "chunky" pieces, because they are > limited to just ... vertexes and edges. We've got something ... better. > Hypergraphs have "natural chunks". Given an atom X,

Re: [opencog-dev] Distributed Atomspace

was thinking about a server for the genomics > data, but I think he was going in a different direction. But maybe this works > for him? > > --linas > > > On Thu, Jul 23, 2020 at 10:20 PM Ben Goertzel wrote: >> >> Differently but indirectly relatedly, this caching

  1   2   3   4   >