net.sf.tweety.commons

Class EntailmentRelation<T extends Formula>

java.lang.Object

net.sf.tweety.commons.EntailmentRelation<T>

Type Parameters:

T - The type of formula the relation works on.

Direct Known Subclasses:

ClassicalEntailment

public abstract class EntailmentRelation<T extends Formula>
extends java.lang.Object

An entailment relation determines whether a formula is entailed from another formula.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
EntailmentRelation()

Method Summary

Modifier and Type	Method and Description
boolean	entails(java.util.Collection<T> formulas, java.util.Collection<T> formulas2) Checks whether the given set of formulas entails the other set of formulas.
abstract boolean	entails(java.util.Collection<T> formulas, T formula) Checks whether the given set of formulas entails the given formula.
boolean	entails(T formula, java.util.Collection<T> formulas2) Checks whether the first formula entails the other set of formulas.
boolean	entails(T formula, T formula2) Checks whether the first formula entails the second formula.
java.util.Collection<java.util.Collection<T>>	getKernels(java.util.Collection<T> formulas, T formula) Retrieves the set of kernels for the given formula from the given set of formulas.
abstract Interpretation	getWitness(java.util.Collection<T> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
abstract boolean	isConsistent(java.util.Collection<T> formulas) Checks whether the given set of formulas is consistent.
boolean	isEquivalent(T formula, T formula2) Checks whether the two formula are equivalent, i.e.

Methods inherited from class java.lang.Object

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

Constructor Detail

EntailmentRelation

public EntailmentRelation()

Method Detail

entails

public abstract boolean entails(java.util.Collection<T> formulas,
                                T formula)

Checks whether the given set of formulas entails the given formula.

Parameters:

formulas - a collection of formulas.

formula - some formula.

Returns:

"true" if the set of formulas entails the formula

isConsistent

public abstract boolean isConsistent(java.util.Collection<T> formulas)

Checks whether the given set of formulas is consistent.

Parameters:

formulas - a set of formulas.

Returns:

"true" if the set is consistent.

getWitness

public abstract Interpretation getWitness(java.util.Collection<T> formulas)

If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.

Returns:

some model of the formulas or null.

entails

public boolean entails(java.util.Collection<T> formulas,
                       java.util.Collection<T> formulas2)

Checks whether the given set of formulas entails the other set of formulas.

Parameters:

formulas - a collection of formulas.

formulas2 - a collection of formulas.

Returns:

"true" if the former entails the latter.

entails

public boolean entails(T formula,
                       T formula2)

Checks whether the first formula entails the second formula.

Parameters:

formula - a formula.

formula2 - a formula.

Returns:

"true" if the former entails the latter.

entails

public boolean entails(T formula,
                       java.util.Collection<T> formulas2)

Checks whether the first formula entails the other set of formulas.

Parameters:

formula - a formula.

formulas2 - a set of formulas.

Returns:

"true" if the former entails the latter.

isEquivalent

public boolean isEquivalent(T formula,
                            T formula2)

Checks whether the two formula are equivalent, i.e. whether the first entails the second and vice versa.

Parameters:

formula - some formula

formula2 - some formula

Returns:

"true" iff the two formulas are equivalent.

getKernels

public java.util.Collection<java.util.Collection<T>> getKernels(java.util.Collection<T> formulas,
                                                                T formula)

Retrieves the set of kernels for the given formula from the given set of formulas.

Parameters:

formulas - a set of formulas.

formula - a formula.

Returns:

the collection of kernels