jtp.frame.fc
Class EquivalenceEnforcer

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

All Implemented Interfaces:

BeanContextProxy, Reasoner, RelationBasedFCReasoner, RelationBasedReasoner, Serializable

public class EquivalenceEnforcer

extends AbstractRelationBasedFCReasoner

implements BeanContextProxy

EquivalenceEnforcer.java Created: Sun Aug 11 20:23:09 2002

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.disp.AbstractRelationBasedFCReasoner

arity, polarity, relation

Fields inherited from interface jtp.disp.RelationBasedReasoner

ANY_ARITY, BOTH, NEGATIVE, POSITIVE

Constructor Summary

EquivalenceEnforcer(CanonicalMapping mapping)

Method Summary

protected int	compare(Object from, Object to)
BeanContextChild	getBeanContextProxy()
FrameKB	getFrameKB()
UndoManager	getUndoManager()
ReasoningStepIterator	process(Object o) This method attempts to find proof for the goal.
ReasoningStepIterator	processEquivalence(Object from, Object to, ReasoningStep grounds)
void	setActionInstaller(RuleClauseAndTriggerInstaller installer)
void	setFrameKB(FrameKB v)
void	setUndoManager(UndoManager undoManager)

Methods inherited from class jtp.disp.AbstractRelationBasedFCReasoner

acceptable, getArity, getPolarity, getRelation, literalAcceptable

Methods inherited from class java.lang.Object

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

Methods inherited from interface jtp.disp.RelationBasedReasoner

getArity, getPolarity, getRelation

Constructor Detail

EquivalenceEnforcer

public EquivalenceEnforcer(CanonicalMapping mapping)

Method Detail

setActionInstaller

public void setActionInstaller(RuleClauseAndTriggerInstaller installer)

getUndoManager

public UndoManager getUndoManager()

setUndoManager

public void setUndoManager(UndoManager undoManager)

getFrameKB

public FrameKB getFrameKB()

setFrameKB

public void setFrameKB(FrameKB v)

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

processEquivalence

public ReasoningStepIterator processEquivalence(Object from,
                                                Object to,
                                                ReasoningStep grounds)

compare

protected int compare(Object from,
                      Object to)

getBeanContextProxy

public BeanContextChild getBeanContextProxy()

Specified by:

getBeanContextProxy in interface BeanContextProxy