/**
* Belief revision
* <p>
* called from Concept.reviseTable and match
*
* @param newBelief The new belief in task
* @param oldBelief The previous belief with the same content
* @param feedbackToLinks Whether to send feedback to the links
* @param memory Reference to the memory
*/
public static bool revision(DerivationContext ctx, ClassicalSentence newBelief, ClassicalSentence oldBelief, bool feedbackToLinks)
{
if (newBelief.term == null)
{
return(false);
}
newBelief.stamp.alreadyAnticipatedNegConfirmation = oldBelief.stamp.alreadyAnticipatedNegConfirmation;
TruthValue newTruth = newBelief.truth;
TruthValue oldTruth = oldBelief.truth;
TruthValue truth = TruthFunctions.revision(newTruth, oldTruth);
ClassicalBudgetValue budget = BudgetFunctions.revise(newTruth, oldTruth, truth, feedbackToLinks, ctx);
if (budget.isAboveThreshold)
{
if (ctx.doublePremiseTaskRevised(newBelief.term, truth, budget))
{
//nal.mem().logic.BELIEF_REVISION.commit();
return(true);
}
}
return(false);
}
// TODO< rename to evaluateQualityOfBeliefAsASolutionToProblemAndReward and refactor into functions >
// https://github.com/opennars/opennars/blob/master/nars_core/nars/inference/TemporalRules.java#L537
/* ----- Functions used both in direct and indirect processing of tasks ----- */
/**
* Evaluate the quality of a belief as a solution to a problem, then reward
* the belief and de-prioritize the problem
*
* \param problem The problem (question or goal) to be solved
* \param solution The belief as solution
* \param task The task to be immediately processed, or null for continued process
* \return The budget for the new task which is the belief activated, if
* necessary
*/
public static ClassicalBudgetValue solutionEval(
ClassicalTask problem,
ClassicalSentence solution,
ClassicalTask task,
DerivationContext ctx
)
{
ClassicalBudgetValue budget = null;
bool feedbackToLinks = false;
if (task == null)
{
task = ctx.currentTask;
feedbackToLinks = true;
}
bool taskSentenceIsjudgment = task.sentence.isJudgment;
EnumRateByConfidence rateByConfidence = problem.sentence.term.hasVarQuery() ? EnumRateByConfidence.YES : EnumRateByConfidence.NO; // here its whether its a what or where question for budget adjustment
float quality = TemporalRules.solutionQuality(rateByConfidence, problem, solution, ctx.memory, ctx.compoundAndTermContext);
if (problem.sentence.isGoal)
{
ctx.memory.emotion.adjustHappy(quality, task.budget.priority, ctx);
}
if (taskSentenceIsjudgment)
{
task.budget.incPriority(quality);
}
else
{
float taskPriority = task.budget.priority; // +goal satisfication is a matter of degree - https://groups.google.com/forum/#!topic/open-nars/ZfCM416Dx1M
budget = new ClassicalBudgetValue(UtilityFunctions.or(taskPriority, quality), task.budget.durability, BudgetFunctions.truthToQuality(solution.truth));
task.budget.priority = Math.Min(1 - quality, taskPriority);
}
// TODO< implement links >
/* LINKS commented because links are not implemented
* if (feedbackToLinks) {
* TaskLink tLink = ctx.currentTaskLink;
* tLink.setPriority(Math.Min(1 - quality, tLink.getPriority()));
* TermLink bLink = ctx.currentBeliefLink;
* bLink.incPriority(quality);
* }*/
return(budget);
}