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

Packages that use PlBeliefSet

Package	Description
net.sf.tweety.agents.dialogues.oppmodels
net.sf.tweety.arg.adf.reasoner.encodings
net.sf.tweety.arg.adf.sat
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.deductive.syntax
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.beliefdynamics.selectiverevision.argumentative
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.reasoner
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.pl.writer
net.sf.tweety.logics.qbf.parser
net.sf.tweety.logics.qbf.reasoner
net.sf.tweety.logics.qbf.semantics
net.sf.tweety.logics.qbf.writer

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

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

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

Uses of PlBeliefSet in net.sf.tweety.arg.adf.reasoner.encodings

Method parameters in net.sf.tweety.arg.adf.reasoner.encodings with type arguments of type PlBeliefSet

Modifier and Type	Method	Description
Interpretation	SatEncodingContext.interpretationFromWitness(Interpretation<PlBeliefSet,PlFormula> witness)	Constructs an ADF interpretation from the given SAT witness.

Uses of PlBeliefSet in net.sf.tweety.arg.adf.sat

Methods in net.sf.tweety.arg.adf.sat that return types with arguments of type PlBeliefSet

Modifier and Type	Method	Description
Interpretation<PlBeliefSet,PlFormula>	NativeLingelingSolver.getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>	SimpleIncrementalSatSolver.getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>	NativeLingelingSolver.LingelingSolverState.witness()
Interpretation<PlBeliefSet,PlFormula>	SatSolverState.witness()
Interpretation<PlBeliefSet,PlFormula>	SimpleSatSolverState.witness()

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

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

Modifier and Type	Class	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.deductive.syntax

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

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

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

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

Modifier and Type	Method	Description
PlBeliefSet	AbstractSatExtensionReasoner.getPropositionalCharacterisation(DungTheory aaf)	Creates a propositional representation of the set of labelings of the given Dung theory that are consistent with the given semantics.
protected abstract PlBeliefSet	AbstractSatExtensionReasoner.getPropositionalCharacterisationBySemantics(DungTheory aaf, 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.
protected PlBeliefSet	SatCompleteReasoner.getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet	SatStableReasoner.getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)

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	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	Description
ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical)	Creates a new argumentative transformation function.

Uses of PlBeliefSet in net.sf.tweety.logics.pcl.semantics

Classes in net.sf.tweety.logics.pcl.semantics with type parameters of type PlBeliefSet

Modifier and Type	Class	Description
class	ProbabilityDistribution<T extends Interpretation<PlBeliefSet,PlFormula>>	This class represents a probability distribution on some logical language

Methods in net.sf.tweety.logics.pcl.semantics with type parameters of type PlBeliefSet

Modifier and Type	Method	Description
static <S extends Interpretation<PlBeliefSet,PlFormula>> ProbabilityDistribution<S>	ProbabilityDistribution.convexCombination(double[] factors, ProbabilityDistribution<S>[] creators)	Computes the convex combination of the given probability distributions P1,...,PN with parameters factors, i.e.
static <S extends Interpretation<PlBeliefSet,PlFormula>> ProbabilityDistribution<S>	ProbabilityDistribution.getUniformDistribution(java.util.Set<S> interpretations, Signature sig)	Returns the uniform distribution on the given interpretations.

Method parameters in net.sf.tweety.logics.pcl.semantics with type arguments of type PlBeliefSet

Modifier and Type	Method	Description
Probability	ProbabilityDistribution.probability(Interpretation<PlBeliefSet,PlFormula> w)	Gets the probability of the given Herbrand interpretation (this is just an alias for get(Object o).

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

Fields in net.sf.tweety.logics.pl.analysis with type parameters of type PlBeliefSet

Modifier and Type	Field	Description
private ConsistencyWitnessProvider<PlBeliefSet,PlFormula>	ContensionInconsistencyMeasurementProcess.witnessProvider	The witness provider used.
private ConsistencyWitnessProvider<PlBeliefSet,PlFormula>	HsInconsistencyMeasurementProcess.witnessProvider	The witness provider used.

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	Description
PlBeliefSet	DimacsParser.parseBeliefBase(java.io.Reader reader)
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	Description
static Parser<PlBeliefSet,PlFormula>	PlParserFactory.getParserForFormat(PlParserFactory.Format f)	Retrieves an appropriate parser for the given format.

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

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

Modifier and Type	Method	Description
abstract java.lang.Boolean	AbstractPlReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
java.lang.Boolean	SatReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
java.lang.Boolean	SimplePlReasoner.query(PlBeliefSet beliefbase, PlFormula formula)

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

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

Modifier and Type	Method	Description
Interpretation<PlBeliefSet,PlFormula>	LingelingSolver.getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>	MaxSatSolver.getWitness(java.util.Collection<PlFormula> formulas)
abstract Interpretation<PlBeliefSet,PlFormula>	MaxSatSolver.getWitness(java.util.Collection<PlFormula> hardConstraints, java.util.Map<PlFormula,java.lang.Integer> softConstraints)	Returns an interpretation with maximal weight on the soft constraints (or null if the hard constraints are not satisfiable)
Interpretation<PlBeliefSet,PlFormula>	OpenWboSolver.getWitness(java.util.Collection<PlFormula> hardConstraints, java.util.Map<PlFormula,java.lang.Integer> softConstraints)
Interpretation<PlBeliefSet,PlFormula>	Sat4jSolver.getWitness(java.util.Collection<PlFormula> formulas)
abstract Interpretation<PlBeliefSet,PlFormula>	SatSolver.getWitness(java.util.Collection<PlFormula> formulas)	If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
Interpretation<PlBeliefSet,PlFormula>	SatSolver.getWitness(BeliefSet<PlFormula,?> bs)
Interpretation<PlBeliefSet,PlFormula>	SatSolver.getWitness(PlFormula formula)
Interpretation<PlBeliefSet,PlFormula>	SimpleDpllSolver.getWitness(java.util.Collection<PlFormula> formulas)

Method parameters in net.sf.tweety.logics.pl.sat with type arguments of type PlBeliefSet

Modifier and Type	Method	Description
static int	MaxSatSolver.costOf(Interpretation<PlBeliefSet,PlFormula> interpretation, java.util.Collection<PlFormula> hardConstraints, java.util.Map<PlFormula,java.lang.Integer> softConstraints)	Returns the cost of the given interpretation, i.e.

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

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

Modifier and Type	Method	Description
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(java.util.Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Signature sig)

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

Modifier and Type	Method	Description
boolean	FuzzyInterpretation.satisfies(PlBeliefSet beliefBase)
boolean	NicePossibleWorld.satisfies(PlBeliefSet beliefBase)
boolean	PossibleWorld.satisfies(PlBeliefSet beliefBase)
boolean	PriestWorld.satisfies(PlBeliefSet beliefBase)

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

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

Modifier and Type	Method	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.util

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

Modifier and Type	Method	Description
private PlBeliefSet	CanonicalIterator.bitset2BeliefSet(java.util.BitSet s)	Parses a knowledge base (PlBeliefSet) from the the given bitset.
PlBeliefSet	CanonicalIterator.next()
PlBeliefSet	CnfSampler.next()
PlBeliefSet	ContensionSampler.next()
PlBeliefSet	EnumeratingIterator.next()
PlBeliefSet	HsSampler.next()
PlBeliefSet	MiSampler.next()
PlBeliefSet	RandomSampler.next()
PlBeliefSet	RandomSatSampler.next()
PlBeliefSet	SyntacticEnumeratingIterator.next()
PlBeliefSet	SyntacticRandomSampler.next()	Returns the next belief set
PlBeliefSet	TextfileIterator.next()

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

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

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

Constructors in net.sf.tweety.logics.pl.writer with parameters of type PlBeliefSet

Constructor	Description
PlWriter(PlBeliefSet plBeliefSet)

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

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

Modifier and Type	Method	Description
PlBeliefSet	QbfParser.parseBeliefBase(java.io.Reader reader)
PlBeliefSet	QCirParser.parseBeliefBase(java.io.Reader reader)
PlBeliefSet	QdimacsParser.parseBeliefBase(java.io.Reader reader)

Uses of PlBeliefSet in net.sf.tweety.logics.qbf.reasoner

Methods in net.sf.tweety.logics.qbf.reasoner with parameters of type PlBeliefSet

Modifier and Type	Method	Description
java.lang.Boolean	NaiveQbfReasoner.query(PlBeliefSet beliefbase, PlFormula formula)

Uses of PlBeliefSet in net.sf.tweety.logics.qbf.semantics

Methods in net.sf.tweety.logics.qbf.semantics with parameters of type PlBeliefSet

Modifier and Type	Method	Description
boolean	QbPossibleWorld.satisfies(PlBeliefSet beliefBase)	Checks whether this interpretation satisfies the given formula.

Uses of PlBeliefSet in net.sf.tweety.logics.qbf.writer

Methods in net.sf.tweety.logics.qbf.writer with parameters of type PlBeliefSet

Modifier and Type	Method	Description
java.lang.String	QdimacsWriter.printBase(PlBeliefSet kb)