Uses of Class
org.tweetyproject.logics.pl.syntax.PlBeliefSet
-
-
-
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 languageMethods 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 setPlBeliefSet
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)
-