Class PclDefaultConsistencyTester
- java.lang.Object
-
- net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester<ProbabilisticConditional>
-
- net.sf.tweety.logics.pcl.analysis.PclDefaultConsistencyTester
-
- All Implemented Interfaces:
BeliefSetConsistencyTester<ProbabilisticConditional>
,ConsistencyTester<BeliefSet<ProbabilisticConditional,?>>
public class PclDefaultConsistencyTester extends AbstractBeliefSetConsistencyTester<ProbabilisticConditional>
This class is capable of checking whether a given conditional knowledge base is consistent by searching for the root of some equivalent multi-dimensional function.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description PclDefaultConsistencyTester(OptimizationRootFinder rootFinder)
-
Method Summary
Modifier and Type Method Description boolean
isConsistent(java.util.Collection<ProbabilisticConditional> formulas)
Checks whether the given collection of formulas is consistent.boolean
isConsistent(ProbabilisticConditional formula)
Checks whether the given formula is consistent.-
Methods inherited from class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent
-
-
-
-
Constructor Detail
-
PclDefaultConsistencyTester
public PclDefaultConsistencyTester(OptimizationRootFinder rootFinder)
-
-
Method Detail
-
isConsistent
public boolean isConsistent(java.util.Collection<ProbabilisticConditional> formulas)
Description copied from interface:BeliefSetConsistencyTester
Checks whether the given collection of formulas is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<ProbabilisticConditional>
- Specified by:
isConsistent
in classAbstractBeliefSetConsistencyTester<ProbabilisticConditional>
- Parameters:
formulas
- a collection of formulas.- Returns:
- "true" iff the given collection of formulas is consistent.
-
isConsistent
public boolean isConsistent(ProbabilisticConditional formula)
Description copied from interface:BeliefSetConsistencyTester
Checks whether the given formula is consistent.- Specified by:
isConsistent
in interfaceBeliefSetConsistencyTester<ProbabilisticConditional>
- Overrides:
isConsistent
in classAbstractBeliefSetConsistencyTester<ProbabilisticConditional>
- Parameters:
formula
- a formulas.- Returns:
- "true" iff the formula is consistent.
-
-