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.reasoner
Methods in net.sf.tweety.arg.adf.reasoner that return PlBeliefSet Modifier and Type Method Description PlBeliefSet
SatModelReasoner. getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,PlFormula> cache)
returns a propositional characterisation of the reasoning problemMethod parameters in net.sf.tweety.arg.adf.reasoner with type arguments of type PlBeliefSet Modifier and Type Method Description Interpretation
SatEncoding. interpretationFromWitness(Interpretation<PlBeliefSet,PlFormula> witness)
-
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 abstract Interpretation<PlBeliefSet,PlFormula>
IncrementalSatSolver. getWitness(SatSolverState state)
Interpretation<PlBeliefSet,PlFormula>
NativeLingelingSolver. getWitness(java.util.Collection<PlFormula> formulas)
Interpretation<PlBeliefSet,PlFormula>
NativeLingelingSolver. getWitness(SatSolverState state)
-
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.protected abstract PlBeliefSet
AbstractSatExtensionReasoner. getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
Returns the semantic-specific propositional characterization of the underlying Dung theory, seegetPropositionalCharacterisation
.protected PlBeliefSet
SatCompleteReasoner. getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet
SatStableReasoner. getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
-
Uses of PlBeliefSet in net.sf.tweety.beliefdynamics.selectiverevision.argumentative
Fields in net.sf.tweety.beliefdynamics.selectiverevision.argumentative declared as PlBeliefSet Modifier and Type Field Description private PlBeliefSet
ArgumentativeTransformationFunction. beliefSet
The belief set used by this transformation function.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.analysis
Fields in net.sf.tweety.logics.pl.analysis with type parameters of type PlBeliefSet Modifier and Type Field Description private ConsistencyWitnessProvider<PlBeliefSet,PlFormula>
ContensionInconsistencyMeasurementProcess. witnessProvider
The witness provider used.private ConsistencyWitnessProvider<PlBeliefSet,PlFormula>
HsInconsistencyMeasurementProcess. witnessProvider
The witness provider used. -
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>
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)
-
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 private PlBeliefSet
CanonicalIterator. bitset2BeliefSet(java.util.BitSet s)
Parses a knowledge base (PlBeliefSet) from the the given bitset.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)
-