Package net.sf.tweety.logics.pl.analysis

Class SimplePlInterpolantEnumerator

java.lang.Object

net.sf.tweety.logics.pl.analysis.SimplePlInterpolantEnumerator

All Implemented Interfaces:

net.sf.tweety.logics.commons.analysis.InterpolantEnumerator<PlFormula>

public class SimplePlInterpolantEnumerator
extends Object
implements net.sf.tweety.logics.commons.analysis.InterpolantEnumerator<PlFormula>

Implements an exhaustive search approach to compute all interpolants of a knowledge base wrt. another knowledge base.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
SimplePlInterpolantEnumerator(AbstractPlReasoner reasoner)	Creates a new SimplePlInterpolantEnumerator that uses the given PL reasoner for entailment queries.

Method Summary

Modifier and Type	Method	Description
Collection<PlFormula>	getInterpolants(Collection<PlFormula> k1, Collection<PlFormula> k2)
PlFormula	getStrongestInterpolant(Collection<PlFormula> k1, Collection<PlFormula> k2)
PlFormula	getWeakestInterpolant(Collection<PlFormula> k1, Collection<PlFormula> k2)
boolean	isInterpolant(PlFormula candidate, Collection<PlFormula> k1, Collection<PlFormula> k2)

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplePlInterpolantEnumerator

public SimplePlInterpolantEnumerator(AbstractPlReasoner reasoner)

Creates a new SimplePlInterpolantEnumerator that uses the given PL reasoner for entailment queries.

Parameters:

reasoner - some PL reasoner

Method Detail

getInterpolants

public Collection<PlFormula> getInterpolants(Collection<PlFormula> k1,
                                             Collection<PlFormula> k2)

Specified by:

getInterpolants in interface net.sf.tweety.logics.commons.analysis.InterpolantEnumerator<PlFormula>

isInterpolant

public boolean isInterpolant(PlFormula candidate,
                             Collection<PlFormula> k1,
                             Collection<PlFormula> k2)

Specified by:

isInterpolant in interface net.sf.tweety.logics.commons.analysis.InterpolantEnumerator<PlFormula>

getStrongestInterpolant

public PlFormula getStrongestInterpolant(Collection<PlFormula> k1,
                                         Collection<PlFormula> k2)

Specified by:

getStrongestInterpolant in interface net.sf.tweety.logics.commons.analysis.InterpolantEnumerator<PlFormula>

getWeakestInterpolant

public PlFormula getWeakestInterpolant(Collection<PlFormula> k1,
                                       Collection<PlFormula> k2)

Specified by:

getWeakestInterpolant in interface net.sf.tweety.logics.commons.analysis.InterpolantEnumerator<PlFormula>