net.sf.tweety.logics.pl

Class ClassicalEntailment

java.lang.Object

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

net.sf.tweety.logics.pl.ClassicalEntailment

public class ClassicalEntailment
extends EntailmentRelation<PropositionalFormula>

This class implements classical entailment for propositional logic.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ClassicalEntailment()

Method Summary

Modifier and Type	Method and Description
boolean	entails(java.util.Collection<PropositionalFormula> formulas, PropositionalFormula formula) Checks whether the given set of formulas entails the given formula.
Interpretation	getWitness(java.util.Collection<PropositionalFormula> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
boolean	isConsistent(java.util.Collection<PropositionalFormula> formulas) Checks whether the given set of formulas is consistent.

Methods inherited from class net.sf.tweety.commons.EntailmentRelation

entails, entails, entails, getKernels, isEquivalent

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassicalEntailment

public ClassicalEntailment()

Method Detail

entails

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

Description copied from class: EntailmentRelation

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

Specified by:

entails in class EntailmentRelation<PropositionalFormula>

Parameters:

formulas - a collection of formulas.

formula - some formula.

Returns:

"true" if the set of formulas entails the formula

isConsistent

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

Description copied from class: EntailmentRelation

Checks whether the given set of formulas is consistent.

Specified by:

isConsistent in class EntailmentRelation<PropositionalFormula>

Parameters:

formulas - a set of formulas.

Returns:

"true" if the set is consistent.

getWitness

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

Description copied from class: EntailmentRelation

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

Specified by:

getWitness in class EntailmentRelation<PropositionalFormula>

Returns:

some model of the formulas or null.