Package | Description |
---|---|
net.sf.tweety.arg.prob.dynamics | |
net.sf.tweety.arg.prob.semantics | |
net.sf.tweety.logics.rpcl.semantics | |
net.sf.tweety.math.opt.solver |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractPAChangeOperator.prepareOptimizationProblem(PartialProbabilityAssignment ppa,
DungTheory theory,
OptimizationProblem problem,
java.util.Map<java.util.Collection<Argument>,FloatVariable> varsComp,
java.util.Map<java.util.Collection<Argument>,FloatVariable> varsSem,
java.util.Vector<Term> varsCompVector,
java.util.Vector<Term> varsSemVector) |
protected void |
AbstractPAChangeOperator.prepareOptimizationProblem(PartialProbabilityAssignment ppa,
DungTheory theory,
OptimizationProblem problem,
java.util.Map<java.util.Collection<Argument>,FloatVariable> varsComp,
java.util.Map<java.util.Collection<Argument>,FloatVariable> varsSem,
java.util.Vector<Term> varsCompVector,
java.util.Vector<Term> varsSemVector) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Statement> |
SemiOptimisticPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
SemiFoundedPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
RationalPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
PASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction
of the given theory wrt.
|
java.util.Collection<Statement> |
OptimisticPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
NeutralPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
JustifiablePASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
InvolutaryPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
FoundedPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
CoherentPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
abstract java.util.Collection<Statement> |
AbstractPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
protected Term |
AbstractPASemantics.probabilityTerm(Argument arg,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given argument
wrt.
|
Modifier and Type | Method and Description |
---|---|
Statement |
RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r,
FolSignature signature,
java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction
of the given conditional wrt.
|
Statement |
AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r,
FolSignature signature,
java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) |
Statement |
AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r,
FolSignature signature,
java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) |
abstract Statement |
AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r,
FolSignature signature,
java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) |
protected Term |
AbstractRpclSemantics.probabilityTerm(FolFormula f,
java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given formula "f"
wrt.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Map<FloatVariable,Term> |
SimpleGeneticOptimizationSolver.crossover(java.util.Map<FloatVariable,Term> ind1,
java.util.Map<FloatVariable,Term> ind2)
Makes a crossover of the two individuals
|
private java.util.Map<FloatVariable,Term> |
SimpleGeneticOptimizationSolver.mutate(java.util.Map<FloatVariable,Term> ind)
Mutates the given individual
|
Modifier and Type | Method and Description |
---|---|
int |
SimpleGeneticOptimizationSolver.FitnessComparator.compare(java.util.Map<FloatVariable,Term> arg0,
java.util.Map<FloatVariable,Term> arg1) |
int |
SimpleGeneticOptimizationSolver.FitnessComparator.compare(java.util.Map<FloatVariable,Term> arg0,
java.util.Map<FloatVariable,Term> arg1) |
private java.util.Map<FloatVariable,Term> |
SimpleGeneticOptimizationSolver.crossover(java.util.Map<FloatVariable,Term> ind1,
java.util.Map<FloatVariable,Term> ind2)
Makes a crossover of the two individuals
|
private java.util.Map<FloatVariable,Term> |
SimpleGeneticOptimizationSolver.crossover(java.util.Map<FloatVariable,Term> ind1,
java.util.Map<FloatVariable,Term> ind2)
Makes a crossover of the two individuals
|
private java.util.Map<FloatVariable,Term> |
SimpleGeneticOptimizationSolver.mutate(java.util.Map<FloatVariable,Term> ind)
Mutates the given individual
|