Uses of Class
org.opennars.entity.TruthValue

Packages that use TruthValue

Package	Description
org.opennars.control
org.opennars.control.concept
org.opennars.entity	Data entities that are independently stored
org.opennars.inference	The inference rules and control functions
org.opennars.io	Input/output management
org.opennars.operator
org.opennars.operator.mental
org.opennars.plugin.perception
org.opennars.storage	Storage management

Uses of TruthValue in org.opennars.control

Methods in org.opennars.control with parameters of type TruthValue

Modifier and Type	Method	Description
List<Task>	DerivationContext.doublePremiseTask(Term newContent, TruthValue newTruth, BudgetValue newBudget, boolean temporalInduction, boolean overlapAllowed)	Shared final operations by all double-premise rules, called from the rules except StructuralRules
List<Task>	DerivationContext.doublePremiseTask(Term newContent, TruthValue newTruth, BudgetValue newBudget, boolean temporalInduction, boolean overlapAllowed, boolean addToMemory)
boolean	DerivationContext.doublePremiseTaskRevised(Term newContent, TruthValue newTruth, BudgetValue newBudget, long counter)	Shared final operations by all double-premise rules, called from the rules except StructuralRules
boolean	DerivationContext.singlePremiseTask(Term newContent, char punctuation, TruthValue newTruth, BudgetValue newBudget)	Shared final operations by all single-premise rules, called in StructuralRules
boolean	DerivationContext.singlePremiseTask(Term newContent, TruthValue newTruth, BudgetValue newBudget)	Shared final operations by all single-premise rules, called in StructuralRules

Uses of TruthValue in org.opennars.control.concept

Fields in org.opennars.control.concept declared as TruthValue

Modifier and Type	Field	Description
TruthValue	ProcessGoal.ExecutablePrecondition.bestop_truth

Uses of TruthValue in org.opennars.entity

Fields in org.opennars.entity declared as TruthValue

Modifier and Type	Field	Description
TruthValue	Sentence.truth	The truth value of Judgment, or desire value of Goal

Methods in org.opennars.entity that return TruthValue

Modifier and Type	Method	Description
TruthValue	TruthValue.clone()
static TruthValue	TruthValue.fromWordTerm(Parameters narParameters, Term term)
TruthValue	Concept.getDesire()	Get the current overall desire value.
TruthValue	Sentence.getTruth()
TruthValue	TruthValue.mulConfidence(float mul)
TruthValue	Sentence.projectionTruth(long targetTime, long currentTime, Memory mem)
TruthValue	TruthValue.set(float frequency, double confidence)
TruthValue	TruthValue.setAnalytic(boolean a)
TruthValue	TruthValue.setConfidence(double c)
TruthValue	TruthValue.setFrequency(float f)

Methods in org.opennars.entity with parameters of type TruthValue

Modifier and Type	Method	Description
float	TruthValue.getExpDifAbs(TruthValue t)	Calculate the absolute difference of the expectation value and that of a given truth value

Constructors in org.opennars.entity with parameters of type TruthValue

Constructor	Description
BudgetValue(float p, float d, TruthValue qualityFromTruth, Parameters narParameters)
Sentence(T term, char punctuation, TruthValue newTruth, Stamp newStamp)
Sentence(T _content, char punctuation, TruthValue truth, Stamp stamp, boolean normalize)	Create a Sentence with the given fields
TruthValue(TruthValue v)	Constructor with a TruthValue to clone

Uses of TruthValue in org.opennars.inference

Subclasses of TruthValue in org.opennars.inference

Modifier and Type	Class	Description
static class	TruthFunctions.EternalizedTruthValue	Indicates the result of eternalization Implements the same functionality like TruthValue

Methods in org.opennars.inference that return TruthValue

Modifier and Type	Method	Description
static TruthValue	TruthFunctions.abduction(TruthValue v1, float reliance, Parameters narParameters)	{M, <P ==> M>} |- P
static TruthValue	TruthFunctions.abduction(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S ==> M>, <P ==> M>} |- <S ==> P>
static TruthValue	TruthFunctions.analogy(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S ==> M>, <M <=> P>} |- <S ==> P>
static TruthValue	TruthFunctions.anonymousAnalogy(TruthValue v1, TruthValue v2, Parameters narParameters)	{(&&, <#x() ==> M>, <#x() ==> P>), S ==> M} |- <S ==> P>
static TruthValue	TruthFunctions.comparison(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M ==> S>, <M ==> P>} |- <S <=> P>
static TruthValue	TruthFunctions.contraposition(TruthValue v1, Parameters narParameters)	{<A ==> B>} |- <(--, B) ==> (--, A)>
static TruthValue	TruthFunctions.conversion(TruthValue v1, Parameters narParameters)	{<A ==> B>} |- <B ==> A>
static TruthValue	TruthFunctions.deduction(TruthValue v1, float reliance, Parameters narParameters)	{M, <M ==> P>} |- P
static TruthValue	TruthFunctions.deduction(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S ==> M>, <M ==> P>} |- <S ==> P>
static TruthValue	TruthFunctions.desireDed(TruthValue v1, TruthValue v2, Parameters narParameters)	A function specially designed for desire value [To be refined]
static TruthValue	TruthFunctions.desireInd(TruthValue v1, TruthValue v2, Parameters narParameters)	A function specially designed for desire value [To be refined]
static TruthValue	TruthFunctions.desireStrong(TruthValue v1, TruthValue v2, Parameters narParameters)	A function specially designed for desire value [To be refined]
static TruthValue	TruthFunctions.desireWeak(TruthValue v1, TruthValue v2, Parameters narParameters)	A function specially designed for desire value [To be refined]
static TruthValue	TruthFunctions.exemplification(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M ==> S>, <P ==> M>} |- <S ==> P>
static TruthValue	TruthFunctions.induction(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M ==> S>, <M ==> P>} |- <S ==> P>
static TruthValue	TruthFunctions.intersection(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M --> S>, <M <-> P>} |- <M --> (S&P)>
static TruthValue	TruthFunctions.lookupTruthFunctionAndCompute(TruthFunctions.EnumType type, TruthValue a, TruthValue b, Parameters narParameters)	lookup the truth function and compute the value
static TruthValue	TruthFunctions.lookupTruthFunctionByBoolAndCompute(boolean flag, TruthFunctions.EnumType typeTrue, TruthFunctions.EnumType typeFalse, TruthValue a, TruthValue b, Parameters narParameters)	lookup the truth function and compute the value - for two truth functions which are decided by flag
static TruthValue	TruthFunctions.lookupTruthOrNull(TruthValue a, TruthValue b, Parameters narParameters, Object... values)	lookup the truth function by the first boolean which is true or return null if no boolean is true
static TruthValue	TruthFunctions.negation(TruthValue v1, Parameters narParameters)	{A} |- (--A)
static TruthValue	TruthFunctions.reduceConjunction(TruthValue v1, TruthValue v2, Parameters narParameters)	{(--, (&&, A, B)), B} |- (--, A)
static TruthValue	TruthFunctions.reduceConjunctionNeg(TruthValue v1, TruthValue v2, Parameters narParameters)	{(--, (&&, A, (--, B))), (--, B)} |- (--, A)
static TruthValue	TruthFunctions.reduceDisjunction(TruthValue v1, TruthValue v2, Parameters narParameters)	{(||, A, B), (--, B)} |- A
static TruthValue	TruthFunctions.resemblance(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S <=> M>, <M <=> P>} |- <S <=> P>
private static TruthValue	TruthFunctions.revision(TruthValue v1, TruthValue v2, TruthValue result, Parameters narParameters)
static TruthValue	TruthFunctions.revision(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S ==> P>, <S ==> P>} |- <S ==> P>
static TruthValue	TruthFunctions.union(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M --> S>, <M > P>} |- <M --> (S|P)>

Methods in org.opennars.inference with parameters of type TruthValue

Modifier and Type	Method	Description
static TruthValue	TruthFunctions.abduction(TruthValue v1, float reliance, Parameters narParameters)	{M, <P ==> M>} |- P
static TruthValue	TruthFunctions.abduction(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S ==> M>, <P ==> M>} |- <S ==> P>
static TruthValue	TruthFunctions.analogy(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S ==> M>, <M <=> P>} |- <S ==> P>
static TruthValue	TruthFunctions.anonymousAnalogy(TruthValue v1, TruthValue v2, Parameters narParameters)	{(&&, <#x() ==> M>, <#x() ==> P>), S ==> M} |- <S ==> P>
private static void	TemporalRules.appendConclusion(DerivationContext nal, TruthValue truth1, BudgetValue budget1, Statement statement1, List<Task> success)
static BudgetValue	BudgetFunctions.backward(TruthValue truth, DerivationContext nal)	Backward inference result and adjustment, stronger case
static BudgetValue	BudgetFunctions.backwardWeak(TruthValue truth, DerivationContext nal)	Backward inference result and adjustment, weaker case
static TruthValue	TruthFunctions.comparison(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M ==> S>, <M ==> P>} |- <S <=> P>
static BudgetValue	BudgetFunctions.compoundForward(TruthValue truth, Term content, DerivationContext nal)	Forward inference with CompoundTerm conclusion
static TruthValue	TruthFunctions.contraposition(TruthValue v1, Parameters narParameters)	{<A ==> B>} |- <(--, B) ==> (--, A)>
static TruthValue	TruthFunctions.conversion(TruthValue v1, Parameters narParameters)	{<A ==> B>} |- <B ==> A>
private static void	LocalRules.convertedJudgment(TruthValue newTruth, BudgetValue newBudget, DerivationContext nal)	Convert judgment into different relation
static TruthValue	TruthFunctions.deduction(TruthValue v1, float reliance, Parameters narParameters)	{M, <M ==> P>} |- P
static TruthValue	TruthFunctions.deduction(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S ==> M>, <M ==> P>} |- <S ==> P>
private static void	StructuralRules.deriveSequenceTask(DerivationContext nal, Conjunction parentConj, Term[] total, TruthValue truth)	Derives a sequence task, inheriting properties from parentConj
static TruthValue	TruthFunctions.desireDed(TruthValue v1, TruthValue v2, Parameters narParameters)	A function specially designed for desire value [To be refined]
static TruthValue	TruthFunctions.desireInd(TruthValue v1, TruthValue v2, Parameters narParameters)	A function specially designed for desire value [To be refined]
static TruthValue	TruthFunctions.desireStrong(TruthValue v1, TruthValue v2, Parameters narParameters)	A function specially designed for desire value [To be refined]
static TruthValue	TruthFunctions.desireWeak(TruthValue v1, TruthValue v2, Parameters narParameters)	A function specially designed for desire value [To be refined]
static TruthFunctions.EternalizedTruthValue	TruthFunctions.eternalize(TruthValue v1, Parameters narParameters)	From one moment to eternal
static TruthValue	TruthFunctions.exemplification(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M ==> S>, <P ==> M>} |- <S ==> P>
static BudgetValue	BudgetFunctions.forward(TruthValue truth, DerivationContext nal)	Forward inference result and adjustment
static TruthValue	TruthFunctions.induction(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M ==> S>, <M ==> P>} |- <S ==> P>
static TruthValue	TruthFunctions.intersection(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M --> S>, <M <-> P>} |- <M --> (S&P)>
static boolean	LocalRules.intervalProjection(DerivationContext nal, Term newBeliefTerm, Term oldBeliefTerm, List<Float> recent_ivals, TruthValue newTruth)	Interval projection Decides to use whether to use old or new term dependent on which one is more usual, also discounting the truth confidence according to the interval difference.
static TruthValue	TruthFunctions.lookupTruthFunctionAndCompute(TruthFunctions.EnumType type, TruthValue a, TruthValue b, Parameters narParameters)	lookup the truth function and compute the value
static TruthValue	TruthFunctions.lookupTruthFunctionByBoolAndCompute(boolean flag, TruthFunctions.EnumType typeTrue, TruthFunctions.EnumType typeFalse, TruthValue a, TruthValue b, Parameters narParameters)	lookup the truth function and compute the value - for two truth functions which are decided by flag
static TruthValue	TruthFunctions.lookupTruthOrNull(TruthValue a, TruthValue b, Parameters narParameters, Object... values)	lookup the truth function by the first boolean which is true or return null if no boolean is true
static TruthValue	TruthFunctions.negation(TruthValue v1, Parameters narParameters)	{A} |- (--A)
private static void	CompositionalRules.processComposed(Statement statement, Term subject, Term predicate, int order, TruthValue truth, DerivationContext nal)	Finish composing implication term
static TruthValue	TruthFunctions.reduceConjunction(TruthValue v1, TruthValue v2, Parameters narParameters)	{(--, (&&, A, B)), B} |- (--, A)
static TruthValue	TruthFunctions.reduceConjunctionNeg(TruthValue v1, TruthValue v2, Parameters narParameters)	{(--, (&&, A, (--, B))), (--, B)} |- (--, A)
static TruthValue	TruthFunctions.reduceDisjunction(TruthValue v1, TruthValue v2, Parameters narParameters)	{(||, A, B), (--, B)} |- A
static TruthValue	TruthFunctions.resemblance(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S <=> M>, <M <=> P>} |- <S <=> P>
(package private) static BudgetValue	BudgetFunctions.revise(TruthValue tTruth, TruthValue bTruth, TruthValue truth, boolean feedbackToLinks, DerivationContext nal)	Evaluate the quality of a revision, then de-prioritize the premises
private static TruthValue	TruthFunctions.revision(TruthValue v1, TruthValue v2, TruthValue result, Parameters narParameters)
static TruthValue	TruthFunctions.revision(TruthValue v1, TruthValue v2, Parameters narParameters)	{<S ==> P>, <S ==> P>} |- <S ==> P>
private static void	StructuralRules.structuralStatement(Term subject, Term predicate, int order, TruthValue truth, DerivationContext nal)	Common final operations of the above two methods
static float	BudgetFunctions.truthToQuality(TruthValue t)	Determine the quality of a judgment by its truth value alone
static TruthValue	TruthFunctions.union(TruthValue v1, TruthValue v2, Parameters narParameters)	{<M --> S>, <M > P>} |- <M --> (S|P)>
static BudgetValue	BudgetFunctions.update(Task task, TruthValue bTruth, Parameters narParameters)	Update a belief

Uses of TruthValue in org.opennars.io

Methods in org.opennars.io that return TruthValue

Modifier and Type	Method	Description
private TruthValue	Narsese.parseTruth(String s, char type)	react the addInput String into a TruthValue (or DesireValue)

Methods in org.opennars.io with parameters of type TruthValue

Modifier and Type	Method	Description
private BudgetValue	Narsese.parseBudget(String s, char punctuation, TruthValue truth)	react the addInput String into a BudgetValue

Uses of TruthValue in org.opennars.operator

Methods in org.opennars.operator that return TruthValue

Modifier and Type	Method	Description
TruthValue	ImaginationSpace.AbductionOrComparisonTo(ImaginationSpace obj, boolean comparison)

Uses of TruthValue in org.opennars.operator.mental

Fields in org.opennars.operator.mental declared as TruthValue

Modifier and Type	Field	Description
private TruthValue	Anticipate.expiredTruth

Uses of TruthValue in org.opennars.plugin.perception

Methods in org.opennars.plugin.perception that return TruthValue

Modifier and Type	Method	Description
TruthValue	VisualSpace.AbductionOrComparisonTo(ImaginationSpace obj, boolean comparison)

Uses of TruthValue in org.opennars.storage

Methods in org.opennars.storage with parameters of type TruthValue

Modifier and Type	Method	Description
void	Memory.executedTask(Timable time, Operation operation, TruthValue truth)	ExecutedTask called in Operator.call