/** * {<S ==> M>, <M ==> P>} |- {<S ==> P>, * * <P ==>S>} * * @param term1 Subject of the first new task * @param term2 Predicate of the first new task * @param sentence The first premise * @param belief The second premise */ static void dedExe(Term term1, Term term2, Sentence sentence, Judgment belief) { if (RDFStatement.invalidStatement(term1, term2)) { return; } TruthValue value1 = sentence.getTruth(); TruthValue value2 = belief.getTruth(); TruthValue truth1 = null; TruthValue truth2 = null; BudgetValue budget1, budget2; if (sentence instanceof Question) { budget1 = BudgetFunctions.backwardWeak(value2); budget2 = BudgetFunctions.backwardWeak(value2); } else { if (sentence instanceof Goal) { truth1 = TruthFunctions.desireWeak(value1, value2); truth2 = TruthFunctions.desireWeak(value1, value2); } else { truth1 = TruthFunctions.deduction(value1, value2); truth2 = TruthFunctions.exemplification(value1, value2); } budget1 = BudgetFunctions.forward(truth1); budget2 = BudgetFunctions.forward(truth2); } TemporalValue order1 = sentence.getContent().getOrder(); TemporalValue order2 = belief.getContent().getOrder(); TemporalValue order = TemporalRules.syllogistic(order1, order2); RDFStatement content1 = RDFStatement.make((RDFStatement) sentence.getContent(), term1, term2, order); RDFStatement content2 = RDFStatement.make( (RDFStatement) sentence.getContent(), term2, term1, TemporalValue.getReverse(order)); Memory.doublePremiseTask(budget1, content1, truth1); Memory.doublePremiseTask(budget2, content2, truth2); }