Package org.opennars.language

Class Conjunction

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.Conjunction

All Implemented Interfaces:

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

public class Conjunction
extends CompoundTerm

Conjunction of statements 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.Term

Term.TermVisitor

Field Summary

Fields

Modifier and Type	Field	Description
boolean	isSpatial
int	temporalOrder

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

Modifier	Constructor	Description
protected	Conjunction(Term[] arg, int order, boolean normalized, boolean spatial)
protected	Conjunction(Term[] arg, int order, boolean normalized, boolean spatial, CompoundTerm.ConvRectangle rect)	Constructor with partial values, called by make

Method Summary

Modifier and Type	Method	Description
Conjunction	clone()	Clone an object
Term	clone(Term[] t)	Must be Term return type because the type of Term may change with different arguments
static Term[]	flatten(Term[] args, int order, boolean isSpatial)
boolean	getIsSpatial()
int	getTemporalOrder()
boolean	isCommutative()	Check if the compound is commutative.
static boolean	isConjunctionAndHasSameOrder(Term t, int order)
private static Term	make(Collection<Term> set, int temporalOrder, boolean spatial)
static Term	make(Term[] argList)	Try to make a new compound from a list of term.
static Term	make(Term[] argList, int temporalOrder)	Try to make a new compound from a list of term.
static Term	make(Term[] argList, int temporalOrder, boolean spatial)
static Term	make(Term prefix, Interval suffix, int temporalOrder)
static Term	make(Term prefix, Interval ival, Term suffix, int temporalOrder)
static Term	make(Term term1, Term term2)	Try to make a new compound from two term.
static Term	make(Term term1, Term term2, int temporalOrder)
static Term	make(Term term1, Term term2, int temporalOrder, boolean spatial)
protected CharSequence	makeName()	default method to make the oldName of the current term from existing fields.
Symbols.NativeOperator	operator()	Get the operator of the term.
static String	PositiveIntString(int value)
static Term[]	simplifyIntervals(Term[] components)
static Term	UpdateRelativeIndices(int minX, int minY, int minsX, int minsY, Term 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, init, 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.Term

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

Field Detail

temporalOrder

public final int temporalOrder

isSpatial

public final boolean isSpatial

Constructor Detail

Conjunction

protected Conjunction(Term[] arg,
                      int order,
                      boolean normalized,
                      boolean spatial,
                      CompoundTerm.ConvRectangle rect)

Constructor with partial values, called by make

Parameters:

arg - The component list of the term

order -

normalized -

Conjunction

protected Conjunction(Term[] arg,
                      int order,
                      boolean normalized,
                      boolean spatial)

Method Detail

clone

public Term clone(Term[] t)

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

clone

public Conjunction clone()

Clone an object

Specified by:

clone in class CompoundTerm

Returns:

A new object

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

make

public static final Term make(Term[] argList)

Try to make a new compound from a list of term. Called by StringParser.

Parameters:

argList - the list of arguments

Returns:

the Term generated from the arguments

isConjunctionAndHasSameOrder

public static boolean isConjunctionAndHasSameOrder(Term t,
                                                   int order)

flatten

public static Term[] flatten(Term[] args,
                             int order,
                             boolean isSpatial)

PositiveIntString

public static String PositiveIntString(int value)

UpdateRelativeIndices

public static Term UpdateRelativeIndices(int minX,
                                         int minY,
                                         int minsX,
                                         int minsY,
                                         Term term)

simplifyIntervals

public static Term[] simplifyIntervals(Term[] components)

Parameters:

components - The components

Returns:

The components sequence with summed intervals for transforming (&/,a,+1,+1) to (&/,a,+2)

make

public static final Term make(Term[] argList,
                              int temporalOrder)

Try to make a new compound from a list of term. Called by StringParser.

Parameters:

temporalOrder - The temporal order among term

argList - the list of arguments

Returns:

the Term generated from the arguments, or null if not possible

make

public static final Term make(Term[] argList,
                              int temporalOrder,
                              boolean spatial)

make

public static final Term make(Term prefix,
                              Interval suffix,
                              int temporalOrder)

make

public static final Term make(Term prefix,
                              Interval ival,
                              Term suffix,
                              int temporalOrder)

make

private static final Term make(Collection<Term> set,
                               int temporalOrder,
                               boolean spatial)

Parameters:

set - a set of Term as term

Returns:

the Term generated from the arguments

makeName

protected CharSequence makeName()

Description copied from class: CompoundTerm

default method to make the oldName of the current term from existing fields. needs overridden in certain subclasses

Overrides:

makeName in class CompoundTerm

Returns:

the oldName of the term

make

public static final Term make(Term term1,
                              Term term2)

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

Parameters:

term1 - The first component

term2 - The second component

Returns:

A compound generated or a term it reduced to

make

public static final Term make(Term term1,
                              Term term2,
                              int temporalOrder)

make

public static final Term make(Term term1,
                              Term term2,
                              int temporalOrder,
                              boolean spatial)

getTemporalOrder

public int getTemporalOrder()

Overrides:

getTemporalOrder in class Term

getIsSpatial

public boolean getIsSpatial()

Overrides:

getIsSpatial in class Term