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
net.sf.tweety.commons.Signature	getSignature()
Collection<PlBeliefSet>	getSyntaxComponents() Returns the set of syntax components of this belief set, i.e.
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

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.

getSyntaxComponents

public Collection<PlBeliefSet> getSyntaxComponents()

Returns the set of syntax components of this belief set, i.e. a partitioning {K1,...,Kn} of K (a disjoint union K1u...uKn=K) such that the signatures of K1,...,Kn are pairwise disjoint.

Returns:

the set of syntax components of this belief set