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:

java.lang.Iterable<PropositionalFormula>, java.util.Collection<PropositionalFormula>, BeliefBase

Direct Known Subclasses:

CompilationNode, DeductiveKnowledgeBase

public class PlBeliefSet
extends 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(java.util.Collection<? extends PropositionalFormula> formulas) Creates a new knowledge base with the given set of formulas.

Method Summary

Modifier and Type	Method and Description
Signature	getSignature() Returns the signature of the language of this knowledge base.
java.util.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(java.util.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 Signature getSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Specified by:

getSignature in interface BeliefBase

Specified by:

getSignature in class BeliefSet<PropositionalFormula>

Returns:

the signature of the language of this knowledge base.

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 java.util.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