Modifier and Type | Class and Description |
---|---|
class |
ExecutableDungTheory
This class packs a Dung theory into an executable object.
|
Modifier and Type | Field and Description |
---|---|
private DungTheory |
LotteryArgumentationEnvironment.universalTheory
The universal Dung theory used for argumentation.
|
private DungTheory |
ArgumentationEnvironment.universalTheory
The universal Dung theory used for argumentation.
|
Modifier and Type | Field and Description |
---|---|
private DialogueTrace<DungTheory,java.util.Collection<DungTheory>> |
LotteryArgumentationEnvironment.trace
The current dialogue trace.
|
private DialogueTrace<DungTheory,java.util.Collection<DungTheory>> |
LotteryArgumentationEnvironment.trace
The current dialogue trace.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
LotteryArgumentationEnvironment.getPerceivedDungTheory(Extension arguments)
Returns the view of the universal Dung theory restricted to
the given set of arguments.
|
DungTheory |
ArgumentationEnvironment.getPerceivedDungTheory(Extension arguments)
Returns the view of the universal Dung theory restricted to
the given set of arguments.
|
Modifier and Type | Method and Description |
---|---|
DialogueTrace<DungTheory,java.util.Collection<DungTheory>> |
LotteryArgumentationEnvironment.getDialogueTrace()
Returns the current dialogue trace.
|
DialogueTrace<DungTheory,java.util.Collection<DungTheory>> |
LotteryArgumentationEnvironment.getDialogueTrace()
Returns the current dialogue trace.
|
Constructor and Description |
---|
ArgumentationEnvironment(DungTheory universalTheory)
Creates a new grounded environment.
|
ExecutableDungTheory(DungTheory theory)
Creates a new dung theory for the given Dung theory.
|
LotteryArgumentationEnvironment(DungTheory universalTheory)
Creates a new grounded environment.
|
Modifier and Type | Field and Description |
---|---|
protected DungTheory |
AbstractLotteryAgent.theory
The theory of this agent.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
AbstractLotteryAgent.getTheory()
Returns the theory of this agent.
|
DungTheory |
ProbabilisticLotteryAgent.getTheory()
Returns the theory of this agent.
|
Modifier and Type | Method and Description |
---|---|
abstract double |
AbstractLotteryAgent.getUtility(DungTheory theory,
Semantics semantics)
Returns the utility of the agent wrt.
|
double |
DummyLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
double |
ProbabilisticLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
double |
UtilityBasedLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
double |
RandomLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
Constructor and Description |
---|
AbstractLotteryAgent(java.lang.String name,
DungTheory theory,
Semantics semantics)
Creates a new lottery agent
|
DummyLotteryAgent(java.lang.String name,
DungTheory theory,
Semantics semantics) |
LotteryGameSystem(DungTheory universalTheory)
Creates a new grounded game system.
|
ProbabilisticLotteryAgent(java.lang.String name,
DungTheory theory,
SubgraphProbabilityFunction prob,
UtilityFunction util,
Semantics semantics)
Creates a new lottery agent
|
ProbabilisticLotteryAgent(java.lang.String name,
DungTheory theory,
SubgraphProbabilityFunction prob,
UtilityFunction util,
Semantics semantics,
byte updatestrategy)
Creates a new lottery agent
|
ProbabilisticLotteryAgent(java.lang.String name,
DungTheory theory,
SubgraphProbabilityFunction prob,
UtilityFunction util,
Semantics semantics,
byte updatestrategy,
double stickynesscoefficient)
Creates a new lottery agent
|
RandomLotteryAgent(java.lang.String name,
DungTheory theory,
UtilityFunction util,
Semantics semantics)
Creates a new agent with the given name, theory, and semantics
|
UtilityBasedLotteryAgent(java.lang.String name,
DungTheory theory,
UtilityFunction util,
Semantics semantics) |
Modifier and Type | Field and Description |
---|---|
private DungTheory |
GroundedGameUtilityFunction.theory
The underlying Dung theory
|
Constructor and Description |
---|
GroundedGameSystem(DungTheory universalTheory)
Creates a new grounded game system.
|
GroundedGameUtilityFunction(DungTheory theory,
Argument argument,
GroundedGameSystem.AgentFaction faction)
Construct utility function.
|
Modifier and Type | Class and Description |
---|---|
class |
PerceivableStructuredArgumentationFramework
This class packs a structured argumentation framework into a
perceivable object.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
ABATheory.asDungTheory() |
Modifier and Type | Method and Description |
---|---|
protected DungTheory |
RandomAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat,
Formula query) |
protected DungTheory |
NaiveAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat,
Formula query) |
protected abstract DungTheory |
AbstractAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat,
Formula query)
Computes the Dung theory from which the answer will be derived
|
protected DungTheory |
ModuleBasedAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat,
Formula query) |
Modifier and Type | Method and Description |
---|---|
DungTheory |
AspicArgumentationTheory.asDungTheory()
This method transfers this Aspic+ theory into a Dung style srhumentation system
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
SimplePlLogicDeductiveKnowledgebase.getAF()
Builds simple logic arguments and attacks among them---simple undercut and
simple rebuttal---as described in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
DefeasibleLogicProgram.getDungTheory()
This method translates this delp into an abstract Dung theory.
|
Modifier and Type | Field and Description |
---|---|
private static java.util.Map<DungTheory,java.util.Collection<Division>> |
Division.archivedDivisons
archive of requested divisions.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DungTheory> |
Division.getDividers(DungTheory theory,
Semantics semantics)
Returns the dividers for this division, i.e.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DungTheory> |
Division.getDividers(DungTheory theory,
Semantics semantics)
Returns the dividers for this division, i.e.
|
static java.util.Collection<Division> |
Division.getDivisions(java.util.Collection<Extension> exts,
DungTheory aaf)
Returns all divisions of all given extensions and the given aaf.
|
static java.util.Collection<Division> |
Division.getDivisions(Extension ext,
DungTheory aaf)
Returns all divisions of aaf that arise from the given extension.
|
static java.util.Collection<Division> |
Division.getStandardDivisions(DungTheory theory)
Returns the standard set of divisions of the given argumentation theory, i.e.
|
static boolean |
Division.isDisjoint(java.util.Collection<Division> divisions,
DungTheory theory,
Semantics semantics)
Checks whether the given set o divisions is disjoint wrt.
|
static boolean |
Division.isExhaustive(java.util.Collection<Division> divisions,
DungTheory theory,
Semantics semantics)
Checks whether the given set of divisions is exhaustive wrt.
|
Modifier and Type | Field and Description |
---|---|
private DungTheory |
LdoInterpretation.theory
The abstract argumentation framework
|
Modifier and Type | Method and Description |
---|---|
boolean |
LdoInterpretation.satisfies(DungTheory beliefBase) |
Constructor and Description |
---|
LdoInterpretation(DungTheory theory,
Extension ext,
Semantics semantics)
Creates a new interpretation
|
LdoInterpretation(DungTheory theory,
Semantics semantics)
Creates a new interpretation
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DungTheory> |
LdoFormula.getDividers(DungTheory theory,
Semantics semantics)
Returns the dividers for this formula, i.e.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DungTheory> |
LdoFormula.getDividers(DungTheory theory,
Semantics semantics)
Returns the dividers for this formula, i.e.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
ApxParser.parse(java.io.Reader reader) |
DungTheory |
TgfParser.parse(java.io.Reader reader) |
DungTheory |
CnfParser.parse(java.io.Reader reader) |
abstract DungTheory |
AbstractDungParser.parse(java.io.Reader reader)
Parses the given file into an abstract argumentation framework
|
DungTheory |
AbstractDungParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
private java.util.Set<Extension> |
SimpleSccCompleteReasoner.computeExtensionsViaSccs(DungTheory theory,
java.util.List<java.util.Collection<Argument>> sccs,
int idx,
java.util.Collection<Argument> in,
java.util.Collection<Argument> out,
java.util.Collection<Argument> undec)
Computes extensions recursively following the SCC structure.
|
java.util.Collection<Extension> |
GrossiModgilRankingReasoner.getAllMNCompleteExtensions(DungTheory theory,
int m,
int n)
Returns all mn-complete extensions.
|
java.util.Collection<Extension> |
GrossiModgilRankingReasoner.getAllMNGroundedExtensions(DungTheory theory,
int m,
int n)
Returns all mn-grounded extensions.
|
java.util.Collection<Extension> |
GrossiModgilRankingReasoner.getAllMNPreferredExtensions(DungTheory theory,
int m,
int n)
Returns all mn-preferred extensions.
|
java.util.Collection<Extension> |
GrossiModgilRankingReasoner.getAllMStableExtensions(DungTheory theory,
int m)
Returns all m-stable extensions.
|
private java.util.Set<Extension> |
SimpleCompleteReasoner.getCompleteExtensions(DungTheory dungTheory,
Extension ext,
java.util.Collection<Argument> remaining)
Auxiliary method to compute all complete extensions
|
Extension |
SimpleSemiStableReasoner.getModel(DungTheory bbase) |
ArgumentRanking |
GrossiModgilRankingReasoner.getModel(DungTheory bbase) |
Extension |
SimplePreferredReasoner.getModel(DungTheory bbase) |
Extension |
SimpleSccCompleteReasoner.getModel(DungTheory bbase) |
Extension |
SimpleCF2Reasoner.getModel(DungTheory bbase) |
Extension |
SimpleConflictFreeReasoner.getModel(DungTheory bbase) |
Extension |
SimpleStageReasoner.getModel(DungTheory bbase) |
StratifiedLabeling |
StratifiedLabelingReasoner.getModel(DungTheory bbase) |
abstract Extension |
AbstractExtensionReasoner.getModel(DungTheory bbase) |
Extension |
SimpleIdealReasoner.getModel(DungTheory bbase) |
Extension |
SimpleStableReasoner.getModel(DungTheory bbase) |
Extension |
ProboReasoner.getModel(DungTheory bbase) |
Extension |
SimpleCompleteReasoner.getModel(DungTheory bbase) |
Extension |
AbstractSatExtensionReasoner.getModel(DungTheory bbase) |
Extension |
SimpleAdmissibleReasoner.getModel(DungTheory bbase) |
Extension |
SimpleGroundedReasoner.getModel(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleSemiStableReasoner.getModels(DungTheory bbase) |
java.util.Collection<ArgumentRanking> |
GrossiModgilRankingReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimplePreferredReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleSccCompleteReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleCF2Reasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleConflictFreeReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleStageReasoner.getModels(DungTheory bbase) |
java.util.Collection<StratifiedLabeling> |
StratifiedLabelingReasoner.getModels(DungTheory bbase) |
abstract java.util.Collection<Extension> |
AbstractExtensionReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleIdealReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleStableReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
ProboReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleCompleteReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
AbstractSatExtensionReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleAdmissibleReasoner.getModels(DungTheory bbase) |
java.util.Collection<Extension> |
SimpleGroundedReasoner.getModels(DungTheory bbase) |
private java.util.Collection<Argument> |
SimpleCF2Reasoner.getOutparents(DungTheory af,
java.util.Collection<Argument> s)
Returns the set { a in A | a nicht in S und a -> S }
|
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 . |
java.util.Collection<Argument> |
GrossiModgilRankingReasoner.gradedDefense(DungTheory theory,
java.util.Collection<Argument> args,
int m,
int n)
Implements the graded defense function from Def.
|
java.util.Collection<Argument> |
GrossiModgilRankingReasoner.gradedNeutrality(DungTheory theory,
java.util.Collection<Argument> args,
int m)
Implements the graded neutrality function from Def.
|
boolean |
GrossiModgilRankingReasoner.isMConflictFree(DungTheory theory,
java.util.Collection<Argument> args,
int m)
Checks whether the given set of arguments is m-conflict-free, cf.
|
boolean |
GrossiModgilRankingReasoner.isMNAdmissible(DungTheory theory,
java.util.Collection<Argument> args,
int m,
int n)
Checks whether the given set of arguments is mn-admissible, cf.
|
boolean |
GrossiModgilRankingReasoner.isMNComplete(DungTheory theory,
java.util.Collection<Argument> args,
int m,
int n)
Checks whether the given set of arguments is mn-complete, cf.
|
boolean |
GrossiModgilRankingReasoner.isMNGrounded(DungTheory theory,
java.util.Collection<Argument> args,
int m,
int n)
Checks whether the given set of arguments is mn-grounded, cf.
|
boolean |
GrossiModgilRankingReasoner.isMNPreferred(DungTheory theory,
java.util.Collection<Argument> args,
int m,
int n)
Checks whether the given set of arguments is mn-preferred, cf.
|
boolean |
GrossiModgilRankingReasoner.isMStable(DungTheory theory,
java.util.Collection<Argument> args,
int m)
Checks whether the given set of arguments is m-stable, cf.
|
private int |
GrossiModgilRankingReasoner.numOfAttackers(DungTheory theory,
Argument y,
java.util.Collection<Argument> x)
Determines the number of attackers from x to y.
|
java.lang.Boolean |
GrossiModgilRankingReasoner.query(DungTheory beliefbase,
Argument formula) |
abstract java.lang.Boolean |
AbstractDungReasoner.query(DungTheory beliefbase,
Argument formula) |
java.lang.Boolean |
StratifiedLabelingReasoner.query(DungTheory beliefbase,
Argument formula) |
java.lang.Boolean |
AbstractExtensionReasoner.query(DungTheory beliefbase,
Argument formula) |
java.lang.Boolean |
StratifiedLabelingReasoner.query(DungTheory beliefbase,
Argument formula,
int inferenceType)
Queries the given AAF for the given argument using the given
inference type.
|
java.lang.Boolean |
AbstractExtensionReasoner.query(DungTheory beliefbase,
Argument formula,
int inferenceType)
Queries the given AAF for the given argument using the given
inference type.
|
java.lang.Boolean |
ProboReasoner.query(DungTheory beliefbase,
Argument formula,
int inferenceType) |
private java.util.Set<Extension> |
SimpleCF2Reasoner.singleAFExtensions(DungTheory theory)
Computes the extensions for the single af case.
|
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractArgumentationInterpretation.isAcceptable(Argument argument,
DungTheory dungTheory)
returns true if every attacker on is attacked by some
accepted argument wrt.
|
boolean |
AbstractArgumentationInterpretation.isAdmissable(DungTheory dungTheory)
returns true if every accepted argument of this is defended by some accepted
argument wrt.
|
boolean |
AbstractArgumentationInterpretation.isConflictFree(DungTheory dungTheory)
returns true if no accepted argument attacks another accepted one in
this interpretation wrt.
|
boolean |
StratifiedLabeling.satisfies(DungTheory beliefBase) |
boolean |
AbstractArgumentationInterpretation.satisfies(DungTheory beliefBase) |
Constructor and Description |
---|
Labeling(DungTheory theory,
Extension ext)
Creates a new labeling from the given extension wrt.
|
Modifier and Type | Field and Description |
---|---|
private static java.util.Map<DungTheory,java.util.Collection<Graph<Argument>>> |
DungTheory.archivedSubgraphs
For archiving sub graphs
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
DungTheory.getComplementGraph(int selfloops) |
Modifier and Type | Method and Description |
---|---|
boolean |
DungTheory.add(DungTheory theory)
Adds all arguments and attacks of the given theory to
this theory
|
int |
DungTheory.compareTo(DungTheory o) |
Modifier and Type | Field and Description |
---|---|
private java.util.Collection<DungTheory> |
IsoSafeEnumeratingDungTheoryGenerator.currentTheories
The set of all Dung theories with cntArguments arguments and cntAttacks attacks.
|
private java.util.Iterator<DungTheory> |
IsoSafeEnumeratingDungTheoryGenerator.iterator
The iterator on currentTheories.
|
private Parser<DungTheory> |
FileDungTheoryGenerator.parser
A parser for parsing the files.
|
Modifier and Type | Method and Description |
---|---|
private DungTheory |
DefaultDungTheoryGenerator.generateTreeShape(Argument arg)
Generates a Dung theory with a tree shape where the given argument
is the root.
|
DungTheory |
DungTheoryGenerator.next() |
DungTheory |
PodlaszewskiCaminadaDungTheoryGenerator.next() |
DungTheory |
FileDungTheoryGenerator.next() |
DungTheory |
EnumeratingDungTheoryGenerator.next() |
DungTheory |
IsoSafeEnumeratingDungTheoryGenerator.next() |
DungTheory |
DefaultDungTheoryGenerator.next() |
DungTheory |
DungTheoryGenerator.next(Argument arg)
Generates a new Dung theory where the given argument
is enforced to be in the grounded extension
|
DungTheory |
PodlaszewskiCaminadaDungTheoryGenerator.next(Argument arg) |
DungTheory |
FileDungTheoryGenerator.next(Argument arg) |
DungTheory |
EnumeratingDungTheoryGenerator.next(Argument arg) |
DungTheory |
IsoSafeEnumeratingDungTheoryGenerator.next(Argument arg) |
DungTheory |
DefaultDungTheoryGenerator.next(Argument arg) |
Modifier and Type | Method and Description |
---|---|
private boolean |
IsoSafeEnumeratingDungTheoryGenerator.isIsomorphic(DungTheory theory,
java.util.Collection<DungTheory> theories)
Checks whether the first theory is isomorphic to some theory
in "theories".
|
Modifier and Type | Method and Description |
---|---|
private boolean |
IsoSafeEnumeratingDungTheoryGenerator.isIsomorphic(DungTheory theory,
java.util.Collection<DungTheory> theories)
Checks whether the first theory is isomorphic to some theory
in "theories".
|
Constructor and Description |
---|
FileDungTheoryGenerator(java.io.File[] files,
Parser<DungTheory> parser,
boolean loop)
Creates a new theory generator for the given files, which
can be parsed by the given parser.
|
Modifier and Type | Method and Description |
---|---|
void |
TgfWriter.write(DungTheory aaf,
java.io.File f) |
void |
ApxWriter.write(DungTheory aaf,
java.io.File f) |
abstract void |
AbstractDungWriter.write(DungTheory aaf,
java.io.File f)
Writes the given file into an abstract argumentation framework
|
void |
CnfWriter.write(DungTheory aaf,
java.io.File f) |
Modifier and Type | Field and Description |
---|---|
private DungTheory |
PAInconsistencyMeasure.dungTheory
The Dung theory against the partial prob assignments are measured.
|
Constructor and Description |
---|
PAInconsistencyMeasure(RealVectorNorm norm,
DungTheory theory,
PASemantics semantics)
Creates a new inconsinstency measure which uses the given norm and
measures wrt.
|
Modifier and Type | Method and Description |
---|---|
ProbabilisticExtension |
PAUpdateOperator.change(PartialProbabilityAssignment ppa,
DungTheory theory) |
ProbabilisticExtension |
ChangeOperator.change(PartialProbabilityAssignment ppa,
DungTheory theory)
Given a partial probability assignment ppa and an argumentation theory, compute
the closest probabilistic extension that is adequate for observing the theory in
the state ppa.
|
abstract ProbabilisticExtension |
AbstractPAChangeOperator.change(PartialProbabilityAssignment ppa,
DungTheory theory) |
ProbabilisticExtension |
PARevisionOperator.change(PartialProbabilityAssignment ppa,
DungTheory theory) |
ProbabilisticExtension |
ChangeOperator.change(ProbabilisticExtension p,
DungTheory theory)
Given a probabilistic extension and an argumentation theory, compute
the closest probabilistic extension that is adequate for observing the theory in
the state p.
|
ProbabilisticExtension |
AbstractPAChangeOperator.change(ProbabilisticExtension p,
DungTheory theory) |
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 | Field and Description |
---|---|
private DungTheory |
LdoArgumentationLottery.aaf
The AAF used.
|
private DungTheory |
ArgumentationLottery.aaf
The AAF used.
|
private DungTheory |
SubgraphProbabilityFunction.theory
The theory of this probability function.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
LdoArgumentationLottery.getTheory()
Returns the used argumentation theory.
|
DungTheory |
ArgumentationLottery.getTheory()
Returns the used argumentation theory.
|
DungTheory |
SubgraphProbabilityFunction.getTheory()
Returns the theory of this probability function.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
LdoUtilityFunction.getUtility(DungTheory theory,
Semantics semantics)
Gets the utility of the given theory wrt.
|
java.lang.Double |
UtilityFunction.getUtility(DungTheory theory,
Semantics semantics)
Gets the utility of the given theory wrt.
|
SubgraphProbabilityFunction |
SubgraphProbabilityFunction.roughUpdate(DungTheory theory)
Updates this probability function with the given theory using
"rough redistribution", cf.
|
SubgraphProbabilityFunction |
SubgraphProbabilityFunction.simpleUpdate(DungTheory theory)
Updates this probability function with the given theory using
"simple redistribution", cf.
|
SubgraphProbabilityFunction |
SubgraphProbabilityFunction.stickyUpdate(DungTheory theory,
double stickyCoefficient)
Updates this probability function with the given theory using
"sticky redistribution", cf.
|
private java.util.Set<Attack> |
SubgraphProbabilityFunction.superGraphs(DungTheory g,
DungTheory gp,
DungTheory c)
Computes Super(G,G′,Ci) = {(α,β) ∈ Arcs(G) | (α ∈ Nodes(G′) and β ∈ Nodes(Ci))
or (α ∈ Nodes(Ci) and β ∈ Nodes(G′))
or (α ∈ Nodes(Ci) and β ∈ Nodes(Ci))
|
Constructor and Description |
---|
SubgraphProbabilityFunction(DungTheory theory)
Creates a new uniform probability function for the given theory, i.e.
|
Modifier and Type | Method and Description |
---|---|
NumericalArgumentRanking |
ProbabilisticRankingReasoner.getModel(DungTheory aaf) |
java.util.Collection<NumericalArgumentRanking> |
ProbabilisticRankingReasoner.getModels(DungTheory bbase) |
Modifier and Type | Method and Description |
---|---|
Extension |
ProbabilisticExtension.geLowerCut(DungTheory theory,
double delta)
Returns the lower cut of this probabilistic extension wrt.
|
static ProbabilisticExtension |
ProbabilisticExtension.getCharacteristicProbabilisticExtension(DungTheory theory,
AbstractArgumentationInterpretation i)
Returns the characteristic probabilistic extension of the given interpretation,
i.e.
|
java.util.Collection<Statement> |
NeutralPASemantics.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) |
java.util.Collection<Statement> |
JustifiablePASemantics.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> |
InvolutaryPASemantics.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> |
OptimisticPASemantics.getSatisfactionStatements(DungTheory theory,
java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars) |
java.util.Collection<Statement> |
SemiOptimisticPASemantics.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) |
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.
|
Extension |
ProbabilisticExtension.getUpperCut(DungTheory theory,
double delta)
Returns the upper cut of this probabilistic extension wrt.
|
boolean |
NeutralPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
FoundedPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
CoherentPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
JustifiablePASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
RationalPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
InvolutaryPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
SemiFoundedPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
OptimisticPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
SemiOptimisticPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
abstract boolean |
AbstractPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
PASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory)
Checks whether the given probabilistic extension satisfies the given
argumentation theory wrt.
|
Modifier and Type | Class and Description |
---|---|
class |
ProbabilisticArgumentationFramework
This class implements the probabilistic argumentation framework approach
of [Li, Oren, Norman.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
ProbabilisticArgumentationFramework.sample()
Samples a random DungTheory from this framework wrt.
|
Modifier and Type | Method and Description |
---|---|
Probability |
ProbabilisticArgumentationFramework.getProbability(DungTheory aaf)
Computes the probability of the given AAF wrt.
|
Modifier and Type | Class and Description |
---|---|
class |
StructuredArgumentationFramework
This class represents a structured argumentation framework, i.e.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
StructuredArgumentationFramework.toDungTheory()
Constructs a (pure) Dung theory from this structured argumentation framework.
|
Modifier and Type | Class and Description |
---|---|
class |
SocialAbstractArgumentationFramework
This class implements a social abstract argumentation framework from
[Joao Leite, Joao Martins.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SocialAbstractArgumentationFramework.add(DungTheory theory) |