Constructor and Description |
---|
DeductiveEnvironment(PlBeliefSet universalTheory)
Creates a new grounded environment.
|
Modifier and Type | Class and Description |
---|---|
class |
DeductiveKnowledgeBase
Instances of this class represent deductive knowledge bases,
i.e.
|
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 | Method and Description |
---|---|
PlBeliefSet |
AbstractExtensionReasoner.getPropositionalCharacterisation()
Creates a propositional representation of the set of labelings of the underlying
Dung theory that are consistent with the given semantics.
|
protected PlBeliefSet |
StageReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
StableReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
SemiStableReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
SccCompleteReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
PreferredReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
IdealReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
GroundReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
ConflictFreeReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
CompleteReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
CF2Reasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected PlBeliefSet |
AdmissibleReasoner.getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec) |
protected abstract PlBeliefSet |
AbstractExtensionReasoner.getPropositionalCharacterisationBySemantics(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 | 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 |
---|---|
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 |
---|---|
private PlBeliefSet |
CanonicalEnumerator.bitset2BeliefSet(java.util.BitSet s)
Parses a knowledge base (PlBeliefSet) from the the given bitset.
|
private PlBeliefSet |
EnumeratingPlBeliefSetSampler.next()
Returns the next belief set.
|
PlBeliefSet |
CanonicalEnumerator.next() |
PlBeliefSet |
SyntacticRandomPlBeliefSetSampler.randomSample(int minLength,
int maxLength) |
PlBeliefSet |
SyntacticEnumeratingPlBeliefSetSampler.randomSample(int minLength,
int maxLength) |
PlBeliefSet |
RandomPlBeliefSetSampler.randomSample(int minLength,
int maxLength) |
PlBeliefSet |
MiSampler.randomSample(int minLength,
int maxLength) |
PlBeliefSet |
HsSampler.randomSample(int minLength,
int maxLength) |
PlBeliefSet |
EnumeratingPlBeliefSetSampler.randomSample(int minLength,
int maxLength) |
PlBeliefSet |
ContensionSampler.randomSample(int minLength,
int maxLength) |
PlBeliefSet |
CnfSampler.randomSample(int minLength,
int maxLength) |
Modifier and Type | Method and Description |
---|---|
static java.util.BitSet |
CanonicalEnumerator.beliefSet2BitSet(PlBeliefSet bs)
Creates a bitset representation of the given belief set.
|