Package org.opennars.inference

Class LocalRules

java.lang.Object

org.opennars.inference.LocalRules

public class LocalRules
extends Object

Directly process a task by a oldBelief, with only two Terms in both. In matching, the new task is compared with an existing direct Task in that Concept, to carry out:

revision: between judgments or goals on non-overlapping evidence;
satisfy: between a Sentence and a Question/Goal;
merge: between items of the same type and stamp;
conversion: between different inheritance relations.

Author:

Pei Wang, Patrick Hammer

Constructor Summary

Constructors

Constructor	Description
LocalRules()

Method Summary

Modifier and Type	Method	Description
private static void	conversion(DerivationContext nal)	Produce an Inheritance/Implication from a reversed Inheritance/Implication {<P --> S>} |- <S --> P>
private static void	convertedJudgment(TruthValue newTruth, BudgetValue newBudget, DerivationContext nal)	Convert judgment into different relation
private static void	convertRelation(DerivationContext nal)	Switch between Inheritance/Implication and Similarity/Equivalence {<S --> P>} |- <S <-> P> {<S <-> P>} |- <S --> P>
private static void	inferToAsym(Sentence asym, Sentence sym, DerivationContext nal)	Produce an Inheritance/Implication from a Similarity/Equivalence and a reversed Inheritance/Implication {<S <-> P>, <P --> S>} |- <S --> P>
private static void	inferToSym(Sentence judgment1, Sentence judgment2, DerivationContext nal)	Produce Similarity/Equivalence from a pair of reversed Inheritance/Implication {<S --> P>, <P --> S} |- <S <-> p>
static boolean	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 boolean	match(Task task, Sentence belief, Concept beliefConcept, DerivationContext nal)	The task and belief have the same content
static void	matchAsymSym(Sentence asym, Sentence sym, int figure, DerivationContext nal)	Inheritance/Implication matches Similarity/Equivalence
static void	matchReverse(DerivationContext nal)	The task and belief match reversely
static boolean	revisible(Sentence s1, Sentence s2, Parameters narParameters)	Check whether two sentences can be used in revision
static boolean	revision(Sentence newBelief, Sentence oldBelief, Concept beliefConcept, boolean feedbackToLinks, DerivationContext nal)	Belief revision Summarizes the evidence of two beliefs with same content.
static BudgetValue	solutionEval(Task problem, Sentence solution, Task task, DerivationContext nal)	Evaluate the quality of a belief as a solution to a problem, then reward the belief and de-prioritize the problem
static float	solutionQuality(boolean rateByConfidence, Task probT, Sentence solution, Memory memory, Timable time)	Evaluate the quality of the judgment as a solution to a problem
static boolean	trySolution(Sentence belief, Task task, DerivationContext nal, boolean report)	Check if a Sentence provide a better answer to a Question or Goal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LocalRules

public LocalRules()

Method Detail

match

public static boolean match(Task task,
                            Sentence belief,
                            Concept beliefConcept,
                            DerivationContext nal)

The task and belief have the same content

Parameters:

task - The task

belief - The belief

revisible

public static boolean revisible(Sentence s1,
                                Sentence s2,
                                Parameters narParameters)

Check whether two sentences can be used in revision

Parameters:

s1 - The first sentence

s2 - The second sentence

Returns:

If revision is possible between the two sentences

revision

public static boolean revision(Sentence newBelief,
                               Sentence oldBelief,
                               Concept beliefConcept,
                               boolean feedbackToLinks,
                               DerivationContext nal)

Belief revision Summarizes the evidence of two beliefs with same content. called from processGoal and processJudgment and LocalRules.match

Parameters:

newBelief - The new belief in task

oldBelief - The previous belief with the same content

feedbackToLinks - Whether to send feedback to the links

intervalProjection

public static boolean 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. called by Revision

Parameters:

nal -

newBeliefTerm -

oldBeliefTerm -

recent_ivals - recent intervals

newTruth -

Returns:

trySolution

public static boolean trySolution(Sentence belief,
                                  Task task,
                                  DerivationContext nal,
                                  boolean report)

Check if a Sentence provide a better answer to a Question or Goal

Parameters:

belief - The proposed answer

task - The task to be processed

solutionQuality

public static float solutionQuality(boolean rateByConfidence,
                                    Task probT,
                                    Sentence solution,
                                    Memory memory,
                                    Timable time)

Evaluate the quality of the judgment as a solution to a problem

Parameters:

probT - A goal or question

solution - The solution to be evaluated

Returns:

The quality of the judgment as the solution

solutionEval

public static BudgetValue solutionEval(Task problem,
                                       Sentence solution,
                                       Task task,
                                       DerivationContext nal)

Evaluate the quality of a belief as a solution to a problem, then reward the belief and de-prioritize the problem

Parameters:

problem - The problem (question or goal) to be solved

solution - The belief as solution

task - The task to be immediately processed, or null for continued process

Returns:

The budget for the new task which is the belief activated, if necessary

matchReverse

public static void matchReverse(DerivationContext nal)

The task and belief match reversely

Parameters:

nal - Reference to the memory

matchAsymSym

public static void matchAsymSym(Sentence asym,
                                Sentence sym,
                                int figure,
                                DerivationContext nal)

Inheritance/Implication matches Similarity/Equivalence

Parameters:

asym - A Inheritance/Implication sentence

sym - A Similarity/Equivalence sentence

figure - location of the shared term

nal - Reference to the memory

inferToSym

private static void inferToSym(Sentence judgment1,
                               Sentence judgment2,
                               DerivationContext nal)

Produce Similarity/Equivalence from a pair of reversed Inheritance/Implication
{<S --> P>, <P --> S} |- <S <-> p>

Parameters:

judgment1 - The first premise

judgment2 - The second premise

nal - Reference to the memory

inferToAsym

private static void inferToAsym(Sentence asym,
                                Sentence sym,
                                DerivationContext nal)

Produce an Inheritance/Implication from a Similarity/Equivalence and a reversed Inheritance/Implication
{<S <-> P>, <P --> S>} |- <S --> P>

Parameters:

asym - The asymmetric premise

sym - The symmetric premise

nal - Reference to the memory

conversion

private static void conversion(DerivationContext nal)

Produce an Inheritance/Implication from a reversed Inheritance/Implication
{<P --> S>} |- <S --> P>

Parameters:

nal - Reference to the memory

convertRelation

private static void convertRelation(DerivationContext nal)

Switch between Inheritance/Implication and Similarity/Equivalence
{<S --> P>} |- <S <-> P> {<S <-> P>} |- <S --> P>

Parameters:

nal - Reference to the memory

convertedJudgment

private static void convertedJudgment(TruthValue newTruth,
                                      BudgetValue newBudget,
                                      DerivationContext nal)

Convert judgment into different relation

called in MatchingRules

Parameters:

newBudget - The budget value of the new task

newTruth - The truth value of the new task

nal - Reference to the memory