Package | Description |
---|---|
org.opennars.inference |
The inference rules and control functions
|
org.opennars.language |
Term hierarchy in Narsese
Open-NARS implements the following formal language, Narsese.
|
org.opennars.operator |
Modifier and Type | Method | Description |
---|---|---|
(package private) static void |
StructuralRules.transformProductImage(Inheritance inh,
CompoundTerm oldContent,
short[] indices,
DerivationContext nal) |
Equivalent transformation between products and images
{<(*, S, M) --> P>, S@(*, S, M)} |- <S --> (/, P, _, M)>
{<S --> (/, P, _, M)>, P@(/, P, _, M)} |- <(*, S, M) --> P> {<S --> (/, P, _, M)>, M@(/, P, _, M)} |- <M --> (/, P, S, _)> |
Modifier and Type | Method | Description |
---|---|---|
Inheritance |
Inheritance.clone() |
Clone an object
|
Inheritance |
Inheritance.clone(Term[] t) |
|
static Inheritance |
Inheritance.make(Term subject,
Term predicate) |
Try to make a new compound from two term.
|
static Inheritance |
Instance.make(Term subject,
Term predicate) |
Try to make a new compound from two components.
|
static Inheritance |
InstanceProperty.make(Term subject,
Term predicate) |
Try to make a new compound from two components.
|
static Inheritance |
Property.make(Term subject,
Term predicate) |
Try to make a new compound from two components.
|
Modifier and Type | Class | Description |
---|---|---|
class |
Operation |
An operation is interpreted as an Inheritance relation.
|
Copyright © 2020 OpenNARS. All rights reserved.