Package net.sf.tweety.logics.pcl.analysis

Class PclDefaultConsistencyTester

java.lang.Object

net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester<ProbabilisticConditional>

net.sf.tweety.logics.pcl.analysis.PclDefaultConsistencyTester

All Implemented Interfaces:

net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester<ProbabilisticConditional>, net.sf.tweety.logics.commons.analysis.ConsistencyTester<net.sf.tweety.commons.BeliefSet<ProbabilisticConditional,?>>

public class PclDefaultConsistencyTester
extends net.sf.tweety.logics.commons.analysis.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(net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder)

Method Summary

Modifier and Type	Method	Description
boolean	isConsistent(Collection<ProbabilisticConditional> formulas)
boolean	isConsistent(ProbabilisticConditional formula)

Methods inherited from class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester

isConsistent

Methods inherited from class java.lang.Object

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

Constructor Detail

PclDefaultConsistencyTester

public PclDefaultConsistencyTester(net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder)

Method Detail

isConsistent

public boolean isConsistent(Collection<ProbabilisticConditional> formulas)

Specified by:

isConsistent in interface net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester<ProbabilisticConditional>

Specified by:

isConsistent in class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester<ProbabilisticConditional>

isConsistent

public boolean isConsistent(ProbabilisticConditional formula)

Specified by:

isConsistent in interface net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester<ProbabilisticConditional>

Overrides:

isConsistent in class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester<ProbabilisticConditional>