Uses of Class
net.sf.tweety.logics.pl.syntax.PlBeliefSet
-
-
-
Uses of PlBeliefSet in net.sf.tweety.agents.dialogues.oppmodels
Constructors in net.sf.tweety.agents.dialogues.oppmodels with parameters of type PlBeliefSet Constructor Description DeductiveEnvironment(PlBeliefSet universalTheory)
Creates a new grounded environment. -
Uses of PlBeliefSet in net.sf.tweety.arg.adf.sat
Methods in net.sf.tweety.arg.adf.sat that return types with arguments of type PlBeliefSet Modifier and Type Method Description Interpretation<PlBeliefSet,PlFormula>
IncrementalSatSolver. getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>
SimpleIncrementalSatSolver. getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>
AsynchronousCloseSatSolverState. witness()
Interpretation<PlBeliefSet,PlFormula>
AsynchronousSatSolverState. witness()
Interpretation<PlBeliefSet,PlFormula>
SatSolverState. witness()
Returns a witness of the satisfiability of all the clauses in the state, ornull
if the state is unsatisfiable.Interpretation<PlBeliefSet,PlFormula>
SimpleSatSolverState. witness()
-
Uses of PlBeliefSet in net.sf.tweety.arg.adf.semantics.interpretation
Method parameters in net.sf.tweety.arg.adf.semantics.interpretation with type arguments of type PlBeliefSet Modifier and Type Method Description static Interpretation
Interpretation. fromWitness(Interpretation<PlBeliefSet,PlFormula> witness, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding. -
Uses of PlBeliefSet in net.sf.tweety.arg.deductive.semantics
Subclasses of PlBeliefSet in net.sf.tweety.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 net.sf.tweety.arg.deductive.syntax
Subclasses of PlBeliefSet in net.sf.tweety.arg.deductive.syntax Modifier and Type Class Description class
DeductiveKnowledgeBase
Instances of this class represent deductive knowledge bases, i.e. -
Uses of PlBeliefSet in net.sf.tweety.arg.dung.reasoner
Methods in net.sf.tweety.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 net.sf.tweety.beliefdynamics.selectiverevision.argumentative
Constructors in net.sf.tweety.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 net.sf.tweety.logics.pcl.semantics
Classes in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.pl.parser
Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.pl.reasoner
Methods in net.sf.tweety.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 net.sf.tweety.logics.pl.sat
Methods in net.sf.tweety.logics.pl.sat that return types with arguments of type PlBeliefSet Modifier and Type Method Description Interpretation<PlBeliefSet,PlFormula>
LingelingSolver. 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 net.sf.tweety.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 net.sf.tweety.logics.pl.semantics
Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.pl.syntax
Methods in net.sf.tweety.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 net.sf.tweety.logics.pl.util
Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.pl.writer
Constructors in net.sf.tweety.logics.pl.writer with parameters of type PlBeliefSet Constructor Description PlWriter(PlBeliefSet plBeliefSet)
-
Uses of PlBeliefSet in net.sf.tweety.logics.qbf.parser
Methods in net.sf.tweety.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 net.sf.tweety.logics.qbf.reasoner
Methods in net.sf.tweety.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 net.sf.tweety.logics.qbf.semantics
Methods in net.sf.tweety.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 net.sf.tweety.logics.qbf.writer
Methods in net.sf.tweety.logics.qbf.writer with parameters of type PlBeliefSet Modifier and Type Method Description java.lang.String
QdimacsWriter. printBase(PlBeliefSet kb)
-