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
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfrevision

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

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

Modifier	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

Modifier	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(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

Fields in org.tweetyproject.logics.pl.analysis with type parameters of type PlBeliefSet

Modifier and Type	Field	Description
MinimalModelProvider<Proposition,PlBeliefSet,PlFormula>	SimplePrimeImplicantEnumerator.minModelProvider	minimal model provider
ModelProvider<?,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleMinimalModelProvider.modelProvider	model provider
ModelProvider<?,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleMinimalModelProvider.modelProvider	model provider

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

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

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

Modifier and Type	Method	Description
Set<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleMinimalModelProvider.getMinModels(PlBeliefSet f)

Methods in org.tweetyproject.logics.pl.analysis with parameters of type PlBeliefSet

Modifier and Type	Method	Description
Set<PlFormula>	PrimeImplicantBasedInconsistencyMeasure.getConflicts(PlBeliefSet beliefSet)
Set<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleMinimalModelProvider.getMinModels(PlBeliefSet f)
abstract List<Set<PlFormula>>	PrimeImplicantEnumerator.getPrimeImplicants(PlBeliefSet forms)
List<Set<PlFormula>>	SimplePrimeImplicantEnumerator.getPrimeImplicants(PlBeliefSet forms)

Constructor parameters in org.tweetyproject.logics.pl.analysis with type arguments of type PlBeliefSet

Modifier	Constructor	Description
	SimpleMinimalModelProvider(ModelProvider<?,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>> modelProvider)	standard constructor with model provider
	SimpleMinimalModelProvider(ModelProvider<?,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>> modelProvider)	standard constructor with model provider
	SimplePrimeImplicantEnumerator(MinimalModelProvider<Proposition,PlBeliefSet,PlFormula> minModelProvider)

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(Reader reader)
PlBeliefSet	PlParser.parseBeliefBase(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 Boolean	AbstractPlReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
Boolean	SatReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
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
InterpretationSet<Proposition,PlBeliefSet,PlFormula>	SimpleModelEnumerator.getModel(PlBeliefSet bbase)
Set<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleModelEnumerator.getModels(Collection<PlFormula> formulas)
Collection<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleModelEnumerator.getModels(PlBeliefSet bbase)
Interpretation<PlBeliefSet,PlFormula>	CmdLineSatSolver.getWitness(Collection<PlFormula> formulas, Map<Proposition,Integer> prop_index, Map<Integer,Proposition> prop_inverted_index, String additional_clauses, int num_additional_clauses)
Interpretation<PlBeliefSet,PlFormula>	DimacsMaxSatSolver.getWitness(Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>	DimacsMaxSatSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula,Integer> softConstraints)	interpretation of formulas
abstract Interpretation<PlBeliefSet,PlFormula>	DimacsMaxSatSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula,Integer> softConstraints, Map<Proposition,Integer> prop_index, Map<Integer,Proposition> prop_inverted_index)
Interpretation<PlBeliefSet,PlFormula>	DimacsSatSolver.getWitness(Collection<PlFormula> formulas)	If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
abstract Interpretation<PlBeliefSet,PlFormula>	DimacsSatSolver.getWitness(Collection<PlFormula> formulas, Map<Proposition,Integer> prop_index, Map<Integer,Proposition> prop_inverted_index, String additional_clauses, int num_additional_clauses)	If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
abstract Interpretation<PlBeliefSet,PlFormula>	MaxSatSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula,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(Collection<PlFormula> hardConstraints, Map<PlFormula,Integer> softConstraints, Map<Proposition,Integer> prop_index, Map<Integer,Proposition> prop_inverted_index)
Interpretation<PlBeliefSet,PlFormula>	Sat4jSolver.getWitness(Collection<PlFormula> formulas, Map<Proposition,Integer> prop_index, Map<Integer,Proposition> prop_inverted_index, String additional_clauses, int num_additional_clauses)
abstract Interpretation<PlBeliefSet,PlFormula>	SatSolver.getWitness(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(Collection<PlFormula> formulas)

Methods in org.tweetyproject.logics.pl.sat with parameters of type PlBeliefSet

Modifier and Type	Method	Description
InterpretationSet<Proposition,PlBeliefSet,PlFormula>	SimpleModelEnumerator.getModel(PlBeliefSet bbase)
Collection<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleModelEnumerator.getModels(PlBeliefSet bbase)

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, Collection<PlFormula> hardConstraints, Map<PlFormula,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(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 types with arguments of type PlBeliefSet

Modifier and Type	Method	Description
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
static PlBeliefSet	CardinalityConstraintEncoder.getBinomialEncoding(Collection<Proposition> atoms, int atMost)	Returns a naive SAT encoding of the given cardinality constraint.
PlBeliefSet	CardinalityConstraintEncoder.getSatEncoding()	Returns a SAT encoding of this cardinality constraint.
PlBeliefSet	CardinalityConstraintEncoder.getSatEncoding(String name)	Returns a SAT encoding of this cardinality constraint.
static PlBeliefSet	CardinalityConstraintEncoder.getSequentialCounterEncoding(Collection<Proposition> atoms, int atMost, String name)	Returns a SAT encoding of the given cardinality constraint based on the method of [Sinz.
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 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

Modifier	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(Reader reader)
PlBeliefSet	QCirParser.parseBeliefBase(Reader reader)
PlBeliefSet	QdimacsParser.parseBeliefBase(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
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
String	QdimacsWriter.printBase(PlBeliefSet kb)

Uses of PlBeliefSet in org.tweetyproject.logics.translators.adfconditional

Methods in org.tweetyproject.logics.translators.adfconditional that return types with arguments of type PlBeliefSet

Modifier and Type	Method	Description
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset(Signature sig)

Methods in org.tweetyproject.logics.translators.adfconditional with parameters of type PlBeliefSet

Modifier and Type	Method	Description
boolean	FourValuedWorld.satisfies(PlBeliefSet beliefBase)
boolean	ThreeValuedWorld.satisfies(PlBeliefSet beliefBase)

Uses of PlBeliefSet in org.tweetyproject.logics.translators.adfrevision

Methods in org.tweetyproject.logics.translators.adfrevision that return PlBeliefSet

Modifier and Type	Method	Description
PlBeliefSet	PlParserThreeValued.parseBeliefBase(Reader reader)

Methods in org.tweetyproject.logics.translators.adfrevision that return types with arguments of type PlBeliefSet

Modifier and Type	Method	Description
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset(Signature sig)

Methods in org.tweetyproject.logics.translators.adfrevision with parameters of type PlBeliefSet

Modifier and Type	Method	Description
boolean	PriestWorldAdapted.satisfies(PlBeliefSet beliefBase)