|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Judgment | |
---|---|
nars.entity | Data entities that are independently stored |
nars.inference | The inference rules and control functions |
nars.main | Top-level classes of the system |
Uses of Judgment in nars.entity |
---|
Subclasses of Judgment in nars.entity | |
---|---|
class |
Goal
A Goal is an event to be realized, and may conain query variables |
Fields in nars.entity declared as Judgment | |
---|---|
protected Judgment |
Sentence.bestSolution
For Question and Goal: best solution found so far |
private Judgment |
Concept.presentBelief
Most recent and confidence judgment |
Fields in nars.entity with type parameters of type Judgment | |
---|---|
private java.util.ArrayList<Judgment> |
Concept.pastRecords
Judgments directly made about the term, with non-future tense |
private java.util.ArrayList<Judgment> |
Concept.predictions
Judgments directly made about the term, with future tense |
Methods in nars.entity that return Judgment | |
---|---|
Judgment |
Concept.getBelief(Task task)
Select a belief to interact with the given task in inference |
Judgment |
Sentence.getBestSolution()
Get the best-so-far solution for a Question or Goal |
Methods in nars.entity with parameters of type Judgment | |
---|---|
private void |
Concept.addToTable(Judgment newJudgment,
java.util.ArrayList table,
int capacity)
Add a new belief or goal into the table Sort the beliefs/goals by rank, and remove redundant or low rank one |
(package private) boolean |
Judgment.equivalentTo(Judgment that)
Check whether the judgment is equivalent to another one |
private void |
Concept.processJudgment(Judgment judg,
Task task)
To accept a new judgment as belief, and check for revisions and solutions |
private boolean |
Concept.reviseTable(Judgment newSentence,
Task task,
java.util.ArrayList table)
Revise existing beliefs or goals |
void |
Sentence.setBestSolution(Judgment judg)
Set the best-so-far solution for a Question or Goal |
private void |
Concept.tryUpdate(Judgment judg)
To temporalRevision the presentBelief |
Uses of Judgment in nars.inference |
---|
Methods in nars.inference with parameters of type Judgment | |
---|---|
(package private) static void |
SyllogisticRules.abdIndCom(Term term1,
Term term2,
Sentence taskSentence,
Judgment belief,
int figure)
{ S>, |
private static void |
RuleTables.asymmetricAsymmetric(Sentence sentence,
Judgment belief,
int figure)
Syllogistic rules whose both premises are on the same asymmetric relation |
private static boolean |
MatchingRules.betterSolution(Judgment newSol,
Judgment oldSol,
Sentence problem)
Compare the quality of two solutions |
(package private) static void |
CompositionalRules.composeCompound(Sentence taskSentence,
Judgment belief,
int index)
{ M>} |- {<(S|P) ==> M>, <(S&P) ==> M>, <(S-P) ==> M>, <(P-S) ==> M>} |
(package private) static void |
SyllogisticRules.dedExe(Term term1,
Term term2,
Sentence sentence,
Judgment belief)
{ S>} |
private static void |
MatchingRules.inferToAsym(Judgment asym,
Judgment sym,
TemporalValue order)
{ S>} |- |
private static void |
MatchingRules.inferToSym(Judgment judgment1,
Judgment judgment2)
{ S} |- |
static void |
MatchingRules.match(Task task,
Judgment belief)
The task and belief have the same content |
static float |
BudgetFunctions.rankBelief(Judgment judg)
Determine the rank of a judgment by its confidence and originality (stamp length) |
(package private) static void |
SyllogisticRules.resemblance(Term term1,
Term term2,
Judgment belief,
Sentence sentence,
int figure)
{ |
static boolean |
MatchingRules.revision(Task task,
Judgment oldBelief,
boolean feedbackToLinks)
Belief revision |
static boolean |
TemporalRules.sameTime(Judgment belief1,
Judgment belief2)
If the two beliefs have compatible temporal information |
(package private) static BudgetValue |
BudgetFunctions.solutionEval(Sentence problem,
Judgment solution,
Task task)
Evaluate the quality of a belief as a solution to a problem, then reward the belief and de-prioritize the problem |
private static void |
RuleTables.symmetricSymmetric(Judgment belief,
Sentence taskSentence,
int figure)
Syllogistic rules whose both premises are on the same symmetric relation |
static boolean |
TemporalRules.temporalRevision(Judgment newBelief,
Judgment oldBelief,
long time,
boolean feedbackToLinks)
Belief temporalRevision |
static void |
MatchingRules.trySolution(Sentence problem,
Judgment belief,
Task task)
Check if a Judgment provide a better answer to a Question |
Uses of Judgment in nars.main |
---|
Fields in nars.main declared as Judgment | |
---|---|
static Judgment |
Memory.currentBelief
Shortcut to the selected belief |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |