edu.stanford.nlp.naturalli

Class ForwardEntailer

java.lang.Object

edu.stanford.nlp.naturalli.ForwardEntailer

All Implemented Interfaces:

java.util.function.BiFunction<SemanticGraph,java.lang.Boolean,ForwardEntailerSearchProblem>

public class ForwardEntailer
extends java.lang.Object
implements java.util.function.BiFunction<SemanticGraph,java.lang.Boolean,ForwardEntailerSearchProblem>

A class to find the forward entailments warranted by a particular sentence or clause. Note that this will _only_ do deletions -- it will neither consider insertions, nor mutations of the original sentence.

Author:

Gabor Angeli

Field Summary

Fields

Modifier and Type	Field and Description
int	maxResults The maximum number of results to return from a single search.
int	maxTicks The maximum number of ticks top search for.
NaturalLogicWeights	weights The weights to use for entailment.

Constructor Summary

Constructors

Constructor and Description
ForwardEntailer(int maxResults, int maxTicks, NaturalLogicWeights weights) Create a new searcher with the specified parameters.
ForwardEntailer(int maxResults, NaturalLogicWeights weights)
ForwardEntailer(NaturalLogicWeights weights)

Method Summary

Modifier and Type	Method and Description
ForwardEntailerSearchProblem	apply(SemanticGraph parseTree, java.lang.Boolean truthOfPremise) Create a new search problem instance, given a sentence (possibly fragment), and the corresponding parse tree.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.BiFunction

andThen

Field Detail

maxTicks

public final int maxTicks

The maximum number of ticks top search for. Otherwise, the search will be exhaustive.

maxResults

public final int maxResults

The maximum number of results to return from a single search.

weights

public final NaturalLogicWeights weights

The weights to use for entailment.

Constructor Detail

ForwardEntailer

public ForwardEntailer(int maxResults,
                       int maxTicks,
                       NaturalLogicWeights weights)

Create a new searcher with the specified parameters.

Parameters:

maxResults - The maximum number of results to return from a single search.

maxTicks - The maximum number of ticks to search for.

weights - The natural logic weights to use for the searches.

ForwardEntailer

public ForwardEntailer(int maxResults,
                       NaturalLogicWeights weights)

See Also:

ForwardEntailer(int, int, NaturalLogicWeights)

ForwardEntailer

public ForwardEntailer(NaturalLogicWeights weights)

See Also:

ForwardEntailer(int, int, NaturalLogicWeights)

Method Detail

apply

public ForwardEntailerSearchProblem apply(SemanticGraph parseTree,
                                          java.lang.Boolean truthOfPremise)

Create a new search problem instance, given a sentence (possibly fragment), and the corresponding parse tree.

Specified by:

apply in interface java.util.function.BiFunction<SemanticGraph,java.lang.Boolean,ForwardEntailerSearchProblem>

Parameters:

parseTree - The original tree of the sentence we are beginning with

truthOfPremise - The truth of the premise. In most applications, this will just be true.

Returns:

A new search problem instance.