Package org.opennars.language

Class Similarity

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.Statement

org.opennars.language.Similarity

All Implemented Interfaces:

Serializable, Cloneable, Comparable<AbstractTerm>, Iterable<Term>, AbstractTerm

public class Similarity
extends Statement

A Statement about a Similarity relation as defined in the NARS-theory

Author:

Pei Wang, Patrick Hammer

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.opennars.language.CompoundTerm

CompoundTerm.ConvRectangle, CompoundTerm.UnableToCloneException

Nested classes/interfaces inherited from class org.opennars.language.Statement

Statement.EnumStatementSide

Nested classes/interfaces inherited from class org.opennars.language.Term

Term.TermVisitor

Field Summary

Fields inherited from class org.opennars.language.CompoundTerm

complexity, conceptival, containedTemporalRelations, hash, term

Fields inherited from class org.opennars.language.Term

EmptyTermArray, imagination, index_variable, SELF, SEQ_SPATIAL, SEQ_TEMPORAL, term_indices

Constructor Summary

Constructors

Constructor	Description
Similarity(Term[] arg)	Constructor with partial values, called by make
Similarity(Term subj, Term pred)

Method Summary

Modifier and Type	Method	Description
Similarity	clone()	Clone an object
Similarity	clone(Term[] replaced)	Must be Term return type because the type of Term may change with different arguments
boolean	isCommutative()	Check if the compound is commutative.
static Similarity	make(Term subject, Term predicate)	Try to make a new compound from two term.
static Term	makeTerm(Term subject, Term predicate)	alternate version of make that allows equivalent subject and predicate to be reduced to the common term.
Symbols.NativeOperator	operator()	Get the operator of the term.

Methods inherited from class org.opennars.language.CompoundTerm

addComponentsRecursively, addTermsTo, applySubstitute, applySubstituteToCompound, asTermList, cloneDeep, cloneDeepVariables, cloneTerms, cloneTermsAppend, cloneTermsDeep, cloneTermsExcept, cloneTermsListDeep, cloneTermsReplacing, cloneVariableTermsDeep, compareTo, containedTemporalRelations, containsAllTermsOf, containsTerm, containsTermRecursively, countTermRecursively, equals, extractIntervals, getComplexity, getContainedTerms, hashCode, hasInterval, hasVar, hasVarDep, hasVarIndep, hasVarQuery, invalidateName, isNormalized, iterator, makeCompoundName, name, prepareComponentLinks, replaceIntervals, setComponent, setNormalized, shuffle, size, termArray, termList, transformIndependentVariableToDependent, UpdateConvRectangle

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from class org.opennars.language.Statement

getPredicate, getSubject, init, invalid, invalidPair, invalidStatement, invalidStatement, make, make, make, make, makeName, makeStatementName, makeSym, retBySide, retOppositeSide

Methods inherited from class org.opennars.language.Term

get, get, getIsSpatial, getTemporalOrder, hasVar, isConstant, isExecutable, isHigherOrderStatement, isSelf, nameInternal, recurseSubtermsContainingVariables, recurseSubtermsContainingVariables, recurseTerms, setName, subjectOrPredicateIsIndependentVar, text, toSortedSet, toSortedSetArray, toString, valid

Constructor Detail

Similarity

public Similarity(Term[] arg)

Constructor with partial values, called by make

Parameters:

arg - The component list of the term

Similarity

public Similarity(Term subj,
                  Term pred)

Method Detail

clone

public Similarity clone()

Clone an object

Specified by:

clone in class Statement

Returns:

A new object, to be casted into a Similarity

clone

public Similarity clone(Term[] replaced)

Description copied from class: CompoundTerm

Must be Term return type because the type of Term may change with different arguments

Specified by:

clone in class CompoundTerm

makeTerm

public static Term makeTerm(Term subject,
                            Term predicate)

alternate version of make that allows equivalent subject and predicate to be reduced to the common term.

make

public static Similarity make(Term subject,
                              Term predicate)

Try to make a new compound from two term. Called by the inference rules.

Parameters:

subject - The first component

predicate - The second component

Returns:

A compound generated or null

operator

public Symbols.NativeOperator operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term

isCommutative

public boolean isCommutative()

Check if the compound is commutative.

Overrides:

isCommutative in class CompoundTerm

Returns:

true for commutative