MindOntology:Novamente Atom
From OpenCog
Novamente Atoms come in two species: Nodes and Links. These are the basic mechanism by which knowledge is represented in the Novamente AI Engine; they are Novamente's lowest-level Knowledge Components. An individual Atom generally contains very little knowledge; some do contain meaningful knowledge on their own, but in most cases useful knowledge is contained in sets of interconnected Atoms, or Novamente Cognitive Maps formed from large numbers of Atoms.
Contents |
Atom Quantification
Each Atom comes with two packages of numbers attached to it:
Atom Types
Each Atom also has an Atom type, drawn from a vocabulary of a couple dozen types. The full vocabulary of types is proprietary but some feel for the system is given by the following list:
Node types
- Perceptual nodes, representing data from specific Sensory Modality-ies
- ConceptNodes, which are basically just nodes that exist to possess links
- NumberNodes
- PredicateNodes
- GroundedPredicateNodes, which are linked to Novamente Schemata represented as Combo programs
- Ungrounded PredicateNodes, representing abstract predicates
- SchemaNodes
- GroundedSchemaNodes, which are linked to Novamente Schemata represented as Combo programs
- Ungrounded SchemaNodes, representing abstract predicates
Link types
- Logical links (based on PLN)
- Extensional logical relationships
- First-order
- Inheritance
- Similarity (basically, a symmetrized form of inheritance)
- Higher-order
- Implication (Inheritance among expressions with variables or higher-order functions)
- Equivalence (Similarity among expressions with variables or higher-order functions)
- First-order
- Intensional logical relationships
- Intensional Inheritance (A inherits intensionally from B if the Patterns in A are also patterns in B)
- etc.
- HypotheticalLink, linking to an Atom representing knowledge that is hypothetical rather than definite
- ContextLink, linking an Atom representing a context to an Atom whose truth and importance values are to be interpreted relative to that context
- Extensional logical relationships
- Hebbian association links
- Container links
- Ordered (ListLink)
- Unordered (SetLink)
Mind Ontology Links
Supercategory: Knowledge Component
Supercategory: Concretely Implemented Novamente Structure
Associated: Knowledge Representation