Package org.opennars.control

Class DerivationContext

java.lang.Object

org.opennars.control.DerivationContext

public class DerivationContext
extends Object

NAL Reasoner Process. Includes all reasoning process state.

Author:

Patrick Hammer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	DerivationContext.StampBuilder

Field Summary

Fields

Modifier and Type	Field	Description
protected Sentence	currentBelief
protected TermLink	currentBeliefLink
protected Concept	currentConcept
protected Task	currentTask
protected TaskLink	currentTaskLink
protected Term	currentTerm
boolean	evidentalOverlap
Memory	memory
Parameters	narParameters
protected Stamp	newStamp
DerivationContext.StampBuilder	newStampBuilder
private long	original_time
Timable	time

Constructor Summary

Constructors

Constructor	Description
DerivationContext(Memory mem, Parameters narParameters, Timable time)

Method Summary

Modifier and Type	Method	Description
void	addTask(Task t, String reason)	tasks added with this method will be remembered by this NAL instance; useful for feedback
void	addTask(Task currentTask, BudgetValue budget, Sentence sentence, Sentence candidateBelief)	Activated task called in MatchingRules.trySolution and Concept.processGoal
boolean	derivedTask(Task task, boolean revised, boolean single, boolean overlapAllowed)	Derived task comes from the inference rules.
boolean	derivedTask(Task task, boolean revised, boolean single, boolean overlapAllowed, boolean addToMemory)
List<Task>	doublePremiseTask(Term newContent, TruthValue newTruth, BudgetValue newBudget, boolean temporalInduction, boolean overlapAllowed)	Shared final operations by all double-premise rules, called from the rules except StructuralRules
List<Task>	doublePremiseTask(Term newContent, TruthValue newTruth, BudgetValue newBudget, boolean temporalInduction, boolean overlapAllowed, boolean addToMemory)
boolean	doublePremiseTaskRevised(Term newContent, TruthValue newTruth, BudgetValue newBudget, long counter)	Shared final operations by all double-premise rules, called from the rules except StructuralRules
void	emit(Class c, Object... o)
Sentence	getCurrentBelief()
TermLink	getCurrentBeliefLink()
Concept	getCurrentConcept()
Task	getCurrentTask()
TaskLink	getCurrentTaskLink()
Term	getCurrentTerm()
Stamp	getNewStamp()
Stamp	getTheNewStamp()
long	getTime()
Memory	mem()
void	resetOccurrenceTime()
void	setCurrentBelief(Sentence currentBelief)
void	setCurrentBeliefLink(TermLink currentBeliefLink)
void	setCurrentConcept(Concept currentConcept)
void	setCurrentTask(Task currentTask)
void	setCurrentTaskLink(TaskLink currentTaskLink)
void	setCurrentTerm(Term currentTerm)
void	setNewStamp(Stamp newStamp)
Stamp	setTheNewStamp(Stamp newStamp)
void	setTheNewStamp(Stamp first, Stamp second, long time)	creates a lazy/deferred StampBuilder which only constructs the stamp if getTheNewStamp() is actually invoked
boolean	singlePremiseTask(Sentence newSentence, BudgetValue newBudget)
boolean	singlePremiseTask(Term newContent, char punctuation, TruthValue newTruth, BudgetValue newBudget)	Shared final operations by all single-premise rules, called in StructuralRules
boolean	singlePremiseTask(Term newContent, TruthValue newTruth, BudgetValue newBudget)	Shared final operations by all single-premise rules, called in StructuralRules
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

evidentalOverlap

public boolean evidentalOverlap

memory

public final Memory memory

currentTerm

protected Term currentTerm

currentConcept

protected Concept currentConcept

currentTask

protected Task currentTask

currentBeliefLink

protected TermLink currentBeliefLink

currentTaskLink

protected TaskLink currentTaskLink

currentBelief

protected Sentence currentBelief

newStamp

protected Stamp newStamp

newStampBuilder

public DerivationContext.StampBuilder newStampBuilder

narParameters

public Parameters narParameters

time

public Timable time

original_time

private long original_time

Constructor Detail

DerivationContext

public DerivationContext(Memory mem,
                         Parameters narParameters,
                         Timable time)

Method Detail

emit

public void emit(Class c,
                 Object... o)

derivedTask

public boolean derivedTask(Task task,
                           boolean revised,
                           boolean single,
                           boolean overlapAllowed)

Derived task comes from the inference rules.

Parameters:

task - the derived task

overlapAllowed - //https://groups.google.com/forum/#!topic/open-nars/FVbbKq5En-M

derivedTask

public boolean derivedTask(Task task,
                           boolean revised,
                           boolean single,
                           boolean overlapAllowed,
                           boolean addToMemory)

doublePremiseTaskRevised

public boolean doublePremiseTaskRevised(Term newContent,
                                        TruthValue newTruth,
                                        BudgetValue newBudget,
                                        long counter)

Shared final operations by all double-premise rules, called from the rules except StructuralRules

Parameters:

newContent - The content of the sentence in task

newTruth - The truth value of the sentence in task

newBudget - The budget value in task

doublePremiseTask

public List<Task> doublePremiseTask(Term newContent,
                                    TruthValue newTruth,
                                    BudgetValue newBudget,
                                    boolean temporalInduction,
                                    boolean overlapAllowed)

Shared final operations by all double-premise rules, called from the rules except StructuralRules

Parameters:

newContent - The content of the sentence in task

newTruth - The truth value of the sentence in task

newBudget - The budget value in task

temporalInduction -

overlapAllowed - // https://groups.google.com/forum/#!topic/open-nars/FVbbKq5En-M

doublePremiseTask

public List<Task> doublePremiseTask(Term newContent,
                                    TruthValue newTruth,
                                    BudgetValue newBudget,
                                    boolean temporalInduction,
                                    boolean overlapAllowed,
                                    boolean addToMemory)

singlePremiseTask

public boolean singlePremiseTask(Term newContent,
                                 TruthValue newTruth,
                                 BudgetValue newBudget)

Shared final operations by all single-premise rules, called in StructuralRules

Parameters:

newContent - The content of the sentence in task

newTruth - The truth value of the sentence in task

newBudget - The budget value in task

singlePremiseTask

public boolean singlePremiseTask(Term newContent,
                                 char punctuation,
                                 TruthValue newTruth,
                                 BudgetValue newBudget)

Shared final operations by all single-premise rules, called in StructuralRules

Parameters:

newContent - The content of the sentence in task

punctuation - The punctuation of the sentence in task

newTruth - The truth value of the sentence in task

newBudget - The budget value in task

singlePremiseTask

public boolean singlePremiseTask(Sentence newSentence,
                                 BudgetValue newBudget)

getTime

public long getTime()

getNewStamp

public Stamp getNewStamp()

setNewStamp

public void setNewStamp(Stamp newStamp)

getCurrentTask

public Task getCurrentTask()

Returns:

the currentTask

setCurrentTask

public void setCurrentTask(Task currentTask)

Parameters:

currentTask - the currentTask to set

setCurrentConcept

public void setCurrentConcept(Concept currentConcept)

getTheNewStamp

public Stamp getTheNewStamp()

Returns:

the created stamp

resetOccurrenceTime

public void resetOccurrenceTime()

setTheNewStamp

public Stamp setTheNewStamp(Stamp newStamp)

Parameters:

newStamp - the newStamp to set

setTheNewStamp

public void setTheNewStamp(Stamp first,
                           Stamp second,
                           long time)

creates a lazy/deferred StampBuilder which only constructs the stamp if getTheNewStamp() is actually invoked

getCurrentBelief

public Sentence getCurrentBelief()

Returns:

the currentBelief

setCurrentBelief

public void setCurrentBelief(Sentence currentBelief)

Parameters:

currentBelief - the currentBelief to set

getCurrentBeliefLink

public TermLink getCurrentBeliefLink()

Returns:

the currentBeliefLink

setCurrentBeliefLink

public void setCurrentBeliefLink(TermLink currentBeliefLink)

Parameters:

currentBeliefLink - the currentBeliefLink to set

getCurrentTaskLink

public TaskLink getCurrentTaskLink()

Returns:

the currentTaskLink

setCurrentTaskLink

public void setCurrentTaskLink(TaskLink currentTaskLink)

Parameters:

currentTaskLink - the currentTaskLink to set

getCurrentTerm

public Term getCurrentTerm()

Returns:

the currentTerm

setCurrentTerm

public void setCurrentTerm(Term currentTerm)

Parameters:

currentTerm - the currentTerm to set

getCurrentConcept

public Concept getCurrentConcept()

Returns:

the currentConcept

mem

public Memory mem()

addTask

public void addTask(Task t,
                    String reason)

tasks added with this method will be remembered by this NAL instance; useful for feedback

addTask

public void addTask(Task currentTask,
                    BudgetValue budget,
                    Sentence sentence,
                    Sentence candidateBelief)

Activated task called in MatchingRules.trySolution and Concept.processGoal

Parameters:

budget - The budget value of the new Task

sentence - The content of the new Task

candidateBelief - The belief to be used in future inference, for forward/backward correspondence

toString

public String toString()

Overrides:

toString in class Object