jtp.frame.fc
Class BlendingRuleAction

java.lang.Object
  |
  +--jtp.disp.AbstractRelationBasedReasoner
        |
        +--jtp.disp.AbstractRelationBasedFCReasoner
              |
              +--jtp.frame.fc.BlendingRuleAction

All Implemented Interfaces:

Cloneable, DemodulationReplacementListener, Reasoner, RelationBasedFCReasoner, RelationBasedReasoner, Serializable, TriggerValidator

Direct Known Subclasses:

InconsistencyRuleAction, TrueLinkRuleAction, UnrollingRuleAction

public abstract class BlendingRuleAction

extends AbstractRelationBasedFCReasoner

implements DemodulationReplacementListener, Cloneable, Serializable, TriggerValidator

BlendingRuleAction.java Created: Wed Feb 27 20:46:52 2002

See Also:

Serialized Form

Field Summary

protected int	hashCode
protected Literal	ruleLit
protected ReasoningStep	ruleStep
protected List	triggers
protected List	varStack

Fields inherited from class jtp.disp.AbstractRelationBasedFCReasoner

arity, polarity, relation

Fields inherited from interface jtp.disp.RelationBasedReasoner

ANY_ARITY, BOTH, NEGATIVE, POSITIVE

Constructor Summary

BlendingRuleAction(Literal ruleLit, ReasoningStep ruleStep, List triggers)

Method Summary

protected Object	clone()
boolean	equals(Object o)
Clause	getRuleClause()
Literal	getRuleLiteral()
List	getTriggerLiterals()
int	hashCode()
protected Object	instantiateTemplate(Object template)
protected abstract ReasoningStepIterator	prepareResult(ReasoningStep input, List subSteps, List varStack)
protected List	prepareSubSteps(ReasoningStep input)
ReasoningStepIterator	process(Object o) This method attempts to find proof for the goal.
void	stripProofs(SecondaryProofStorageWriter sw)
Object	substitute(CanonicalMapping mapping)
boolean	validateTrigger(Literal instantiation)

Methods inherited from class jtp.disp.AbstractRelationBasedFCReasoner

acceptable, getArity, getPolarity, getRelation, literalAcceptable

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface jtp.disp.RelationBasedReasoner

getArity, getPolarity, getRelation

Field Detail

ruleLit

protected Literal ruleLit

ruleStep

protected transient ReasoningStep ruleStep

varStack

protected transient List varStack

triggers

protected List triggers

hashCode

protected int hashCode

Constructor Detail

BlendingRuleAction

public BlendingRuleAction(Literal ruleLit,
                          ReasoningStep ruleStep,
                          List triggers)

Method Detail

getTriggerLiterals

public List getTriggerLiterals()

getRuleLiteral

public Literal getRuleLiteral()

getRuleClause

public Clause getRuleClause()

prepareSubSteps

protected List prepareSubSteps(ReasoningStep input)

instantiateTemplate

protected final Object instantiateTemplate(Object template)

prepareResult

protected abstract ReasoningStepIterator prepareResult(ReasoningStep input,
                                                       List subSteps,
                                                       List varStack)
                                                throws ReasoningException

ReasoningException

process

public ReasoningStepIterator process(Object o)
                              throws ReasoningException

Description copied from interface: Reasoner

This method attempts to find proof for the goal. It returns an enumeration of reasoning steps that correspond to alternative proofs for the goal. Consequently, the items of the enumeration can actually belong to different models of the goal sentence, and have incompatible variable assignments.

Example. A reasoner that performs unification of the goal with facts in a knowledge base can return the following enumeration for the goal (parent joe ?x):

1. A reasoning step proving (parent joe fred) with variable assignment ?x=fred,
2. A reasoning step proving (parent joe mary) with variable assignment ?x=mary.

Specified by:

process in interface Reasoner

Parameters:

o - the goal: either a query or an assertion

Returns:

the iterator of reasoning steps - proofs for the query, or consequences of the assertion.

ReasoningException

validateTrigger

public boolean validateTrigger(Literal instantiation)

Specified by:

validateTrigger in interface TriggerValidator

clone

protected Object clone()

Overrides:

clone in class Object

substitute

public Object substitute(CanonicalMapping mapping)

Specified by:

substitute in interface DemodulationReplacementListener

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

stripProofs

public void stripProofs(SecondaryProofStorageWriter sw)
                 throws IOException

IOException