jtp.frame.listen
Class VCListenerCreationReasoningStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.frame.listen.VCListenerCreationReasoningStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class VCListenerCreationReasoningStep

extends ReasoningStep

A forward-chaining resolution reasoning step.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

VCListenerCreationReasoningStep(String ID, VCTemplate[] vcTemplates, ListenerTemplate goalTemplate)

VCListenerCreationReasoningStep(String ID, VCTemplate[] vcTemplates, ListenerTemplate goalTemplate, Collection unacceptableSources)

VCListenerCreationReasoningStep(String ID, VCTemplate[] vcTemplates, ListenerTemplate goalTemplate, Collection unacceptableSources, URL kbLocation)

VCListenerCreationReasoningStep(String ID, VCTemplate[] vcTemplates, ListenerTemplate goalTemplate, List subSteps)

VCListenerCreationReasoningStep(String ID, VCTemplate[] vcTemplates, ListenerTemplate goalTemplate, List subSteps, Collection unacceptableSources)

Method Summary

protected boolean	cloneNeedsDereferencing(ReasoningStep clone) Determines if clone is different from this because this has data members that contain Unifyables that were dereferenced in clone.
protected Collection	collectUnifyableElements() Returns a collection of data members of this ReasoningStep that are instances of Unifyable.
VCListenerCreationReasoningStep	createChildlessClone()
protected ReasoningStep	createDereferencedClone() Returns a clone of this ReasoningStep in which all nested Variables have been replaced by the values that they are bound to at the time of clone creation.
Object	getGoal() Returns the goal that this Proof proves.
ListenerTemplate	getGoalTemplate()
String	getID()
URL	getKBLocation()
protected VCTemplate[]	getVCTemplates()
String	tracePrint() Returns a string that describes the inference that this reasoning step makes.

Methods inherited from class jtp.ReasoningStep

addContentsIfUnifyable, backtrack, clone, contains, deReferenceBindings, deReferenceElement, deReferenceList, deReferenceVariables, getCost, getInference, getSubProofs, getVariables, makeStep, unify

Methods inherited from class jtp.proof.Proof

getBindings, getSubGoals, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

VCListenerCreationReasoningStep

public VCListenerCreationReasoningStep(String ID,
                                       VCTemplate[] vcTemplates,
                                       ListenerTemplate goalTemplate,
                                       Collection unacceptableSources)

VCListenerCreationReasoningStep

public VCListenerCreationReasoningStep(String ID,
                                       VCTemplate[] vcTemplates,
                                       ListenerTemplate goalTemplate,
                                       List subSteps,
                                       Collection unacceptableSources)

VCListenerCreationReasoningStep

public VCListenerCreationReasoningStep(String ID,
                                       VCTemplate[] vcTemplates,
                                       ListenerTemplate goalTemplate)

VCListenerCreationReasoningStep

public VCListenerCreationReasoningStep(String ID,
                                       VCTemplate[] vcTemplates,
                                       ListenerTemplate goalTemplate,
                                       List subSteps)

VCListenerCreationReasoningStep

public VCListenerCreationReasoningStep(String ID,
                                       VCTemplate[] vcTemplates,
                                       ListenerTemplate goalTemplate,
                                       Collection unacceptableSources,
                                       URL kbLocation)

Method Detail

getVCTemplates

protected VCTemplate[] getVCTemplates()

getGoalTemplate

public ListenerTemplate getGoalTemplate()

getID

public String getID()

getKBLocation

public URL getKBLocation()

getGoal

public Object getGoal()

Description copied from class: Proof

Returns the goal that this Proof proves. Goals are most commonly CNFSentences, but they can be other Objects as well.

Overrides:

getGoal in class Proof

Returns:

the goal of this Proof

collectUnifyableElements

protected Collection collectUnifyableElements()

Description copied from class: ReasoningStep

Returns a collection of data members of this ReasoningStep that are instances of Unifyable.

This default implementation handles the collection of Unifyables from the goal, bindings, subgoals, and subproofs. Subclasses should override this method if they have other data members that could contain Unifyables. Overriding methods should make a call to super to collect Unifyables from the common members mentioned above.

Overrides:

collectUnifyableElements in class ReasoningStep

Returns:

a Collection of Unifyables nested in this ReasoningStep

createDereferencedClone

protected ReasoningStep createDereferencedClone()

Description copied from class: ReasoningStep

Returns a clone of this ReasoningStep in which all nested Variables have been replaced by the values that they are bound to at the time of clone creation.

This default implementation handles dereferencing of Unifyables nested in goal, bindings, subgoals, and subproofs. Subclasses should override this method if they have other data members that could contain Unifyables that need to be dereferenced. Overriding methods should make a call to super to get initial clone that has the data members mentioned above dereferenced.

Overrides:

createDereferencedClone in class ReasoningStep

Returns:

a clone of this ReasoningStep with Variables dereferenced

cloneNeedsDereferencing

protected boolean cloneNeedsDereferencing(ReasoningStep clone)

Description copied from class: ReasoningStep

Determines if clone is different from this because this has data members that contain Unifyables that were dereferenced in clone.

This default implementation compares goal, bindings, subgoals, and subproofs of clone and this to determine if Unifyables were dereferenced in the clone. Subclasses should override this method if they also override ReasoningStep.createDereferencedClone() and may dereference other data members in the clone. Overriding methods should make a call to super to do comparison for the data members mentioned above.

Overrides:

cloneNeedsDereferencing in class ReasoningStep

Parameters:

clone - a dereferenced clone of this created with ReasoningStep.createDereferencedClone()

Returns:

true if Unifyables were dereferenced in clone; false otherwise

tracePrint

public String tracePrint()

Description copied from class: ReasoningStep

Returns a string that describes the inference that this reasoning step makes.

Specified by:

tracePrint in class ReasoningStep

createChildlessClone

public VCListenerCreationReasoningStep createChildlessClone()