Package org.tweetyproject.logics.pcl.analysis

Class PclDefaultConsistencyTester

java.lang.Object

org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester<ProbabilisticConditional>

org.tweetyproject.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(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 org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester

isConsistent

Methods inherited from class java.lang.Object

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

Constructor Details

PclDefaultConsistencyTester

public PclDefaultConsistencyTester(OptimizationRootFinder rootFinder)

Method Details

isConsistent

public boolean isConsistent(Collection<ProbabilisticConditional> formulas)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given collection of formulas is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<ProbabilisticConditional>

Specified by:

isConsistent in class AbstractBeliefSetConsistencyTester<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 interface BeliefSetConsistencyTester<ProbabilisticConditional>

Overrides:

isConsistent in class AbstractBeliefSetConsistencyTester<ProbabilisticConditional>

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.