net.sf.tweety.logics.pl

Class PlBeliefSet

java.lang.Object

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

net.sf.tweety.logics.pl.PlBeliefSet

All Implemented Interfaces:

Iterable<PropositionalFormula>, Collection<PropositionalFormula>, net.sf.tweety.commons.BeliefBase

public class PlBeliefSet
extends net.sf.tweety.commons.BeliefSet<PropositionalFormula>

This class represents a knowledge base of propositional formulae.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
PlBeliefSet() Creates a new (empty) knowledge base.
PlBeliefSet(Collection<? extends PropositionalFormula> formulas) Creates a new knowledge base with the given set of formulas.

Method Summary

Modifier and Type	Method and Description
Set<PlBeliefSet>	getMinimalInconsistentSubsets() Returns the set of minimal inconsistent subsets of this set.
net.sf.tweety.commons.Signature	getSignature()
boolean	isConsistent() Checks whether this belief set is consistent.
Conjunction	toCnf() This method returns this belief set in conjunctive normal form (CNF).

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

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

PlBeliefSet

public PlBeliefSet()

Creates a new (empty) knowledge base.

PlBeliefSet

public PlBeliefSet(Collection<? extends PropositionalFormula> formulas)

Creates a new knowledge base with the given set of formulas.

Parameters:

formulas - a set of formulas.

Method Detail

isConsistent

public boolean isConsistent()

Checks whether this belief set is consistent.

Returns:

"true" if this belief set is consistent.

getMinimalInconsistentSubsets

public Set<PlBeliefSet> getMinimalInconsistentSubsets()

Returns the set of minimal inconsistent subsets of this set.

Returns:

the set of minimal inconsistent subsets of this set.

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.BeliefBase

Specified by:

getSignature in class net.sf.tweety.commons.BeliefSet<PropositionalFormula>

toCnf

public Conjunction toCnf()

This method returns this belief set in conjunctive normal form (CNF). A formula is in CNF iff it is a conjunction of disjunctions and in NNF.

Returns:

the formula in CNF.