Uses of Class
net.sf.tweety.logics.pl.PlBeliefSet

Packages that use PlBeliefSet

Package	Description
net.sf.tweety.agents.dialogues.oppmodels
net.sf.tweety.arg.deductive
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.dung
net.sf.tweety.beliefdynamics.selectiverevision.argumentative
net.sf.tweety.logics.pl
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.util

Uses of PlBeliefSet in net.sf.tweety.agents.dialogues.oppmodels

Constructors in net.sf.tweety.agents.dialogues.oppmodels with parameters of type PlBeliefSet

Constructor and Description
DeductiveEnvironment(PlBeliefSet universalTheory) Creates a new grounded environment.

Uses of PlBeliefSet in net.sf.tweety.arg.deductive

Subclasses of PlBeliefSet in net.sf.tweety.arg.deductive

Modifier and Type	Class and Description
class	DeductiveKnowledgeBase Instances of this class represent deductive knowledge bases, i.e.

Uses of PlBeliefSet in net.sf.tweety.arg.deductive.semantics

Subclasses of PlBeliefSet in net.sf.tweety.arg.deductive.semantics

Modifier and Type	Class and Description
class	CompilationNode Instances of this class represent nodes in the compilation of a knowledge base, i.e.

Uses of PlBeliefSet in net.sf.tweety.arg.dung

Methods in net.sf.tweety.arg.dung that return PlBeliefSet

Modifier and Type	Method and Description
PlBeliefSet	AbstractExtensionReasoner.getPropositionalCharacterisation() Creates a propositional representation of the set of labelings of the underlying Dung theory that are consistent with the given semantics.
protected PlBeliefSet	StageReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	StableReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	SemiStableReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	SccCompleteReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	PreferredReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	IdealReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	GroundReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	ConflictFreeReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	CompleteReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	CF2Reasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	AdmissibleReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected abstract PlBeliefSet	AbstractExtensionReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec) Returns the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.

Uses of PlBeliefSet in net.sf.tweety.beliefdynamics.selectiverevision.argumentative

Fields in net.sf.tweety.beliefdynamics.selectiverevision.argumentative declared as PlBeliefSet

Modifier and Type	Field and Description
private PlBeliefSet	ArgumentativeTransformationFunction.beliefSet The belief set used by this transformation function.

Constructors in net.sf.tweety.beliefdynamics.selectiverevision.argumentative with parameters of type PlBeliefSet

Constructor and Description
ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical) Creates a new argumentative transformation function.

Uses of PlBeliefSet in net.sf.tweety.logics.pl

Methods in net.sf.tweety.logics.pl that return types with arguments of type PlBeliefSet

Modifier and Type	Method and Description
java.util.Collection<PlBeliefSet>	PlBeliefSet.getSyntaxComponents() Returns the set of syntax components of this belief set, i.e.

Uses of PlBeliefSet in net.sf.tweety.logics.pl.parser

Methods in net.sf.tweety.logics.pl.parser that return PlBeliefSet

Modifier and Type	Method and Description
PlBeliefSet	PlParser.parseBeliefBase(java.io.Reader reader)

Methods in net.sf.tweety.logics.pl.parser that return types with arguments of type PlBeliefSet

Modifier and Type	Method and Description
static Parser<PlBeliefSet>	PlParserFactory.getParserForFormat(PlParserFactory.Format f) Retrieves an appropriate parser for the given format.

Uses of PlBeliefSet in net.sf.tweety.logics.pl.util

Methods in net.sf.tweety.logics.pl.util that return PlBeliefSet

Modifier and Type	Method and Description
private PlBeliefSet	CanonicalEnumerator.bitset2BeliefSet(java.util.BitSet s) Parses a knowledge base (PlBeliefSet) from the the given bitset.
private PlBeliefSet	EnumeratingPlBeliefSetSampler.next() Returns the next belief set.
PlBeliefSet	CanonicalEnumerator.next()
PlBeliefSet	SyntacticRandomPlBeliefSetSampler.randomSample(int minLength, int maxLength)
PlBeliefSet	SyntacticEnumeratingPlBeliefSetSampler.randomSample(int minLength, int maxLength)
PlBeliefSet	RandomPlBeliefSetSampler.randomSample(int minLength, int maxLength)
PlBeliefSet	MiSampler.randomSample(int minLength, int maxLength)
PlBeliefSet	HsSampler.randomSample(int minLength, int maxLength)
PlBeliefSet	EnumeratingPlBeliefSetSampler.randomSample(int minLength, int maxLength)
PlBeliefSet	ContensionSampler.randomSample(int minLength, int maxLength)
PlBeliefSet	CnfSampler.randomSample(int minLength, int maxLength)

Methods in net.sf.tweety.logics.pl.util with parameters of type PlBeliefSet

Modifier and Type	Method and Description
static java.util.BitSet	CanonicalEnumerator.beliefSet2BitSet(PlBeliefSet bs) Creates a bitset representation of the given belief set.