Uses of Class
org.tweetyproject.logics.pl.syntax.PlBeliefSet

Packages that use PlBeliefSet

Package	Description
org.tweetyproject.agents.dialogues.oppmodels
org.tweetyproject.arg.deductive.semantics
org.tweetyproject.arg.deductive.syntax
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.beliefdynamics.selectiverevision.argumentative
org.tweetyproject.logics.pcl.semantics
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.parser
org.tweetyproject.logics.pl.reasoner
org.tweetyproject.logics.pl.sat
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.pl.util
org.tweetyproject.logics.pl.writer
org.tweetyproject.logics.qbf.parser
org.tweetyproject.logics.qbf.reasoner
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.logics.qbf.writer

Uses of PlBeliefSet in org.tweetyproject.agents.dialogues.oppmodels

Constructors in org.tweetyproject.agents.dialogues.oppmodels with parameters of type PlBeliefSet

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

Uses of PlBeliefSet in org.tweetyproject.arg.deductive.semantics

Subclasses of PlBeliefSet in org.tweetyproject.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 org.tweetyproject.arg.deductive.syntax

Subclasses of PlBeliefSet in org.tweetyproject.arg.deductive.syntax

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

Uses of PlBeliefSet in org.tweetyproject.arg.dung.reasoner

Methods in org.tweetyproject.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.

Uses of PlBeliefSet in org.tweetyproject.beliefdynamics.selectiverevision.argumentative

Constructors in org.tweetyproject.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 org.tweetyproject.logics.pcl.semantics

Classes in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.pl.analysis

Methods in org.tweetyproject.logics.pl.analysis that return PlBeliefSet

Modifier and Type	Method	Description
PlBeliefSet	ContensionSatInconsistencyMeasure.getSATEncoding(java.util.Collection<PlFormula> kb, int upper_bound)
PlBeliefSet	DHitSatInconsistencyMeasure.getSATEncoding(java.util.Collection<PlFormula> kb, int upper_bound)
PlBeliefSet	DMaxSatInconsistencyMeasure.getSATEncoding(java.util.Collection<PlFormula> kb, int upper_bound)
PlBeliefSet	DSumSatInconsistencyMeasure.getSATEncoding(java.util.Collection<PlFormula> kb, int upper_bound)

Uses of PlBeliefSet in org.tweetyproject.logics.pl.parser

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.pl.reasoner

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.sat

Methods in org.tweetyproject.logics.pl.sat that return types with arguments of type PlBeliefSet

Modifier and Type	Method	Description
Interpretation<PlBeliefSet,PlFormula>	CmdLineSatSolver.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 org.tweetyproject.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 org.tweetyproject.logics.pl.semantics

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.logics.pl.syntax that return PlBeliefSet

Modifier and Type	Method	Description
static PlBeliefSet	CardinalityConstraint.getBinomialEncoding(java.util.Collection<Proposition> atoms, int atMost)	Returns a naive SAT encoding of the given cardinality constraint.
PlBeliefSet	CardinalityConstraint.getSatEncoding()	Returns a SAT encoding of this cardinality constraint.
PlBeliefSet	CardinalityConstraint.getSatEncoding(java.lang.String name)	Returns a SAT encoding of this cardinality constraint.
static PlBeliefSet	CardinalityConstraint.getSequentialCounterEncoding(java.util.Collection<Proposition> atoms, int atMost, java.lang.String name)	Returns a SAT encoding of the given cardinality constraint based on the method of [Sinz.

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.util

Methods in org.tweetyproject.logics.pl.util that return PlBeliefSet

Modifier and Type	Method	Description
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 org.tweetyproject.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 org.tweetyproject.logics.pl.writer

Constructors in org.tweetyproject.logics.pl.writer with parameters of type PlBeliefSet

Constructor	Description
PlWriter(PlBeliefSet plBeliefSet)	Creates a new PlWriter for the given belief set.

Uses of PlBeliefSet in org.tweetyproject.logics.qbf.parser

Methods in org.tweetyproject.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 org.tweetyproject.logics.qbf.reasoner

Methods in org.tweetyproject.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 org.tweetyproject.logics.qbf.semantics

Methods in org.tweetyproject.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 org.tweetyproject.logics.qbf.writer

Methods in org.tweetyproject.logics.qbf.writer with parameters of type PlBeliefSet

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