aima.core.logic.fol.inference

Interface InferenceResult

public interface InferenceResult

Author:

Ciaran O'Reilly

Method Summary

Modifier and Type	Method and Description
java.util.List<Proof>	getProofs()
boolean	isPartialResultDueToTimeout()
boolean	isPossiblyFalse()
boolean	isTrue()
boolean	isUnknownDueToTimeout()

Method Detail

isPossiblyFalse

boolean isPossiblyFalse()

Returns:

true, if the query is not entailed from the premises. This just means the query is not entailed, the query itself may be true.

isTrue

boolean isTrue()

Returns:

true, if the query is entailed from the premises (Note: can get partial results if the original query contains variables indicating that there can possibly be more than 1 proof/bindings for the query, see: isPartialResultDueToTimeout()).

isUnknownDueToTimeout

boolean isUnknownDueToTimeout()

Returns:

true, if the inference procedure ran for a length of time and found no proof one way or the other before it timed out.

isPartialResultDueToTimeout

boolean isPartialResultDueToTimeout()

Returns:

true, if the inference procedure found a proof for a query containing variables (i.e. possibly more than 1 proof can be returned) and the inference procedure was still looking for other possible answers before it timed out.

getProofs

java.util.List<Proof> getProofs()

Returns:

a list of 0 or more proofs (multiple proofs can be returned if the original query contains variables).