jtp.frame.fc
Class RuleInstallationProofStep

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

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class RuleInstallationProofStep

extends ReasoningStep

This proof step indicates that a horn clause created by a RuleCreationReasoningStep has been installed in a KB store and is available to backward-chaining reasoners. Note that the clause installed has a different consequent from the goal in the RuleCreationReasoningStep.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

RuleInstallationProofStep(Literal template, Reasoner action)

RuleInstallationProofStep(Literal template, Reasoner action, List subSteps)

Method Summary

Reasoner	getAction()
Literal	getRuleTemplate()
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

RuleInstallationProofStep

public RuleInstallationProofStep(Literal template,
                                 Reasoner action)

RuleInstallationProofStep

public RuleInstallationProofStep(Literal template,
                                 Reasoner action,
                                 List subSteps)

Method Detail

getAction

public Reasoner getAction()

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

getRuleTemplate

public Literal getRuleTemplate()