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.causal.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.causal.syntax

Subclasses of PlBeliefSet in org.tweetyproject.arg.dung.causal.syntax

Modifier and Type	Class	Description
class	CausalKnowledgeBase	This class describes a causal knowledge base.
class	CausalModel	This class describes a causal model.
class	KnowledgeBase	This class describes a knowledge base.

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

Classes in org.tweetyproject.logics.pl.analysis that implement interfaces with type arguments of type PlBeliefSet

Modifier and Type	Class	Description
class	PossibleWorldDistance	This class refines interpretation distances to distance on possible worlds.
class	SimpleMinimalModelProvider	comptes all minimal models given a set of models

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)	Return the conflicts of the prime implicants
Set<InterpretationSet<Proposition, PlBeliefSet, PlFormula>>	SimpleMinimalModelProvider.getMinModels(PlBeliefSet f)
abstract List<Set<PlFormula>>	PrimeImplicantEnumerator.getPrimeImplicants(PlBeliefSet forms)	Return the prime implicants
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)	Constructor

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

Subclasses with type arguments of type PlBeliefSet in org.tweetyproject.logics.pl.parser

Modifier and Type	Class	Description
class	DimacsParser	Parser a file in Dimacs format into a PlBeliefSet.
class	PlParser	This class implements a parser for propositional logic.

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

Classes in org.tweetyproject.logics.pl.reasoner that implement interfaces with type arguments of type PlBeliefSet

Modifier and Type	Class	Description
class	AbstractPlReasoner	Abstract class for propositional logic reasoners.

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

Classes in org.tweetyproject.logics.pl.sat that implement interfaces with type arguments of type PlBeliefSet

Modifier and Type	Class	Description
class	SatSolver	Abstract class for specifying SAT solvers.
class	SimpleModelEnumerator	enumerates all models naivly
class	SimpleModelEnumerator	enumerates all models naivly

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)	Return all models satifying the 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, List<String> 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)	Return the interpetation
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, List<String> 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, List<String> 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

Subclasses with type arguments of type PlBeliefSet in org.tweetyproject.logics.pl.semantics

Modifier and Type	Class	Description
class	FuzzyInterpretation	A fuzzy interpretation for propositional logic.
class	NicePossibleWorld	Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.
class	PossibleWorld	This class represents a possible world of propositional logic, i.e.
class	PriestWorld	A three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.

Classes in org.tweetyproject.logics.pl.semantics that implement interfaces with type arguments of type PlBeliefSet

Modifier and Type	Class	Description
class	PossibleWorldIterator	Iterates effectively over all interpretation sets worlds of a given signature.

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

Subclasses with type arguments of type PlBeliefSet in org.tweetyproject.logics.pl.util

Modifier and Type	Class	Description
class	CnfSampler	A simple sampler for propositional belief bases.
class	ContensionSampler	Generates random propositional belief base with a given inconsistency measure (for the contension inconsistency measure) and of a given size.
class	HsSampler	Generates random propositional belief base with a given inconsistency measure (for the Hs inconsistency measure) and of a given size.
class	MiSampler	Generates random propositional belief base with a given inconsistency measure (for the MI inconsistency measure) and of a given size.
class	RandomSampler	This sampler generates random belief sets by selecting, for each formula a random set of possible worlds as its models.
class	RandomSatSampler	A sampler for uniform random k-SAT instances.
class	SyntacticRandomSampler	This sampler implements a random generation algorithm for generating formulas, based on the syntax tree of propositional formulas.

Classes in org.tweetyproject.logics.pl.util that implement interfaces with type arguments of type PlBeliefSet

Modifier and Type	Class	Description
class	CanonicalIterator	Provides an iterator on all syntactically equivalent knowledge bases.
class	EnumeratingIterator	This sampler enumerates all possible propositional belief bases of the given signature.
class	SyntacticEnumeratingIterator	Generates all syntactic variations of knowledge bases
class	TextfileIterator	Enumerates all belief bases from a text file; the file contains one belief base per line.

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

Subclasses with type arguments of type PlBeliefSet in org.tweetyproject.logics.qbf.parser

Modifier and Type	Class	Description
class	QCirParser	This class implements a parser for the QCIR (Quantified CIRcuit) format.

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

Subclasses with type arguments of type PlBeliefSet in org.tweetyproject.logics.qbf.semantics

Modifier and Type	Class	Description
class	QbPossibleWorld	This class represents a possible world of quantified boolean logic, i.e.

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)	Return Kb in string format

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

Subclasses with type arguments of type PlBeliefSet in org.tweetyproject.logics.translators.adfconditional

Modifier and Type	Class	Description
class	FourValuedWorld	This class models a four-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the four truth values: TRUE, FALSE, UNDECIDED, INCONSISTENT
class	ThreeValuedWorld	This class models a three-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the three truth values: TRUE, FALSE, UNDECIDED.

Classes in org.tweetyproject.logics.translators.adfconditional that implement interfaces with type arguments of type PlBeliefSet

Modifier and Type	Class	Description
class	FourValuedWorldIterator	This class iterates over all 4-valued interpretations of a given signature.

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

Subclasses with type arguments of type PlBeliefSet in org.tweetyproject.logics.translators.adfrevision

Modifier and Type	Class	Description
class	PlParserThreeValued	Adapted from "PlParser" for the use of 3-valued logic (WeakNegation and Indecision-Operator):
class	PriestWorldAdapted	This class models a three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.

Classes in org.tweetyproject.logics.translators.adfrevision that implement interfaces with type arguments of type PlBeliefSet

Modifier and Type	Class	Description
class	PriestWorldIterator	This class iterates effectively over all interpretation sets worlds of a given signature.

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)