{ P>, S>} |- P>
Produce an Inheritance/Implication from a Similarity/Equivalence and a reversed Inheritance/Implication
inferToSym(Judgment, Judgment) -
Static method in class nars.inference.MatchingRules
{ P>, S} |- p>
Produce Similarity/Equivalence from a pair of reversed Inheritance/Implication
INFO -
Static variable in class nars.main.NARS
The information about the version and date of the project.
Inheritance - Class in nars.languageA Statement about an Inheritance relation.Inheritance(String, ArrayList<Term>) -
Constructor for class nars.language.Inheritance
Constructor with partial values, called by make
Inheritance(String, ArrayList<Term>, ArrayList<Variable>, short) -
Constructor for class nars.language.Inheritance
Constructor with full values, called by clone
INHERITANCE_RELATION -
Static variable in class nars.io.Symbols
init() -
Static method in class nars.entity.Stamp
Initialize the stamp machenism of the system, called in Center
init() -
Method in class nars.gui.InputWindow
Initialize the window
init() -
Method in class nars.gui.MainWindow
Initialize the system for a new run
init() -
Static method in class nars.io.Record
Initialize the window and the file
init() -
Static method in class nars.main.Memory
Initialize a new memory by creating all members.
init() -
Method in class nars.main.NARS
Initialize the system at the control center.
initTimer() -
Method in class nars.gui.MainWindow
Reset timer and its display
input -
Variable in class nars.entity.Sentence
Whether it is an input sentence
INPUT_LINE -
Static variable in class nars.io.Symbols
inputTask(Task) -
Static method in class nars.main.Memory
Input task processing.
inputText -
Variable in class nars.gui.InputWindow
Input area
InputWindow - Class in nars.guiInput window, accepting user tasksInputWindow() -
Constructor for class nars.gui.InputWindow
Constructor
inputWindow -
Static variable in class nars.gui.MainWindow
Input experience window
inputWindow -
Variable in class nars.io.ExperienceIO
Input experience from a window
insertTaskLink(TaskLink) -
Method in class nars.entity.Concept
Insert a TaskLink into the TaskLink bag
insertTermLink(TermLink) -
Method in class nars.entity.Concept
Insert a TermLink into the TermLink bag
Instance - Class in nars.languageA Statement about an Instance relation, which is used only in Narsese for I/O,
and translated into Inheritance for internal use.Instance() -
Constructor for class nars.language.Instance
INSTANCE_PROPERTY_RELATION -
Static variable in class nars.io.Symbols
INSTANCE_RELATION -
Static variable in class nars.io.Symbols
InstanceProperty - Class in nars.languageA Statement about an InstanceProperty relation, which is used only in Narsese for I/O,
and translated into Inheritance for internal use.InstanceProperty() -
Constructor for class nars.language.InstanceProperty
intersection(TruthValue, TruthValue) -
Static method in class nars.inference.TruthFunctions
{ S>, P>} |- (S&P)>
INTERSECTION_EXT_OPERATOR -
Static variable in class nars.io.Symbols
INTERSECTION_INT_OPERATOR -
Static variable in class nars.io.Symbols
IntersectionExt - Class in nars.languageA compound term whose extension is the intersection of the extensions of its componentsIntersectionExt(String, ArrayList<Term>) -
Constructor for class nars.language.IntersectionExt
Constructor with partial values, called by make
IntersectionExt(String, ArrayList<Term>, ArrayList<Variable>, short) -
Constructor for class nars.language.IntersectionExt
Constructor with full values, called by clone
IntersectionInt - Class in nars.languageA compound term whose intension is the intersection of the extensions of its componentsIntersectionInt(String, ArrayList<Term>) -
Constructor for class nars.language.IntersectionInt
Constructor with partial values, called by make
IntersectionInt(String, ArrayList<Term>, ArrayList<Variable>, short) -
Constructor for class nars.language.IntersectionInt
Constructor with full values, called by clone
intoBase(Type) -
Method in class nars.storage.Bag
Insert an item into the itemTable, and return the overflow
introVarDep(Statement, Statement, int) -
Static method in class nars.inference.CompositionalRules
{ S>, P>} |- (&&, <#x() --> S>, <#x() --> P>>
introVarDepInner(CompoundTerm, Term, Term) -
Static method in class nars.inference.CompositionalRules
Introduce a dependent variable in an inner-layer conjunction
introVarDepOuter(Statement, Statement, int) -
Static method in class nars.inference.CompositionalRules
Introduce a dependent variable in an outer-layer conjunction
introVarInd(Sentence, Sentence, int, boolean) -
Static method in class nars.inference.SyllogisticRules
{ S>, P>} |- <<#x --> S> ==> <#x --> P>>
{ S>, P>} |- <<#x --> S> <=> <#x --> P>>
introVarIndInner(Statement, Statement, CompoundTerm) -
Static method in class nars.inference.SyllogisticRules
{ S>, P>>} |- <(&&, <#x --> S>, C) ==> <#x --> P>>
{ S>, (&&, C, P>)} |- (&&, C, <<#x --> S> ==> <#x --> P>>)
invalid() -
Method in class nars.language.Statement
Check the validity of a potential Statement.
invalidStatement(Term, Term) -
Static method in class nars.language.Statement
Check the validity of a potential Statement.
ioText -
Variable in class nars.gui.MainWindow
Experience display area
isBuiltInOperator(String) -
Static method in class nars.language.CompoundTerm
Check built-in operator name
isCloser(String, int) -
Static method in class nars.io.StringParser
Check CompoundTerm closer symbol
isCommutative() -
Method in class nars.language.CompoundTerm
Check if the order of the components matters
isCommutative() -
Method in class nars.language.Conjunction
Check if the compound is communitative.
isCommutative() -
Method in class nars.language.Disjunction
Disjunction is communitative.
isCommutative() -
Method in class nars.language.Equivalence
Check if the compound is communitative.
isCommutative() -
Method in class nars.language.IntersectionExt
Check if the compound is communitative.
isCommutative() -
Method in class nars.language.IntersectionInt
Check if the compound is communitative.
isCommutative() -
Method in class nars.language.SetExt
Check if the compound is communitative.
isCommutative() -
Method in class nars.language.SetInt
Check if the compound is communitative.
isCommutative() -
Method in class nars.language.Similarity
Check if the compound is communitative.
isConstant() -
Method in class nars.language.CompoundTerm
check if the term contains free variable
isConstant() -
Method in class nars.language.Term
Check whether the current Term can name a Concept.
isConstant() -
Method in class nars.language.Variable
A variable is constant
isFuture() -
Method in class nars.entity.Judgment
Check if the judgment predict a future event
isInput() -
Method in class nars.entity.Sentence
Check input sentence
isJudgment() -
Method in class nars.entity.Sentence
Distinguish Judgment from Goal ("instanceof Judgment" doesn't work)
isLogging() -
Static method in class nars.io.Record
Check file logging
isOpener(String, int) -
Static method in class nars.io.StringParser
Check CompoundTerm opener symbol
isOperator(String) -
Static method in class nars.language.CompoundTerm
Check CompoundTerm operator symbol
isParallel(Term) -
Static method in class nars.language.Conjunction
Whether the Term is a parallel conjunction
isRelation(String) -
Static method in class nars.language.Statement
Check Statement relation symbol, called in StringPaser
isReporting -
Static variable in class nars.io.Record
whether to display
isSequence(Term) -
Static method in class nars.language.Conjunction
Whether the Term is a sequential conjunction
isStandAlone() -
Static method in class nars.main.NARS
Whether the project running as an application.
isStructual() -
Method in class nars.entity.Task
Check if a Task is derived by a StructuralRule
Item - Class in nars.entityAn item is an object that can be put into a Bag,
to participate in the resource competation of the system.Item() -
Constructor for class nars.entity.Item
Default constructor
Item(BudgetValue) -
Constructor for class nars.entity.Item
Constructor with initial budget
itemTable -
Variable in class nars.storage.Bag
array of lists of items, for items on different level