Constructor and Description |
---|
DeductiveEnvironment(PlBeliefSet universalTheory)
Creates a new grounded environment.
|
Modifier and Type | Class and Description |
---|---|
class |
CompilationNode
Instances of this class represent nodes in the compilation of
a knowledge base, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
DeductiveKnowledgeBase
Instances of this class represent deductive knowledge bases,
i.e.
|
Modifier and Type | Method and 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 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) |
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, see
getPropositionalCharacterisation . |
Modifier and Type | Field and Description |
---|---|
private PlBeliefSet |
ArgumentativeTransformationFunction.beliefSet
The belief set used by this transformation function.
|
Constructor and Description |
---|
ArgumentativeTransformationFunction(Categorizer categorizer,
Accumulator accumulator,
PlBeliefSet beliefSet,
boolean isSkeptical)
Creates a new argumentative transformation function.
|
Modifier and Type | Class and Description |
---|---|
class |
ProbabilityDistribution<T extends Interpretation<PlBeliefSet,PropositionalFormula>>
This class represents a probability distribution on some logical language
|
Modifier and Type | Method and Description |
---|---|
static <S extends Interpretation<PlBeliefSet,PropositionalFormula>> |
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,PropositionalFormula>> |
ProbabilityDistribution.getUniformDistribution(java.util.Set<S> interpretations,
Signature sig)
Returns the uniform distribution on the given interpretations.
|
Modifier and Type | Method and Description |
---|---|
Probability |
ProbabilityDistribution.probability(Interpretation<PlBeliefSet,PropositionalFormula> w)
Gets the probability of the given Herbrand interpretation (this is just an
alias for get(Object o).
|
Modifier and Type | Field and Description |
---|---|
private ConsistencyWitnessProvider<PlBeliefSet,PropositionalFormula> |
HsInconsistencyMeasurementProcess.witnessProvider
The witness provider used.
|
private ConsistencyWitnessProvider<PlBeliefSet,PropositionalFormula> |
ContensionInconsistencyMeasurementProcess.witnessProvider
The witness provider used.
|
Modifier and Type | Method and Description |
---|---|
PlBeliefSet |
DimacsParser.parseBeliefBase(java.io.Reader reader) |
PlBeliefSet |
PlParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
static Parser<PlBeliefSet> |
PlParserFactory.getParserForFormat(PlParserFactory.Format f)
Retrieves an appropriate parser for the given format.
|
Modifier and Type | Method and Description |
---|---|
abstract java.lang.Boolean |
AbstractPropositionalLogicReasoner.query(PlBeliefSet beliefbase,
PropositionalFormula formula) |
java.lang.Boolean |
NaiveReasoner.query(PlBeliefSet beliefbase,
PropositionalFormula formula) |
java.lang.Boolean |
SatReasoner.query(PlBeliefSet beliefbase,
PropositionalFormula formula) |
Modifier and Type | Method and Description |
---|---|
Interpretation<PlBeliefSet,PropositionalFormula> |
SatSolver.getWitness(BeliefSet<PropositionalFormula> bs) |
Interpretation<PlBeliefSet,PropositionalFormula> |
Sat4jSolver.getWitness(java.util.Collection<PropositionalFormula> formulas) |
Interpretation<PlBeliefSet,PropositionalFormula> |
LingelingSolver.getWitness(java.util.Collection<PropositionalFormula> formulas) |
abstract Interpretation<PlBeliefSet,PropositionalFormula> |
SatSolver.getWitness(java.util.Collection<PropositionalFormula> formulas)
If the collection of formulas is consistent this method
returns some model of it or, if it is inconsistent, null.
|
Interpretation<PlBeliefSet,PropositionalFormula> |
SimpleDpllSolver.getWitness(java.util.Collection<PropositionalFormula> formulas) |
Interpretation<PlBeliefSet,PropositionalFormula> |
SatSolver.getWitness(PropositionalFormula formula) |
Modifier and Type | Method and Description |
---|---|
InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld> |
PossibleWorldIterator.reset() |
InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld> |
PossibleWorldIterator.reset(java.util.Collection<? extends Formula> formulas) |
InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld> |
PossibleWorldIterator.reset(Signature sig) |
Modifier and Type | Method and Description |
---|---|
boolean |
NicePossibleWorld.satisfies(PlBeliefSet beliefBase) |
boolean |
PriestWorld.satisfies(PlBeliefSet beliefBase) |
boolean |
PossibleWorld.satisfies(PlBeliefSet beliefBase) |
boolean |
FuzzyInterpretation.satisfies(PlBeliefSet beliefBase) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<PlBeliefSet> |
PlBeliefSet.getSyntaxComponents()
Returns the set of syntax components of this belief set, i.e.
|
Modifier and Type | Method and Description |
---|---|
private PlBeliefSet |
CanonicalIterator.bitset2BeliefSet(java.util.BitSet s)
Parses a knowledge base (PlBeliefSet) from the the given bitset.
|
PlBeliefSet |
SyntacticEnumeratingIterator.next() |
PlBeliefSet |
CnfSampler.next() |
PlBeliefSet |
RandomSampler.next() |
PlBeliefSet |
RandomSatSampler.next() |
PlBeliefSet |
CanonicalIterator.next() |
PlBeliefSet |
MiSampler.next() |
PlBeliefSet |
HsSampler.next() |
PlBeliefSet |
ContensionSampler.next() |
PlBeliefSet |
EnumeratingIterator.next() |
PlBeliefSet |
SyntacticRandomSampler.next() |
Modifier and Type | Method and Description |
---|---|
static java.util.BitSet |
CanonicalIterator.beliefSet2BitSet(PlBeliefSet bs)
Creates a bitset representation of the given belief set.
|
Constructor and Description |
---|
PlWriter(PlBeliefSet plBeliefSet) |