Package jtp.frame.fc

Interface Summary

RuleFactory	A RuleFactory churns out reasoners that handle a specific kind of task.
TriggerValidator

Class Summary

AbstractRuleCreator
ActionCreationReasoningStep
BackwardChainingStorage	BackwardChainingStorage.java Created: Thu Jan 11 19:27:25 2001
BlendingRuleAction	BlendingRuleAction.java Created: Wed Feb 27 20:46:52 2002
Context
EquivalenceDemonstrator
EquivalenceEnforcer	EquivalenceEnforcer.java Created: Sun Aug 11 20:23:09 2002
InconsistencyActionCreator
InconsistencyRuleAction
InferredValueRuleFactory	Created: Mon Aug 5 16:19:33 PDT 2002
NewRuleConsequences
OptimizedRuleInstantiator	Overrides RuleInstantiator.acceptable(Object) to reduce the likelihood of OptimizedRuleInstantiator.process(java.lang.Object) getting invoked, thus (hopefully) optimizing it.
PredefinedActionCreator
RuleClauseAndTriggerInstaller
RuleCreationDispatcher
RuleCreationReasoningStep	A proof step representing the creation of a horn clause to be use by the forward-chaining mechanisms in jtp.frame.fc.
RuleInstallationProofStep	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.
RuleInstantiator
RuleTriggeringProofStep
RuleUnroller
RuleUnroller.UnrollingTemplate	An unrolling template associates a group of literals with a layer in the unroller.
SimpleRuleCreator
TriggerLiteralMatcher
TrueLinkCreator	TrueLinkCreator.java Created: Tue Mar 12 01:54:28 2002
TrueLinkRuleAction	TrueLinkRuleAction.java Created: Tue Mar 12 01:03:59 2002
UnrollingRuleAction