> If such represenation is possible then maybe it is possible to move OpenCog knowledge bases (as Scheme programs) to graph databases. I am suspicious about Neo4J, because it is commercial database, but Apache ArangoDB can be very good options, because it is open source and it known to be very scalable.
If you're going to implement the Atomspace in a graph Db, please consider JanusGraph: http://janusgraph.org/ All the Best, Matt -- Standard Disclaimer: Please interpret brevity as me valuing your time, and not as any negative intention. On Tue, Sep 19, 2017 at 10:23 AM, Alex <[email protected]> wrote: > I am back to OpenCog from my travels to the land of proof assistants > (mainly Coq and Isabelle/HOL, I decided to stick with Coq as it is far more > better documented and lambda-Pi-omega calculus is the most extensive > formalism for which one can hope, besides there are pretty extensive > formalization efforts with applications). So - I can use proof assistants > for implementation of any more or less formal reasoning process. > > Now I am in great need for the knowledge repsesentation, knowledge base > and OpenCog is very universal and promising project. > > OpenCog uses Scheme as knowledge representation language (as I understand, > then this is one from many options for interfacing with OpenCog). So - this > is natural question - *how close are valid Scheme programms to the > sentences of OpenCog knowledge? Are OpenCog knowledge encoding sentences > the real Scheme programs or real fragments of the Scheme programs?* E.g. > maybe Node definition is Scheme variable/instance declaration, maybe link > definition is Scheme data structure declaration? > > There is homoiconicity in Scheme language - Scheme code is the data and > Scheme data is the code. So - one can represent the data/declarative or > procedural knowledge with the Scheme code. > > If OpenCog sentences are more or less valid Scheme programs and if Scheme > programs are data structures, then the following question arise - *how > can we represent Scheme programs as data structures - can current > production ready graph databases (Neo4j) be used for the storing the Scheme > programs and for the querying Scheme programs and also - for executing > Scheme programs?* If such represenation is possible then maybe it is > possible to move OpenCog knowledge bases (as Scheme programs) to graph > databases. I am suspicious about Neo4J, because it is commercial database, > but Apache ArangoDB can be very good options, because it is open source and > it known to be very scalable. I am a bit suspicous whether OpenCog > infrastructure can compete with the commercial ready databases. And if > Scheme programs can be represent in current database then we can keep > OpenCog philosophy, knowledge base code, agent code and gain the > scalability of graph databases... > > If OpenCog knowledge base (AtomSpace) is the big Scheme program then we > can consider also the self-modification of this program. And even more - > Scheme language as functional programming language is connected to lambda > calculus and lambda calculi are the prime formalism for the reasearch and > implementation of the Goedel machine. So - *self modifying OpenCog > atomspace (as Scheme program) can be the Goedel machine or at least the > seed of Goedel machine or the seed of AGI?* > > *So - are there thoughts and ideas floating around along the lines that I > have described?* > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/opencog. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/opencog/1a6823b8-0479-4469-a2ac-47a36b1c2140%40googlegroups.com > <https://groups.google.com/d/msgid/opencog/1a6823b8-0479-4469-a2ac-47a36b1c2140%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAPE4pjB9nCuzDmdsJC-%3DzKDN_6A40viYOnap2ZE%2BAqSjsUPWog%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
