static ClassicalSentence makeJudgement(TermOrCompoundTermOrVariableReferer term, TruthValue truth)
{
ClassicalSentence result = new ClassicalSentence(EnumPunctation.JUDGMENT);
result.term = term;
result.truth = truth;
return(result);
}
// TODO< transfer all the nonsense of OpenNARS to here >
public static ClassicalSentence makeByTermPunctuationTruthStampNormalize(MakeByTermPunctuationTruthStampNormalizeParameters parameters)
{
ClassicalSentence created = new ClassicalSentence(parameters.punctation);
created.term = parameters.term;
created.truth = parameters.truth;
created.stamp = parameters.stamp;
return(created);
}
/**
* Check whether the judgment is equivalent to another one
* <p>
* The two may have different keys
*
* \param that The other judgment
* \return Whether the two are equivalent
*/
public bool checkEquivalentTo(ClassicalSentence that)
{
/*
* if (Parameters.DEBUG) {
* if ((!term.equals(term)) || (punctuation != that.punctuation)) {
* throw new RuntimeException("invalid comparison for Sentence.equivalentTo");
* }
* }*/
bool isStampEqual = Stamp.checkEquals(
stamp,
that.stamp,
Stamp.EnumCompareCreationTime.NO,
Stamp.EnumCompareOccurrenceTime.YES,
Stamp.EnumCompareEvidentialBaseTime.YES);
return(truth.checkEquals(that.truth) && isStampEqual);
}
// from https://github.com/opennars/opennars/blob/4515f1d8e191a1f097859decc65153287d5979c5/nars_core/nars/entity/Concept.java#L345
public static void addToTable(ClassicalTask task, bool rankTruthExpectation, IList <ClassicalTask> table, uint max, /*final Class eventAdd*/ object eventAdd /*final Class eventRemove, */, object eventRemove /*final Object... extraEventArguments*/)
{
int preSize = table.Count;
ClassicalTask removedT;
ClassicalSentence removed = null;
removedT = addToTable(task, table, max, rankTruthExpectation);
if (removedT != null)
{
removed = removedT.sentence;
}
/*
* if (removed != null) {
* memory.event.emit(eventRemove, this, removed, task, extraEventArguments);
* }
* if ((preSize != table.size()) || (removed != null)) {
* memory.event.emit(eventAdd, this, task, extraEventArguments);
* }
*/
}
// from https://github.com/opennars/opennars/blob/62c814fb0f3e474a176515103394049b2887ec29/nars_core/nars/entity/Concept.java#L740
/**
* Add a new belief (or goal) into the table Sort the beliefs/desires by
* rank, and remove redundant or low rank one
*
* \param newSentence The judgment to be processed
* \param table The table to be revised
* \param capacity The capacity of the table
* \return whether table was modified
*/
public static ClassicalTask addToTable(ClassicalTask newTask, IList <ClassicalTask> table, uint capacity, bool rankTruthExpectation)
{
ClassicalSentence newSentence = newTask.sentence;
float rank1 = BudgetFunctions.rankBelief(newSentence, rankTruthExpectation); // for the new isBelief
float rank2;
int i;
for (i = 0; i < table.Count; i++)
{
ClassicalSentence judgment2 = table[i].sentence;
rank2 = BudgetFunctions.rankBelief(judgment2, rankTruthExpectation);
if (rank1 >= rank2)
{
if (newSentence.checkEquivalentTo(judgment2))
{
//System.out.println(" ---------- Equivalent Belief: " + newSentence + " == " + judgment2);
return(null);
}
table.Insert(i, newTask);
break;
}
}
if (table.Count == capacity)
{
// nothing
}
else if (table.Count > capacity)
{
ClassicalTask removed = table[table.Count - 1];
table.RemoveAt(table.Count - 1);
return(removed);
}
else if (i == table.Count) // branch implies implicit table.size() < capacity
{
table.Add(newTask);
}
return(null);
}
// from https://github.com/opennars/opennars/blob/1.6.5_devel17_RetrospectiveAnticipation/nars_core/nars/entity/Concept.java
/**
* Select a belief to interact with the given task in inference
*
* get the first qualified one
*
* \param task The selected task
* \return The selected isBelief
*/
public ClassicalSentence getBelief(DerivationContext nal, ClassicalTask task)
{
Stamp taskStamp = task.sentence.stamp;
ClassicalSentence taskSentence = task.sentence;
long currentTime = memory.time;
int i = 0;
foreach (ClassicalTask iBelief in beliefs)
{
ClassicalSentence beliefSentence = iBelief.sentence;
// uncommented because event mechanism is not in place jet
//nal.emit(EnumXXX.BELIEF_SELECT, iBelief);
nal.setTheNewStamp(taskStamp, iBelief.sentence.stamp, currentTime);
// TODO< projection >
// return the first satisfying belief
// HINT HUMAN< to return the first value doesn't make much sense without looking at the classical NARS code >
return(beliefs[i].sentence);
}
return(null);
}
public bool equalsContent(ClassicalSentence s2)
{
return(TermOrCompoundTermOrVariableReferer.isSameWithId(term, s2.term));
}
/**
* Insert a TaskLink into the TaskLink bag for indirect processing
*
* /param taskLink The termLink to be inserted
*/
public bool insertTaskLink(ClassicalTaskLink taskLink, DerivationContext nal)
{
ClassicalTask target = taskLink.targetTask;
ClassicalTask ques = taskLink.targetTask;
// TODO< implement if variables are implemented >
/* commented and not translated because variables not implemented
* if((ques.sentence.isQuestion() || ques.sentence.isQuest()) && ques.getTerm().hasVarQuery()) { //ok query var, search
* boolean newAnswer = false;
*
* for(TaskLink t : this.taskLinks) {
*
* Term[] u = new Term[] { ques.getTerm(), t.getTerm() };
* if(!t.getTerm().hasVarQuery() && Variables.unify(Symbols.VAR_QUERY, u)) {
* Concept c = nal.memory.concept(t.getTerm());
* if(c != null && ques.sentence.isQuestion() && c.beliefs.size() > 0) {
* final Task taskAnswer = c.beliefs.get(0);
* if(taskAnswer!=null) {
* newAnswer |= trySolution(taskAnswer.sentence, ques, nal, false); //order important here
* }
* }
* if(c != null && ques.sentence.isQuest() && c.desires.size() > 0) {
* final Task taskAnswer = c.desires.get(0);
* if(taskAnswer!=null) {
* newAnswer |= trySolution(taskAnswer.sentence, ques, nal, false); //order important here
* }
* }
* }
* }
* if(newAnswer && ques.isInput()) {
* memory.emit(Events.Answer.class, ques, ques.getBestSolution());
* }
* }*/
// TODO< implement if variables are implemented >
/* commented and not translated because variables not implemented
* //belief side:
* Task t = taskLink.getTarget();
* if(t.sentence.isJudgment()) { //ok query var, search
* for(TaskLink quess: this.taskLinks) {
* ques = quess.getTarget();
* if((ques.sentence.isQuestion() || ques.sentence.isQuest()) && ques.getTerm().hasVarQuery()) {
* boolean newAnswer = false;
* Term[] u = new Term[] { ques.getTerm(), t.getTerm() };
* if(!t.getTerm().hasVarQuery() && Variables.unify(Symbols.VAR_QUERY, u)) {
* Concept c = nal.memory.concept(t.getTerm());
* if(c != null && ques.sentence.isQuestion() && c.beliefs.size() > 0) {
* final Task taskAnswer = c.beliefs.get(0);
* if(taskAnswer!=null) {
* newAnswer |= trySolution(taskAnswer.sentence, ques, nal, false); //order important here
* }
* }
* if(c != null && ques.sentence.isQuest() && c.desires.size() > 0) {
* final Task taskAnswer = c.desires.get(0);
* if(taskAnswer!=null) {
* newAnswer |= trySolution(taskAnswer.sentence, ques, nal, false); //order important here
* }
* }
* }
* if(newAnswer && ques.isInput()) {
* memory.emit(Events.Answer.class, ques, ques.getBestSolution());
* }
* }
* }
* }
*/
{ // handle max per concept
// if taskLinks already contain a certain amount of tasks with same content then one has to go
bool isEternal = target.sentence.stamp.isEternal;
int nSameContent = 0;
float lowest_priority = float.MaxValue;
ClassicalTaskLink lowest = null;
foreach (ClassicalTaskLink tl in taskLinks)
{
ClassicalSentence s = tl.targetTask.sentence;
if (s.term == taskLink.targetTask.sentence.term && s.stamp.isEternal == isEternal)
{
nSameContent++; // same content and occurrence-type, so count +1
if (tl.budget.priority < lowest_priority) //the current one has lower priority so save as lowest
{
lowest_priority = tl.budget.priority;
lowest = tl;
}
if (nSameContent > Parameters.TASKLINK_PER_CONTENT) // ok we reached the maximum so lets delete the lowest
{
taskLinks.takeElement(lowest);
// commented because events not implemented yet memory.emit(TaskLinkRemove.class, lowest, this);
break;
}
}
}
}
ClassicalTaskLink removed = taskLinks.putIn(taskLink);
if (removed != null)
{
if (removed == taskLink)
{
// commented because events not implemented yet memory.emit(TaskLinkRemove.class, taskLink, this);
return(false);
}
else
{
// commented because events not implemented yet memory.emit(TaskLinkRemove.class, removed, this);
}
removed.wasDiscarded();
}
// commented because events not implemented yet memory.emit(TaskLinkAdd.class, taskLink, this);
return(true);
}