Package | Description |
---|---|
org.opennars.control | |
org.opennars.control.concept | |
org.opennars.entity |
Data entities that are independently stored
|
org.opennars.inference |
The inference rules and control functions
|
org.opennars.io |
Input/output management
|
org.opennars.main | |
org.opennars.storage |
Storage management
|
Modifier and Type | Field | Description |
---|---|---|
Parameters |
DerivationContext.narParameters |
Modifier and Type | Method | Description |
---|---|---|
static void |
GeneralInferenceControl.selectConceptForInference(Memory mem,
Parameters narParameters,
Nar nar) |
Constructor | Description |
---|---|
DerivationContext(Memory mem,
Parameters narParameters,
Timable time) |
Modifier and Type | Method | Description |
---|---|---|
static void |
ProcessAnticipation.maintainDisappointedAnticipations(Parameters narParameters,
Concept concept,
Nar nar) |
Process outdated anticipations within the concept,
these which are outdated generate negative feedback
|
Modifier and Type | Field | Description |
---|---|---|
private Parameters |
BudgetValue.narParameters |
|
private Parameters |
TruthValue.narParameters |
Modifier and Type | Method | Description |
---|---|---|
void |
Concept.buildTermLinks(BudgetValue taskBudget,
Parameters narParameters) |
Recursively build TermLinks between a compound and its components
|
void |
Sentence.discountConfidence(Parameters narParameters) |
discounts the truth value of the sentence
|
static TruthValue |
TruthValue.fromWordTerm(Parameters narParameters,
Term term) |
|
boolean |
TaskLink.novel(TermLink termLink,
long currentTime,
Parameters narParameters) |
To check whether a TaskLink should use a TermLink, return false if they
interacted recently
|
boolean |
TaskLink.novel(TermLink termLink,
long currentTime,
Parameters narParameters,
boolean transformTask) |
|
TermLink |
Concept.selectTermLink(TaskLink taskLink,
long time,
Parameters narParameters) |
Replace default to prevent repeated inference, by checking TaskLink
|
Constructor | Description |
---|---|
BudgetValue(float p,
float d,
float q,
Parameters narParameters) |
Constructor with initialization
|
BudgetValue(float p,
float d,
TruthValue qualityFromTruth,
Parameters narParameters) |
|
Stamp(Stamp first,
Stamp second,
long time,
Parameters narParameters) |
Generate a new stamp for derived sentence by merging the two from parents
the first one is no shorter than the second
|
TruthValue(float f,
double c,
boolean isAnalytic,
Parameters narParameters) |
Constructor
|
TruthValue(float f,
double c,
Parameters narParameters) |
Constructor
|
TruthValue(Parameters narParameters) |
Modifier and Type | Method | Description |
---|---|---|
static TruthValue |
TruthFunctions.abduction(TruthValue v1,
float reliance,
Parameters narParameters) |
{M, <P ==> M>} |- P
|
static TruthValue |
TruthFunctions.abduction(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<S ==> M>, <P ==> M>} |- <S ==> P>
|
static TruthValue |
TruthFunctions.analogy(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<S ==> M>, <M <=> P>} |- <S ==> P>
|
static TruthValue |
TruthFunctions.anonymousAnalogy(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{(&&, <#x() ==> M>, <#x() ==> P>), S ==> M} |- <S ==> P>
|
static double |
UtilityFunctions.c2w(double c,
Parameters narParameters) |
A function to convert confidence to weight
|
static TruthValue |
TruthFunctions.comparison(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<M ==> S>, <M ==> P>} |- <S <=> P>
|
static TruthValue |
TruthFunctions.contraposition(TruthValue v1,
Parameters narParameters) |
{<A ==> B>} |- <(--, B) ==> (--, A)>
|
static TruthValue |
TruthFunctions.conversion(TruthValue v1,
Parameters narParameters) |
{<A ==> B>} |- <B ==> A>
|
static TruthValue |
TruthFunctions.deduction(TruthValue v1,
float reliance,
Parameters narParameters) |
{M, <M ==> P>} |- P
|
static TruthValue |
TruthFunctions.deduction(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<S ==> M>, <M ==> P>} |- <S ==> P>
|
static TruthValue |
TruthFunctions.desireDed(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
A function specially designed for desire value [To be refined]
|
static TruthValue |
TruthFunctions.desireInd(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
A function specially designed for desire value [To be refined]
|
static TruthValue |
TruthFunctions.desireStrong(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
A function specially designed for desire value [To be refined]
|
static TruthValue |
TruthFunctions.desireWeak(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
A function specially designed for desire value [To be refined]
|
static BudgetValue |
BudgetFunctions.distributeAmongLinks(BudgetValue b,
int n,
Parameters narParameters) |
Distribute the budget of a task among the links to it
|
static TruthFunctions.EternalizedTruthValue |
TruthFunctions.eternalize(TruthValue v1,
Parameters narParameters) |
From one moment to eternal
|
static TruthValue |
TruthFunctions.exemplification(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<M ==> S>, <P ==> M>} |- <S ==> P>
|
static TruthValue |
TruthFunctions.induction(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<M ==> S>, <M ==> P>} |- <S ==> P>
|
static TruthValue |
TruthFunctions.intersection(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<M --> S>, <M <-> P>} |- <M --> (S&P)>
|
static TruthValue |
TruthFunctions.lookupTruthFunctionAndCompute(TruthFunctions.EnumType type,
TruthValue a,
TruthValue b,
Parameters narParameters) |
lookup the truth function and compute the value
|
static TruthValue |
TruthFunctions.lookupTruthFunctionByBoolAndCompute(boolean flag,
TruthFunctions.EnumType typeTrue,
TruthFunctions.EnumType typeFalse,
TruthValue a,
TruthValue b,
Parameters narParameters) |
lookup the truth function and compute the value - for two truth functions which are decided by flag
|
static TruthValue |
TruthFunctions.lookupTruthOrNull(TruthValue a,
TruthValue b,
Parameters narParameters,
Object... values) |
lookup the truth function by the first boolean which is true or return null if no boolean is true
|
static TruthValue |
TruthFunctions.negation(TruthValue v1,
Parameters narParameters) |
{A} |- (--A)
|
static TruthValue |
TruthFunctions.reduceConjunction(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{(--, (&&, A, B)), B} |- (--, A)
|
static TruthValue |
TruthFunctions.reduceConjunctionNeg(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{(--, (&&, A, (--, B))), (--, B)} |- (--, A)
|
static TruthValue |
TruthFunctions.reduceDisjunction(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{(||, A, B), (--, B)} |- A
|
static TruthValue |
TruthFunctions.resemblance(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<S <=> M>, <M <=> P>} |- <S <=> P>
|
static boolean |
LocalRules.revisible(Sentence s1,
Sentence s2,
Parameters narParameters) |
Check whether two sentences can be used in revision
|
private static TruthValue |
TruthFunctions.revision(TruthValue v1,
TruthValue v2,
TruthValue result,
Parameters narParameters) |
|
static TruthValue |
TruthFunctions.revision(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<S ==> P>, <S ==> P>} |- <S ==> P>
|
static float |
TruthFunctions.temporalProjection(long sourceTime,
long targetTime,
long currentTime,
Parameters param) |
|
static TruthValue |
TruthFunctions.union(TruthValue v1,
TruthValue v2,
Parameters narParameters) |
{<M --> S>, <M > P>} |- <M --> (S|P)>
|
static BudgetValue |
BudgetFunctions.update(Task task,
TruthValue bTruth,
Parameters narParameters) |
Update a belief
|
static double |
UtilityFunctions.w2c(double w,
Parameters narParameters) |
A function to convert weight to confidence
|
Constructor | Description |
---|---|
EternalizedTruthValue(float f,
double c,
Parameters narParameters) |
Modifier and Type | Method | Description |
---|---|---|
static List<Plugin> |
ConfigReader.loadParamsFromFileAndReturnPlugins(String filepath,
Reasoner reasoner,
Parameters parameters) |
Modifier and Type | Field | Description |
---|---|---|
Parameters |
Nar.narParameters |
Modifier and Type | Method | Description |
---|---|---|
private static void |
Nar.overrideParameters(Parameters parameters,
Map<String,Object> overrides) |
overrides parameter values by name
|
Modifier and Type | Field | Description |
---|---|---|
Parameters |
Memory.narParameters |
Modifier and Type | Method | Description |
---|---|---|
void |
Memory.localInference(Task task,
Parameters narParameters,
Timable time) |
|
void |
Memory.processNovelTask(Parameters narParameters,
Timable time) |
Select a novel task to process
|
Constructor | Description |
---|---|
Bag(int levels,
int capacity,
Parameters narParameters) |
|
Memory(Parameters narParameters,
Bag<Concept,Term> concepts,
Bag<Task<Term>,Sentence<Term>> novelTasks,
Bag<Task<Term>,Sentence<Term>> seq_current,
Bag<Task<Term>,Sentence<Term>> recent_operations) |
Create a new memory
|
Copyright © 2020 OpenNARS. All rights reserved.