jtp.frame.fc
Class TrueLinkCreator

java.lang.Object
  |
  +--java.beans.beancontext.BeanContextChildSupport
        |
        +--jtp.util.PropertyImporter
              |
              +--jtp.frame.fc.AbstractRuleCreator
                    |
                    +--jtp.frame.fc.TrueLinkCreator

All Implemented Interfaces:

BeanContextChild, BeanContextServiceRevokedListener, BeanContextServicesListener, EventListener, Reasoner, Serializable

public class TrueLinkCreator

extends AbstractRuleCreator

TrueLinkCreator.java Created: Tue Mar 12 01:54:28 2002

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.frame.fc.AbstractRuleCreator

trans

Fields inherited from class java.beans.beancontext.BeanContextChildSupport

beanContext, beanContextChildPeer, pcSupport, rejectedSetBCOnce, vcSupport

Constructor Summary

TrueLinkCreator()

Method Summary

protected RuleTriggeringProofStep	formRuleClause(Clause cl, Variable linkVar, Literal head, Literal source, RuleCreationReasoningStep rrs)
protected Literal	formTargetLiteral(Literal head, Literal source, Variable linkVar, String id)
protected Literal	pickHeadLiteral(Clause cl)
ReasoningStepIterator	process(Object o) This method attempts to find proof for the goal.

Methods inherited from class jtp.frame.fc.AbstractRuleCreator

acceptable, getFrameKB, getUndoManager, setFrameKB, setUndoManager

Methods inherited from class jtp.util.PropertyImporter

getImportedProperties, initializeBeanContextResources, setImportedProperties

Methods inherited from class java.beans.beancontext.BeanContextChildSupport

addPropertyChangeListener, addVetoableChangeListener, firePropertyChange, fireVetoableChange, getBeanContext, getBeanContextChildPeer, isDelegated, releaseBeanContextResources, removePropertyChangeListener, removeVetoableChangeListener, serviceAvailable, serviceRevoked, setBeanContext, validatePendingSetBeanContext

Methods inherited from class java.lang.Object

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

Constructor Detail

TrueLinkCreator

public TrueLinkCreator()

Method Detail

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.

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

formRuleClause

protected RuleTriggeringProofStep formRuleClause(Clause cl,
                                                 Variable linkVar,
                                                 Literal head,
                                                 Literal source,
                                                 RuleCreationReasoningStep rrs)
                                          throws ReasoningException

ReasoningException

formTargetLiteral

protected Literal formTargetLiteral(Literal head,
                                    Literal source,
                                    Variable linkVar,
                                    String id)

pickHeadLiteral

protected Literal pickHeadLiteral(Clause cl)