{<(S|P) ==> M>, M>} |- M>
decomposeStatement(CompoundTerm, Term, boolean) -
Static method in class nars.inference.CompositionalRules
{(||, S, P), P} |- S
{(&&, S, P), P} |- S
decPriority(float) -
Method in class nars.entity.BudgetValue
Decrease priority value by a percentage of the remaining range
decQuality(float) -
Method in class nars.entity.BudgetValue
Decrease quality value by a percentage of the remaining range
dedExe(Term, Term, Sentence, Judgment) -
Static method in class nars.inference.SyllogisticRules
{ M>, P>} |- { P>, S>}
deduction(TruthValue, TruthValue) -
Static method in class nars.inference.TruthFunctions
{ M>, P>} |- P>
DEFAULT_GOAL_DURABILITY -
Static variable in class nars.main.Parameters
Default durability of input goal
DEFAULT_GOAL_PRIORITY -
Static variable in class nars.main.Parameters
Default priority of input goal
DEFAULT_JUDGMENT_CONFIDENCE -
Static variable in class nars.main.Parameters
Default confidence of input judgment.
DEFAULT_JUDGMENT_DURABILITY -
Static variable in class nars.main.Parameters
Default durability of input judgment
DEFAULT_JUDGMENT_PRIORITY -
Static variable in class nars.main.Parameters
Default priority of input judgment
DEFAULT_QUESTION_DURABILITY -
Static variable in class nars.main.Parameters
Default durability of input question
DEFAULT_QUESTION_PRIORITY -
Static variable in class nars.main.Parameters
Default priority of input question
defaultButton -
Variable in class nars.gui.ParameterWindow
Control buttons
defaultValue -
Variable in class nars.gui.ParameterWindow
parameter values
DELIMITER -
Static variable in class nars.entity.TruthValue
The charactor that marks the two ends of a truth value
delta -
Variable in class nars.entity.TemporalValue
derivedTask(Task) -
Static method in class nars.main.Memory
Derived task comes from the inference rules.
desireDed(TruthValue, TruthValue) -
Static method in class nars.inference.TruthFunctions
A function specially designed for desire value [To be refined]
desireInd(TruthValue, TruthValue) -
Static method in class nars.inference.TruthFunctions
A function specially designed for desire value [To be refined]
desireStrong(TruthValue, TruthValue) -
Static method in class nars.inference.TruthFunctions
A function specially designed for desire value [To be refined]
desireWeak(TruthValue, TruthValue) -
Static method in class nars.inference.TruthFunctions
A function specially designed for desire value [To be refined]
detachment(Sentence, Sentence, int) -
Static method in class nars.inference.SyllogisticRules
{< S> ==> P>>, S>} |- P>
{< S> ==> P>>, P>} |- S>
detachmentWithVar(Sentence, Sentence, int) -
Static method in class nars.inference.RuleTables
The detachment rule, with variable unification
difference(TruthValue, TruthValue) -
Static method in class nars.inference.TruthFunctions
{ S>, P>} |- (S-P)>
DIFFERENCE_EXT_OPERATOR -
Static variable in class nars.io.Symbols
DIFFERENCE_INT_OPERATOR -
Static variable in class nars.io.Symbols
DifferenceExt - Class in nars.languageA compound term whose extension is the difference of the extensions of its componentsDifferenceExt(String, ArrayList<Term>) -
Constructor for class nars.language.DifferenceExt
Constructor with partial values, called by make
DifferenceExt(String, ArrayList<Term>, ArrayList<Variable>, short) -
Constructor for class nars.language.DifferenceExt
Constructor with full values, called by clone
DifferenceInt - Class in nars.languageA compound term whose extension is the difference of the intensions of its componentsDifferenceInt(String, ArrayList<Term>) -
Constructor for class nars.language.DifferenceInt
Constructor with partial values, called by make
DifferenceInt(String, ArrayList<Term>, ArrayList<Variable>, short) -
Constructor for class nars.language.DifferenceInt
Constructor with full values, called by clone
directProcess(Task) -
Method in class nars.entity.Concept
Directly process a new task.
Disjunction - Class in nars.languageA disjunction of Statements.Disjunction(String, ArrayList<Term>) -
Constructor for class nars.language.Disjunction
Constructor with partial values, called by make
Disjunction(String, ArrayList<Term>, ArrayList<Variable>, short) -
Constructor for class nars.language.Disjunction
Constructor with full values, called by clone
DISJUNCTION_OPERATOR -
Static variable in class nars.io.Symbols
DISPLAY_BACKGROUND_COLOR -
Static variable in class nars.gui.NarsFrame
Color for the background of the text components that are read-only
displayContent() -
Method in class nars.entity.Concept
Collect direct belief, questions, and goals for display
distributeAmongLinks(BudgetValue, int) -
Static method in class nars.inference.BudgetFunctions
Distribute the budget of a task among the links to it
DISTRIBUTOR -
Static variable in class nars.storage.Bag
shared distributor that produce the probability distribution
Distributor - Class in nars.storageA pseudo-random number generator, used in Bag.Distributor(int) -
Constructor for class nars.storage.Distributor
For any number N < range, there is N+1 copies of it in the array, distributed as evenly as possible
doublePremiseTask(BudgetValue, Term, TruthValue) -
Static method in class nars.main.Memory
Shared final operations by all double-premise rules, called from the rules except StructuralRules
durability -
Variable in class nars.entity.BudgetValue
The percent of priority to be kept in a constant period