com.hammurapi.reasoning
Interface Derivation<F>

public interface Derivation<F>

Information about how conclusion was derived.

Author:

Pavel Vlasov

Method Summary

int	getCardinality()
int	getDepth()
Method	getInferenceMethod()
List<Handle<F>>	getInputHandles()
List<F>	getInputs()
String	getRuleDescription()
Object	getRuleInstance()
String	getRuleName()
boolean	isDerivedFrom(F fact)
boolean	isValid()

Method Detail

getRuleName

String getRuleName()

Returns:

Rule name.

getRuleDescription

String getRuleDescription()

Returns:

Rule description.

getRuleInstance

Object getRuleInstance()

Returns:

Rule instance.

getInferenceMethod

Method getInferenceMethod()

Returns:

Inference method which posted given conclusion.

getInputHandles

List<Handle<F>> getInputHandles()

Returns:

Handles of inference method inputs.

getInputs

List<F> getInputs()

isDerivedFrom

boolean isDerivedFrom(F fact)

Parameters:

fact -

Returns:

True if the fact is source of this derivation or derivations of one of source conclusions.

isValid

boolean isValid()

Returns:

true if all source facts in this derivation are valid (has not been removed from the knowledge base).

getDepth

int getDepth()

Returns:

Length of the inference chain.

getCardinality

int getCardinality()

Returns:

Total number of rules fired to come to this conclusion.