Package org.opennars.control.concept

Class ProcessJudgment

java.lang.Object

org.opennars.control.concept.ProcessJudgment

public class ProcessJudgment
extends Object

Constructor Summary

Constructors

Constructor	Description
ProcessJudgment()

Method Summary

Modifier and Type	Method	Description
protected static void	addToTargetConceptsPreconditions(Task task, DerivationContext nal)	Add <(&/,a,op()) =/> b> beliefs to preconditions in concept b
static void	handleOperationFeedback(Task task, DerivationContext nal)	Handle the feedback of the operation that was processed as a judgment.
protected static boolean	isExecutableHypothesis(Task task, DerivationContext nal)	Check whether the task is an executable hypothesis of the form <(&/,a,op()) =/> b>.
static void	processJudgment(Concept concept, DerivationContext nal, Task task)	To accept a new judgment as belief, and check for revisions and solutions.

Methods inherited from class java.lang.Object

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

Constructor Detail

ProcessJudgment

public ProcessJudgment()

Method Detail

processJudgment

public static void processJudgment(Concept concept,
                                   DerivationContext nal,
                                   Task task)

To accept a new judgment as belief, and check for revisions and solutions. Revisions will be processed as judgment tasks by themselves. Due to their higher confidence, summarizing more evidence, the will become the top entries in the belief table. Additionally, judgements can themselves be the solution to existing questions and goals, which is also processed here.

Parameters:

task - The judgment task to be accepted

concept - The concept of the judment task

nal - The derivation context

handleOperationFeedback

public static void handleOperationFeedback(Task task,
                                           DerivationContext nal)

Handle the feedback of the operation that was processed as a judgment.
The purpose is to start a new operation frame which makes the operation concept interpret current events as preconditions and future events as post-conditions to the invoked operation.

Parameters:

task - The judgement task be checked

nal - The derivation context

isExecutableHypothesis

protected static boolean isExecutableHypothesis(Task task,
                                                DerivationContext nal)

Check whether the task is an executable hypothesis of the form <(&/,a,op()) =/> b>.

Parameters:

task - The judgement task be checked

nal - The derivation context

Returns:

Whether task is an executable precondition

addToTargetConceptsPreconditions

protected static void addToTargetConceptsPreconditions(Task task,
                                                       DerivationContext nal)

Add <(&/,a,op()) =/> b> beliefs to preconditions in concept b

Parameters:

task - The potential implication task

nal - The derivation context