Package jtp.disp

Interface Summary

RelationBasedBCReasoner	This interface represents backward-chaining reasoners whose goals are literals that can be dispatched based on their relation symbols, polarities and arities.
RelationBasedFCReasoner	This interface represents forward-chaining reasoners whose goals are reasoning steps proving literals, each such reasoning step can be dispatched based on the literal's relation symbol, polarity and arity.
RelationBasedReasoner	This is the base interface for all reasoners that have their goals dispatched according to basic literal properties: relation symbol, polarity and arity.
SequentialDispatcher.LocationPreference

Class Summary

AbstractRelationBasedBCReasoner
AbstractRelationBasedFCReasoner
DispatcherUtils	A collection of static utility methods for Dispatchers.
RelationBasedBCDispatcher	This dispatcher handles reasoners implementing RelationBasedBCReasoner.
RelationBasedDispatcher	RelationBasedDispatcher.java Created: Tue Oct 05 01:00:20 1999
RelationBasedFCDispatcher	This dispatcher handles reasoners implementing RelationBasedFCReasoner.
SequentialDispatcher	SequentialDispatcher.java Created: Wed Nov 17 00:22:03 1999
SequentialDispatcher.Ring