jtp.frame
Class ValueLinkCreationReasoningStep

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

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class ValueLinkCreationReasoningStep

extends ReasoningStep

This forward-chaining proof step represents the inference that one ValueCollection should include all of the values in another ValueCollection.

For example, if we know (type Rover Dog), then a reasoner may generate a ValueLinkCreationReasoningStep to indicate that the collection of types for Rover should include the collection of superclasses for Dog.

In logical terms, if the target ValueCollection is indexed by a slot tgtSlotand a frame tgtFrame and the source ValueCollection is indexed by a slot srcSlot and a frame srcFrame, then this proof step represents the inference

    (=> (srcSlot srcFrame ?x)
        (tgtSlot tgtFrame ?x)
 

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

ValueLinkCreationReasoningStep(Literal from, Literal to, Variable linkVar, List subProofs)

ValueLinkCreationReasoningStep(Symbol facFrom, Symbol slFrom, Object frFrom, boolean invFrom, Symbol facTo, Symbol slTo, Object frTo, boolean invTo, Variable linkVar, List subProofs)

Method Summary

ValueLinkCreationReasoningStep	createChildlessClone()
protected static Literal	formLiteralInGoalClause(Symbol fac, Symbol sl, Object fr, boolean inv, Variable linkVar, boolean flip)
Variable	getLinkVariable()
String	tracePrint() Returns a string that describes the inference that this reasoning step makes.

Methods inherited from class jtp.ReasoningStep

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

Methods inherited from class jtp.proof.Proof

getBindings, getGoal, getSubGoals, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueLinkCreationReasoningStep

public ValueLinkCreationReasoningStep(Symbol facFrom,
                                      Symbol slFrom,
                                      Object frFrom,
                                      boolean invFrom,
                                      Symbol facTo,
                                      Symbol slTo,
                                      Object frTo,
                                      boolean invTo,
                                      Variable linkVar,
                                      List subProofs)

ValueLinkCreationReasoningStep

public ValueLinkCreationReasoningStep(Literal from,
                                      Literal to,
                                      Variable linkVar,
                                      List subProofs)

Method Detail

getLinkVariable

public Variable getLinkVariable()

formLiteralInGoalClause

protected static Literal formLiteralInGoalClause(Symbol fac,
                                                 Symbol sl,
                                                 Object fr,
                                                 boolean inv,
                                                 Variable linkVar,
                                                 boolean flip)

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 ValueLinkCreationReasoningStep createChildlessClone()