Uses of Class
org.tweetyproject.logics.pl.syntax.PlBeliefSet
Package
Description
-
Uses of PlBeliefSet in org.tweetyproject.agents.dialogues.oppmodels
ModifierConstructorDescriptionDeductiveEnvironment(PlBeliefSet universalTheory)
Creates a new grounded environment. -
Uses of PlBeliefSet in org.tweetyproject.arg.deductive.semantics
Modifier and TypeClassDescriptionclass
Instances of this class represent nodes in the compilation of a knowledge base, i.e. -
Uses of PlBeliefSet in org.tweetyproject.arg.deductive.syntax
Modifier and TypeClassDescriptionclass
Instances of this class represent deductive knowledge bases, i.e. -
Uses of PlBeliefSet in org.tweetyproject.arg.dung.reasoner
Modifier and TypeMethodDescriptionAbstractSatExtensionReasoner.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
ModifierConstructorDescriptionArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical)
Creates a new argumentative transformation function. -
Uses of PlBeliefSet in org.tweetyproject.logics.pcl.semantics
Modifier and TypeClassDescriptionclass
ProbabilityDistribution<T extends Interpretation<PlBeliefSet,PlFormula>>
This class represents a probability distribution on some logical languageModifier and TypeMethodDescriptionstatic <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.Modifier and TypeMethodDescriptionProbabilityDistribution.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
Modifier and TypeMethodDescriptionContensionSatInconsistencyMeasure.getSATEncoding(Collection<PlFormula> kb, int upper_bound)
DHitSatInconsistencyMeasure.getSATEncoding(Collection<PlFormula> kb, int upper_bound)
DMaxSatInconsistencyMeasure.getSATEncoding(Collection<PlFormula> kb, int upper_bound)
DSumSatInconsistencyMeasure.getSATEncoding(Collection<PlFormula> kb, int upper_bound)
-
Uses of PlBeliefSet in org.tweetyproject.logics.pl.parser
Modifier and TypeMethodDescriptionDimacsParser.parseBeliefBase(Reader reader)
PlParser.parseBeliefBase(Reader reader)
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionabstract Boolean
AbstractPlReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
SatReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
SimplePlReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
-
Uses of PlBeliefSet in org.tweetyproject.logics.pl.sat
Modifier and TypeMethodDescriptionCmdLineSatSolver.getWitness(Collection<PlFormula> formulas)
MaxSatSolver.getWitness(Collection<PlFormula> formulas)
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)OpenWboSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula,Integer> softConstraints)
Sat4jSolver.getWitness(Collection<PlFormula> formulas)
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.SatSolver.getWitness(BeliefSet<PlFormula,?> bs)
SatSolver.getWitness(PlFormula formula)
SimpleDpllSolver.getWitness(Collection<PlFormula> formulas)
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionPossibleWorldIterator.reset()
PossibleWorldIterator.reset(Collection<? extends Formula> formulas)
Modifier and TypeMethodDescriptionboolean
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
Modifier and TypeMethodDescriptionPlBeliefSet.getSyntaxComponents()
Returns the set of syntax components of this belief set, i.e. -
Uses of PlBeliefSet in org.tweetyproject.logics.pl.util
Modifier and TypeMethodDescriptionstatic PlBeliefSet
CardinalityConstraintEncoder.getBinomialEncoding(Collection<Proposition> atoms, int atMost)
Returns a naive SAT encoding of the given cardinality constraint.CardinalityConstraintEncoder.getSatEncoding()
Returns a SAT encoding of this cardinality constraint.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.CanonicalIterator.next()
CnfSampler.next()
ContensionSampler.next()
EnumeratingIterator.next()
HsSampler.next()
MiSampler.next()
RandomSampler.next()
RandomSatSampler.next()
SyntacticEnumeratingIterator.next()
SyntacticRandomSampler.next()
Returns the next belief setTextfileIterator.next()
Modifier and TypeMethodDescriptionstatic BitSet
CanonicalIterator.beliefSet2BitSet(PlBeliefSet bs)
Creates a bitset representation of the given belief set. -
Uses of PlBeliefSet in org.tweetyproject.logics.pl.writer
ModifierConstructorDescriptionPlWriter(PlBeliefSet plBeliefSet)
Creates a new PlWriter for the given belief set. -
Uses of PlBeliefSet in org.tweetyproject.logics.qbf.parser
Modifier and TypeMethodDescriptionQbfParser.parseBeliefBase(Reader reader)
QCirParser.parseBeliefBase(Reader reader)
QdimacsParser.parseBeliefBase(Reader reader)
-
Uses of PlBeliefSet in org.tweetyproject.logics.qbf.reasoner
Modifier and TypeMethodDescriptionNaiveQbfReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
-
Uses of PlBeliefSet in org.tweetyproject.logics.qbf.semantics
Modifier and TypeMethodDescriptionboolean
QbPossibleWorld.satisfies(PlBeliefSet beliefBase)
Checks whether this interpretation satisfies the given formula. -
Uses of PlBeliefSet in org.tweetyproject.logics.qbf.writer
-
Uses of PlBeliefSet in org.tweetyproject.logics.translators.adfcl
Modifier and TypeMethodDescriptionPriestWorldIterator.reset()
PriestWorldIterator.reset(Collection<? extends Formula> formulas)