hi linus, finally getting back to this knowledge representation discussion.
On Wednesday, August 30, 2017 at 7:25:07 AM UTC+8, linas wrote:
>
> Hi Mike,
>
> On Wed, Aug 16, 2017 at 7:29 PM, Michael Duncan > wrote:
>
>> thanks for the feedback, linus! i copied the form using DefineLink and
>> An
and to be fair i believe the build scripts have only been updated for
ubuntu 16.04. if you point out where it says otherwise in the poorly
updated docs i'll fix it.
On Friday, September 15, 2017 at 11:03:02 AM UTC+8, Samantha Atkins wrote:
>
> It would be really nice if the project escaped from
Hi Alex, one more note:
On Wed, Sep 20, 2017 at 1:23 AM, Alex wrote:
>
> If OpenCog knowledge base (AtomSpace) is the big Scheme program then we
> can consider also the self-modification of this program.
>
Yes. Let me try to be very clear about this: atomese is designed from the
ground-up to be
Hi Alex,
Let me top-post reply to your email; it will be simpler that way.
The part of opencog you are interested in is called "the atomspace" -- it
already is a graph database; it is implemented in C++, and scheme is one of
the languages that have an API to it. (there is also python and haskell
> 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 scal
On 09/19/2017 08:23 PM, Alex wrote:
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 Ope
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
formalizatio