Uses of Interface
jtp.fol.Unifyable

Packages that use Unifyable

jtp	Provides the basic, most general classes of the JTP architecture.
jtp.classifier
jtp.demod
jtp.fol	Provides classes representing structures of first order logic.
jtp.frame
jtp.frame.fc
jtp.frame.listen
jtp.frame.vc
jtp.func
jtp.gmp	Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.rs	Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.
jtp.time	Implements reasoners and classes that allow JTP to reason about temporal information in a KB.
jtp.time.demod

Uses of Unifyable in jtp

Classes in jtp that implement Unifyable

class	Cut When a reasoner returns a Cut reasoning step, it means that there are no more solutions left for the goal of the reasoning step.
class	DirectAssertion This class represents an act of directly asserting a sentence.
class	ReasoningStep An extension to the InferenceWeb Proof class that specifies and implements much of the JTP-specific functionality required of proofs in JTP.

Uses of Unifyable in jtp.classifier

Classes in jtp.classifier that implement Unifyable

class

SubsumptionProofStep SubsumptionProofStep.java

Uses of Unifyable in jtp.demod

Classes in jtp.demod that implement Unifyable

class

DemodulationReasoningStep A proof step where substitutions have been made that transform the input sentence into a new sentence.

Uses of Unifyable in jtp.fol

Classes in jtp.fol that implement Unifyable

class	UnifyableList A List that implements the Unifyable interface.
class	Variable A Variable can be bound to (substituted with) some other Object.

Methods in jtp.fol with parameters of type Unifyable

static Object

SubstUtils.replaceVariables(Unifyable u) Replaces all Variables in a Unifyable.

Uses of Unifyable in jtp.frame

Classes in jtp.frame that implement Unifyable

static class	EnumeratingReasoner.ProofStep This intermediate proof step is necessary for the frame system when the query does not have enough variables bound to prove the goal directly.
class	InferredValueReasoningStep A proof step representing a Generalized Modus Ponens inference made through forward-chaining.
class	OneWayInferredValueReasoningStep A proof step representing a Generalized Modus Ponens Inference made throught forward-chaining.
class	ValueLinkCreationReasoningStep This forward-chaining proof step represents the inference that one ValueCollection should include all of the values in another ValueCollection.

Uses of Unifyable in jtp.frame.fc

Classes in jtp.frame.fc that implement Unifyable

class	ActionCreationReasoningStep
class	RuleCreationReasoningStep A proof step representing the creation of a horn clause to be use by the forward-chaining mechanisms in jtp.frame.fc.
class	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.
class	RuleTriggeringProofStep

Uses of Unifyable in jtp.frame.listen

Classes in jtp.frame.listen that implement Unifyable

class	ListenerTemplate This abstract class represents templates which will ultimately be used to generate some other object.
class	OneWayTripleTemplate
class	TripleTemplate
class	VCListenerCreationReasoningStep A forward-chaining resolution reasoning step.
class	VCTemplate
class	VLTemplate

Uses of Unifyable in jtp.frame.vc

Classes in jtp.frame.vc that implement Unifyable

class

MembershipProofStep This proof step indicates that, in the frame system, a specific ValueCollection contains the value in question.

Uses of Unifyable in jtp.func

Classes in jtp.func that implement Unifyable

class

FunctionProofStep This proof step is used when the goal has been proved through some form of procedural attachment.

Uses of Unifyable in jtp.gmp

Classes in jtp.gmp that implement Unifyable

class

ModusPonensProofStep A proof step representing a Generalized Modus Ponens inference made through backward-chaining.

Uses of Unifyable in jtp.modelim

Classes in jtp.modelim that implement Unifyable

static class

AskingQueryProcessor.ReformulationProofStep

Uses of Unifyable in jtp.rs

Classes in jtp.rs that implement Unifyable

class	DefaultCut A default implementation of Cut.
class	ReasoningStepStub
class	StoredReasoningStep
class	TranslationReasoningStep This backward-chaining proof step indicates that the goal can be reformulated as the subgoal.

Uses of Unifyable in jtp.time

Classes in jtp.time that implement Unifyable

class

TimePointKnowledgeStore.TimePointReasoningStep

Uses of Unifyable in jtp.time.demod

Classes in jtp.time.demod that implement Unifyable

class

TimePointMappingReasoningStep