From 0f27f12dfce63e4fb1d05fdc90d019ca6e57b735 Mon Sep 17 00:00:00 2001 From: Patrick Hammer <patham9@gmail.com> Date: Thu, 29 Mar 2018 16:45:18 -0400 Subject: [PATCH] Full termlink-based negation rule for Inheritance and Similarity. --- nars_core/nars/control/ConceptProcessing.java | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/nars_core/nars/control/ConceptProcessing.java b/nars_core/nars/control/ConceptProcessing.java index a7de009550..624f4d8fc0 100644 --- a/nars_core/nars/control/ConceptProcessing.java +++ b/nars_core/nars/control/ConceptProcessing.java @@ -516,14 +516,13 @@ public class ConceptProcessing { //derivation was successful and it was a judgment event try { //that was predicted by an eternal belief that shifted time - float immediateDisappointmentConfidence = 0.33f; //same as induction + eternalization if input confs Stamp stamp = new Stamp(nal.memory); stamp.setOccurrenceTime(Stamp.ETERNAL); //long serial = stamp.evidentialBase[0]; Sentence s = new Sentence( mainSentence.term, mainSentence.punctuation, - new TruthValue(0.0f, immediateDisappointmentConfidence), + new TruthValue(0.0f, 0.0f), stamp); //s.producedByTemporalInduction = true; //also here to not go into sequence buffer @@ -621,10 +620,11 @@ public class ConceptProcessing { return; } - concept.memory.inputTask(concept.negConfirmation, false); //disappointed - //if(this.negConfirmationPriority >= 2) { - // System.out.println(this.negConfirmation.sentence.term); - //} + Term T = ((Statement)concept.negConfirmation.getTerm()).getPredicate(); + Sentence s2 = new Sentence(T, Symbols.JUDGMENT_MARK, new TruthValue(0.0f,Parameters.DEFAULT_JUDGMENT_CONFIDENCE), + new Stamp(concept.memory)); + Task negated = new Task(s2,concept.negConfirmation.getBudget().clone(),true); + concept.memory.inputTask(negated, false); //disappointed concept.memory.emit(OutputHandler.DISAPPOINT.class,((Statement) concept.negConfirmation.sentence.term).getPredicate()); concept.negConfirmation = null; } -- GitLab