Uses of Class
nars.entity.Sentence

Packages that use Sentence

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 Sentence in nars.entity

Subclasses of Sentence in nars.entity

class	Goal A Goal is an event to be realized, and may conain query variables
class	Judgment A Judgment is an piece of new knowledge to be absorbed.
class	Question A Question is a sentence without a truth value, and may conain query variables

Fields in nars.entity declared as Sentence

private Sentence

Task.sentence The sentence of the Task

Methods in nars.entity that return Sentence

Sentence	Task.getSentence() Get the sentence
static Sentence	Sentence.make(Sentence oldS, Term term, TruthValue truth, Stamp stamp, TemporalValue tense) Make a derived Sentence from a template and some initial values.
static Sentence	Sentence.make(Term term, char punc, TruthValue truth, Stamp stamp, TemporalValue tense) Make a Sentence from an input String.

Methods in nars.entity with parameters of type Sentence

static Sentence	Sentence.make(Sentence oldS, Term term, TruthValue truth, Stamp stamp, TemporalValue tense) Make a derived Sentence from a template and some initial values.
boolean	Sentence.noOverlapping(Sentence that) Check whether one sentence has stamp overlapping with another one, and change the system cash
float	Judgment.solutionQuality(Sentence problem) Evaluate the quality of the judgment as a solution to a problem

Constructors in nars.entity with parameters of type Sentence

Task(Sentence s, BudgetValue b)
Constructor

Uses of Sentence in nars.inference

Methods in nars.inference with parameters of type Sentence

(package private) static void	SyllogisticRules.abdIndCom(Term term1, Term term2, Sentence taskSentence, Judgment belief, int figure) { S>, P>} |- { P>, S>, P>}
(package private) static void	SyllogisticRules.analogy(Term term1, Term term2, Sentence asym, Sentence sym, int figure) { P>, P>} |- P>
private static void	RuleTables.asymmetricAsymmetric(Sentence sentence, Judgment belief, int figure) Syllogistic rules whose both premises are on the same asymmetric relation
private static void	RuleTables.asymmetricSymmetric(Sentence asym, Sentence sym, int figure) Syllogistic rules whose first premise is on an asymmetric relation, and the second on a symmetric 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>, 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) { M>, P>} |- { P>, S>}
(package private) static void	SyllogisticRules.detachment(Sentence mainSentence, Sentence subSentence, int s) {< S> ==> P>>, S>} |- P> {< S> ==> P>>, P>} |- S>
private static void	RuleTables.detachmentWithVar(Sentence mainSentence, Sentence subSentence, int index) The detachment rule, with variable unification
private static Statement	SyllogisticRules.introVarInd(Sentence sentence1, Sentence sentence2, int figure, boolean isImplication) { S>, P>} |- <<#x --> S> ==> <#x --> P>> { S>, P>} |- <<#x --> S> <=> <#x --> P>>
static void	MatchingRules.matchAsymSym(Sentence asym, Sentence sym, int figure) Inheritance/Implication matches Similarity/Equivalence
(package private) static void	SyllogisticRules.resemblance(Term term1, Term term2, Judgment belief, Sentence sentence, int figure) { M>, P>} |- P>
(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 void	MatchingRules.trySolution(Sentence problem, Judgment belief, Task task) Check if a Judgment provide a better answer to a Question

Uses of Sentence in nars.main

Methods in nars.main with parameters of type Sentence

static void	Memory.activatedTask(BudgetValue budget, Sentence sentence, boolean isInput) Activated task coming from MatchingRules.trySolution
static void	Memory.report(Sentence sentence, boolean input) Display input/output sentence in the MainWindow.