opencog-dev team mailing list archive

["Ben Goertzel" <ben@xxxxxxxxxxxx>]

Gama,

Here is  my cleaned-up Atom type list, with stuff that I think is obsolete
removed, and the remaining stuff categorized more sensibly.

It is possible I removed some stuff that still has a use, but I doubt it.  I
did remove a few other things beyond what I indicated in my previous email

-- Ben

*****

ATOM

NODE <- ATOM
LINK <- ATOM

// Basic Nodes

CONCEPT_NODE <- NODE
NUMBER_NODE <- NODE

// Basic Links
ORDERED_LINK <- LINK
UNORDERED_LINK <- LINK

// Basic sets
SET_LINK <- UNORDERED_LINK
SUBSET_LINK <- ORDERED_LINK
LIST_LINK <- ORDERED_LINK
MEMBER_LINK <- ORDERED_LINK

// Boolean Set operations and related ideas.
AND_LINK <- ORDERED_LINK
OR_LINK <- UNORDERED_LINK
NOT_LINK <- UNORDERED_LINK
FALSE_LINK <- ORDERED_LINK
TRUE_LINK <- ORDERED_LINK


// Variable management

VARIABLE_NODE <- NODE
VARIABLE_SCOPE_LINK <- ORDERED_LINK


// Mathematical Quantifiers

SCHOLEM_LINK <- ORDERED_LINK
FORALL_LINK <- ORDERED_LINK
EXIST_LINK <- ORDERED_LINK

// Generic association
ASSOCIATIVE_LINK <- ORDERED_LINK

// First-order logical links
INHERITANCE_LINK <- ORDERED_LINK
SIMILARITY_LINK <- UNORDERED_LINK
EXTENSIONAL_INHERITANCE_LINK <- ORDERED_LINK
EXTENSIONAL_SIMILARITY_LINK <- ORDERED_LINK
INTENSIONAL_INHERITANCE_LINK <- ORDERED_LINK
INTENSIONAL_SIMILARITY_LINK <- ORDERED_LINK

// Higher-order logical links

IMPLICATION_LINK <- ORDERED_LINK
EXTENSIONAL_IMPLICATION_LINK <- ORDERED_LINK
EXTENSIONAL_EQUIVALENCE_LINK <- ORDERED_LINK

EQUIVALENCE_LINK <- ORDERED_LINK
INTENSIONAL_IMPLICATION_LINK <- ORDERED_LINK
INTENSIONAL_EQUIVALENCE_LINK <- ORDERED_LINK


// Proceedure, schema and predicate nodes.

PROCEDURE_NODE <- NODE
GROUNDED_PROCEDURE_NODE <- PROCEDURE_NODE
GROUNDED_PREDICATE_NODE <- PREDICATE_NODE,GROUNDED_PROCEDURE_NODE
GROUNDED_SCHEMA_NODE <- SCHEMA_NODE,GROUNDED_PROCEDURE_NODE
SCHEMA_NODE <- PROCEDURE_NODE
PREDICATE_NODE <- SCHEMA_NODE
SATISFYING_SET_LINK <- ORDERED_LINK

SCHEMA_EXECUTION_LINK <- INHERITANCE_LINK
SCHEMA_EVALUATION_LINK <- SCHEMA_EXECUTION_LINK

EVALUATION_LINK <- ORDERED_LINK
EXECUTION_LINK <- ORDERED_LINK
EXECUTION_OUTPUT_LINK <- ORDERED_LINK



// Temporal Links

PREDICTIVE_IMPLICATION <- ORDERED_LINK
TAIL_PREDICTIVE_IMPLICATION <- ORDERED_LINK
SEQUENTIAL_AND_LINK <- ORDERED_LINK

SIMULTANEOUS_AND_LINK <- ORDERED_LINK
EVENTUAL_SEQUENTIAL_AND_LINK <- ORDERED_LINK "EventualSequentialAND"
EVENTUAL_PREDICTIVE_IMPLICATION_LINK <- ORDERED_LINK
"EventualSequentialImplication"


// NLP related Atoms

WORD_NODE <- NODE
REFERENCE_LINK <- ASSOCIATIVE_LINK
DOCUMENT_NODE <- CONCEPT_NODE
SENTENCE_NODE <- CONCEPT_NODE
PARSE_NODE <- CONCEPT_NODE
PARSE_LINK <- ASSOCIATIVE_LINK

LINK_GRAMMAR_RELATIONSHIP_NODE <- PREDICATE_NODE
DEFINED_LINGUISTIC_CONCEPT_NODE <- CONCEPT_NODE
DEFINED_LINGUISTIC_RELATIONSHIP_NODE <- PREDICATE_NODE
DEFINED_FRAME_NODE <- CONCEPT_NODE
DEFINED_FRAME_ELEMENT_NODE <- PREDICATE_NODE
FRAME_ELEMENT_LINK <- ORDERED_LINK

// New wordnet-import nodes, added by Linas.
// These are subject to change, pending review.
// The links should almost certainly be replaced by
// a predicate-style construction (where the relation
// is explicitly named)
WORD_SENSE_NODE <- CONCEPT_NODE
WORD_SENSE_LINK <- ASSOCIATIVE_LINK
PART_OF_SPEECH_NODE <- CONCEPT_NODE
PART_OF_SPEECH_LINK <- ORDERED_LINK
LEMMA_NODE <- CONCEPT_NODE
LEMMA_LINK <- ORDERED_LINK
HOLONYM_LINK <- INHERITANCE_LINK

// New word-sense-disambiguation nodes, added by Linas
COSENSE_LINK <- UNORDERED_LINK

// AGISim related links and nodes
AGISIM_SOUND_NODE <- NODE "AGISIMSoundNode"
AGISIM_TASTE_NODE <- NODE "AGISIMTasteNode"
AGISIM_SMELL_NODE <- NODE "AGISIMSmellNode"
AGISIM_SELF_NODE <- NODE "AGISIMSelfNode"
AGISIM_PERCEPT_NODE <- NODE "AGISIMPerceptNode"
AGISIM_VISUAL_PERCEPT_NODE <- NODE "AGIMSIMVisualPerceptNode" // note
AGISIM_PIXEL_PERCEPT_NODE <- NODE "AGISIMPixelPerceptNode"
AGISIM_POLYGON_PERCEPT_NODE <- NODE "AGISIMPolygonPerceptNode"
AGISIM_OBJECT_PERCEPT_NODE <- NODE "AGISIMObjectPerceptNode"

CW_PIXEL_PERCEPT_NODE <- NODE "CWPixelPerceptNode"
CW_COLOR_NODE <- NODE "CWColorNode"

FW_VARIABLE_NODE <- NODE "FWVariableNode"

// PB atoms

FEELING_NODE <- GROUNDED_PREDICATE_NODE
GOAL_NODE <- GROUNDED_PREDICATE_NODE
LEARNED_SCHEMA_GOAL_NODE <- GOAL_NODE
SCHEMA_GOAL_IMPLICATION_LINK <- IMPLICATION_LINK

// Second-Life specific atoms:

SL_NODE <- NODE "SLNode"
SL_OBJECT_NODE <- SL_NODE "SLObjectNode"
SL_PET_NODE <- SL_OBJECT_NODE "SLPetNode"
SL_AVATAR_NODE <- SL_OBJECT_NODE "SLAvatarNode"
SL_STRUCTURE_NODE <- SL_OBJECT_NODE "SLStructureNode"
SL_ACCESSORY_NODE <- SL_OBJECT_NODE "SLAccessoryNode"
SL_HUMANOID_NODE <- SL_OBJECT_NODE "SLHumanoidNode"

// Time-related atoms:

AT_TIME_LINK <- ORDERED_LINK
TIME_NODE <- NODE

// Space-related atoms:
SPACE_MAP_NODE <- NODE

// Attention allocation atoms:

HEBBIAN_LINK <- LINK
ASYMMETRIC_HEBBIAN_LINK <- ORDERED_LINK,HEBBIAN_LINK
SYMMETRIC_HEBBIAN_LINK <- UNORDERED_LINK,HEBBIAN_LINK
INVERSE_HEBBIAN_LINK <- ORDERED_LINK,HEBBIAN_LINK

NOTYPE

On Wed, Oct 22, 2008 at 4:25 PM, Joel Pitt <joel.pitt@xxxxxxxxx> wrote:

> From my understanding of the code, and recent work with VersionHandles
> I'd say that they are obsolete.
>
> J
>
> 2008/10/22 Ben Goertzel <ben@xxxxxxxxxxxx>:
> >
> > Gama,
> >
> > I think these may be obsoleted by VersionHandles, in the current code...
> >
> > HYPOTHETICAL_LINK <- ORDERED_LINK
> > CONTEXT_LINK <- ORDERED_LINK
> >
> > but I'm not certain ... Welter and/or Cassio should give the final
> answer...
> >
> > ben
> >
> >
> > On Wed, Oct 22, 2008 at 4:08 PM, Ben Goertzel <ben@xxxxxxxxxxxx> wrote:
> >>
> >> Hi Gama,
> >>
> >>>
> >>>
> >>> Well, it was appended to the original e-mail. In any case, here it is
> >>> again.
> >>>
> >>
> >>
> >> Oops, my bad!!
> >>
> >> I will send a reorganized list a little later today.
> >>
> >>
> >> In this email I will comment on those Atom types that I
> >> think can be removed (and thus will not be there in my reorganized
> list).
> >>
> >> I include them just in the remote chance that someone receiving
> >> this email knows what they are for...
> >>
> >> ...
> >>
> >> I have no idea what these are/were used for, but I suspect that
> >> if they are not used in the PetBrain, then they are useless now:
> >>
> >>>
> >>> SHAPE_NODE <- NODE
> >>> POINT_NODE <- NODE
> >>>
> >>
> >> I believe this is not used and can be removed
> >>
> >> PART_OF_LINK <- ORDERED_LINK
> >>
> >> (we will deal with "part-of relationships" in some more sophisticated
> >> way).
> >>
> >> I think all these are obsolete
> >>>
> >>> INSTANCE_LINK <- ORDERED_LINK
> >>> GENERIC_PROPERTY_LINK <- ORDERED_LINK
> >>> SYMBOL_LINK <- ORDERED_LINK
> >>
> >>
> >> I know these are obsolete:
> >>
> >>>
> >>> SCHEMA_INSTANCE_NODE <- NODE
> >>> PREDICATE_INSTANCE_NODE <- SCHEMA_INSTANCE_NODE
> >>>
> >>>
> >>> APPLICATION_LINK <- ORDERED_LINK
> >>
> >>
> >> This is soooooo obsolete, it's funny to see it again ... it has been
> >> obsolete since 2002 or maybe 2001 ...
> >>
> >>>
> >>>
> >>> EXTENDED_SIMPLEX_PREDICTOR_NODE <- NODE
> >>
> >>
> >> I doubt these will be needed:
> >>
> >>>
> >>> // XXXX ??? Are these used anywhere ???
> >>> DISTINGUISHED_NODE <- NODE
> >>> ENTROPY_LINK <- ORDERED_LINK
> >>>
> >>> // FREQUENCY_LINK <- INHERITANCE_LINK
> >>
> >>
> >> -- Ben
> >>
> >
> >
> >
> > --
> > Ben Goertzel, PhD
> > CEO, Novamente LLC and Biomind LLC
> > Director of Research, SIAI
> > ben@xxxxxxxxxxxx
> >
> > "A human being should be able to change a diaper, plan an invasion,
> butcher
> > a hog, conn a ship, design a building, write a sonnet, balance accounts,
> > build a wall, set a bone, comfort the dying, take orders, give orders,
> > cooperate, act alone, solve equations, analyze a new problem, pitch
> manure,
> > program a computer, cook a tasty meal, fight efficiently, die gallantly.
> > Specialization is for insects."  -- Robert Heinlein
> >
> >
> >
> > _______________________________________________
> > Novamente mailing list
> > Novamente@xxxxxxxxxxxxx
> > http://vettalabs.com/mailman/listinfo/novamente_vettalabs.com
> >
> >
>



-- 
Ben Goertzel, PhD
CEO, Novamente LLC and Biomind LLC
Director of Research, SIAI
ben@xxxxxxxxxxxx

"A human being should be able to change a diaper, plan an invasion, butcher
a hog, conn a ship, design a building, write a sonnet, balance accounts,
build a wall, set a bone, comfort the dying, take orders, give orders,
cooperate, act alone, solve equations, analyze a new problem, pitch manure,
program a computer, cook a tasty meal, fight efficiently, die gallantly.
Specialization is for insects."  -- Robert Heinlein