Benjamin Goertzel wrote this post on the OpenCog list.
OpenCog, initially at least, will utilize Novamente’s Atom type system.In this system, Node types are used for broad categories like
– concept
– predicate
– executable function
– number
– character
– word
Link types include
– Logical relationships such as
—- inheritance
—- extensional inheritance
—- intensional inheritance
—- membership
– Predicate evaluation
– Function execution
In this sort of framework, a relationship like
“cat isa mammal”
would be represented as a link of the form
ExtensionalInheritanceLink(ConceptNode: cat, conceptNode: mammal)
That is all nice, but since the majority of nodes in an OpenCog
knowledge base, created via learning, won’t be associated with any
English word/concept, viewing these sorts of relationships won’t be of
much human interest in most cases…
Anyway, the hierarchy in which “cat isa mammal isa animal” is not part
of the Atom type hierarchy per se, but it’s a part of the graph of
relationships in the AtomTable…
Continue Reading »