Package | Description |
---|---|
org.opennars.control | |
org.opennars.control.concept | |
org.opennars.inference |
The inference rules and control functions
|
org.opennars.interfaces.pub | |
org.opennars.io.events | |
org.opennars.main | |
org.opennars.operator.mental | |
org.opennars.storage |
Storage management
|
Modifier and Type | Field | Description |
---|---|---|
protected Concept |
DerivationContext.currentConcept |
Modifier and Type | Method | Description |
---|---|---|
Concept |
DerivationContext.getCurrentConcept() |
Modifier and Type | Method | Description |
---|---|---|
void |
DerivationContext.setCurrentConcept(Concept currentConcept) |
Modifier and Type | Method | Description |
---|---|---|
static void |
ProcessGoal.bestReactionForGoal(Concept concept,
DerivationContext nal,
Sentence projectedGoal,
Task task) |
When a goal is processed, use the best memorized reaction
that is applicable to the current context (recent events) in case that it exists.
|
private static ProcessGoal.ExecutablePrecondition |
ProcessGoal.calcBestExecutablePrecondition(DerivationContext nal,
Concept concept,
Sentence projectedGoal,
List<Task> execPreconditions,
Map<Operation,List<ProcessGoal.ExecutablePrecondition>> anticipationsToMake) |
Search for the best precondition that best matches recent events, and is most successful in leading to goal fulfilment
|
static void |
ProcessAnticipation.confirmAnticipation(Task task,
Concept concept,
DerivationContext nal) |
Whether a processed judgement task satisfies the anticipations within concept
|
private static boolean |
ProcessGoal.executePrecondition(DerivationContext nal,
ProcessGoal.ExecutablePrecondition precon,
Concept concept,
Sentence projectedGoal,
Task task) |
Execute the operation suggested by the most applicable precondition
|
static void |
ProcessAnticipation.firePredictions(Task judgementTask,
Concept concept,
DerivationContext nal,
Timable time,
TaskLink tasklink) |
Fire predictictive inference based on beliefs that are known to the concept's neighbours
|
static void |
ProcessAnticipation.maintainDisappointedAnticipations(Parameters narParameters,
Concept concept,
Nar nar) |
Process outdated anticipations within the concept,
these which are outdated generate negative feedback
|
protected static void |
ProcessGoal.processGoal(Concept concept,
DerivationContext nal,
Task task) |
To accept a new goal, and check for revisions and realization, then
decide whether to actively pursue it, potentially executing in case of an operation goal
|
static void |
ProcessJudgment.processJudgment(Concept concept,
DerivationContext nal,
Task task) |
To accept a new judgment as belief, and check for revisions and solutions.
|
protected static void |
ProcessGoal.processOperationGoal(Sentence projectedGoal,
DerivationContext nal,
Concept concept,
Task oldGoalT,
Task task) |
To process an operation for potential execution
only called by processGoal
|
protected static void |
ProcessQuestion.processQuestion(Concept concept,
DerivationContext nal,
Task task) |
To answer a question by existing beliefs
|
static boolean |
ProcessTask.processTask(Concept concept,
DerivationContext nal,
Task task,
Timable time) |
Directly process a new task within a concept.Here task can either be a judgement, goal, question or quest.The function is called exactly once on each task.Using
local information and finishing in a constant time.
|
static void |
ProcessQuestion.ProcessWhatQuestion(Concept concept,
Task ques,
DerivationContext nal) |
Recognize an existing belief task as solution to the what question task, which contains a query variable
|
static void |
ProcessQuestion.ProcessWhatQuestionAnswer(Concept concept,
Task t,
DerivationContext nal) |
Recognize an added belief task as solution to what questions, those that contain query variable
|
Modifier and Type | Method | Description |
---|---|---|
static BudgetValue |
BudgetFunctions.budgetTermLinkConcept(Concept c,
BudgetValue taskBudget,
TermLink termLink) |
|
static boolean |
LocalRules.match(Task task,
Sentence belief,
Concept beliefConcept,
DerivationContext nal) |
The task and belief have the same content
|
static boolean |
LocalRules.revision(Sentence newBelief,
Sentence oldBelief,
Concept beliefConcept,
boolean feedbackToLinks,
DerivationContext nal) |
Belief revision
Summarizes the evidence of two beliefs with same content.
|
Modifier and Type | Method | Description |
---|---|---|
Concept |
Reasoner.concept(String concept) |
returns the concept by name/term or creates it if it doesn't exist
|
Modifier and Type | Method | Description |
---|---|---|
abstract void |
Events.ConceptBeliefAdd.onBeliefAdd(Concept c,
Task t,
Object[] extra) |
|
abstract void |
Events.ConceptBeliefRemove.onBeliefRemove(Concept c,
Sentence removed,
Task t,
Object[] extra) |
Constructor | Description |
---|---|
ConceptNew(Concept c,
long when) |
Modifier and Type | Method | Description |
---|---|---|
Concept |
Nar.concept(String concept) |
gets a concept if it exists, or returns null if it does not
|
Modifier and Type | Method | Description |
---|---|---|
void |
Remind.activate(Memory memory,
Concept c,
BudgetValue b,
BudgetFunctions.Activating mode) |
Modifier and Type | Field | Description |
---|---|---|
Bag<Concept,Term> |
Memory.concepts |
Modifier and Type | Method | Description |
---|---|---|
Concept |
Memory.concept(Term t) |
Get an existing Concept for a given name
|
Concept |
Memory.conceptualize(BudgetValue budget,
Term term) |
Get the Concept associated to a Term, or create it.
|
Modifier and Type | Method | Description |
---|---|---|
Iterator<Concept> |
Memory.iterator() |
Modifier and Type | Method | Description |
---|---|---|
void |
Memory.conceptRemoved(Concept c) |
Constructor | Description |
---|---|
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.