Index
All Classes|All Packages|Constant Field Values|Deprecated API|Serialized Form
W
- WAD - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics
-
WAD
- WARN - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel
-
WARN
- WCONS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- WCONS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
-
RegularExpression Id.
- WEAK_REINSTATEMENT - Static variable in class org.tweetyproject.arg.dung.principles.Principle
-
The weak reinstatement principle
- WEAKDOMINANCE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
-
The WEAKDOMINANCE postulate
- WEAKEN - Enum constant in enum org.tweetyproject.preferences.Operation
- weakenElement(T) - Method in class org.tweetyproject.preferences.ranking.Functions
-
weakens the given element in the function
- weakenElement(T) - Method in class org.tweetyproject.preferences.ranking.LevelingFunction
-
weakens the given element in the leveling function
- weakenElement(T) - Method in class org.tweetyproject.preferences.ranking.RankingFunction
-
weakens the given element in the ranking function
- weakenElementInLF(T) - Method in class org.tweetyproject.preferences.PreferenceOrder
-
weakens the given element in this preference order in its leveling function
- weakenElementInRF(T) - Method in class org.tweetyproject.preferences.PreferenceOrder
-
weakens the given element in this preference order in its ranking function
- WeakestLinkOrder<T extends Invertable> - Class in org.tweetyproject.arg.aspic.order
- WeakestLinkOrder(Comparator<InferenceRule<T>>, Comparator<InferenceRule<T>>, boolean) - Constructor for class org.tweetyproject.arg.aspic.order.WeakestLinkOrder
-
Constructs a new weakest link ordering
- WEAKLY_ADMISSIBLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
- WeaklyAdmissibleReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for weak admissibility the reasoner reduces the number of sets we have to check by computing candidate sets instead of checking all sets.
- WeaklyAdmissibleReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner
- WeaklyCompleteReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for weakly complete semantics as described in: see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.
- WeaklyCompleteReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.WeaklyCompleteReasoner
- WeaklyGroundedReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for weakly grounded semantics a set of arguments E is w-grounded iff it is w-complete and minimal Note: unlike the grounded extension which is unique, there can be more than one w-grounded extension see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.
- WeaklyGroundedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.WeaklyGroundedReasoner
- WeaklyPreferredReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for weakly preferred semantics see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.
- WeaklyPreferredReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.WeaklyPreferredReasoner
- weakNeg() - Method in enum org.tweetyproject.logics.translators.adfcl.PriestWorldAdapted.TruthValue
-
J: Weak negation
- WeakNegation - Class in org.tweetyproject.logics.translators.adfcl
-
This class models a weak negation for 3-valued propositional logic as proposed in [Heyninck 2020] Adapted from the class "Negation"
- WeakNegation(PlFormula) - Constructor for class org.tweetyproject.logics.translators.adfcl.WeakNegation
-
Creates a new negation with the given formula.
- WeakReinstatementPrinciple - Class in org.tweetyproject.arg.dung.principles
-
Weak Reinstatement Principle A semantics satisfies weak reinstatement if for all extensions E it holds that: if E strongly defends an argument a, then a is in E An argument a is strongly defended by E iff some argument in E \ {a} defends a see: Baroni, P., and Giacomin, M.
- WeakReinstatementPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.WeakReinstatementPrinciple
- WeakSemanticsExample - Class in org.tweetyproject.arg.dung.examples
-
Example usage of the reasoner for weak semantics
- WeakSemanticsExample() - Constructor for class org.tweetyproject.arg.dung.examples.WeakSemanticsExample
- weight - Variable in class org.tweetyproject.lp.asp.semantics.AnswerSet
- WeightAtLevel() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
- WeightAtLevelTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest
- weightedComponentCountExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedComponentCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- WeightedComponentCountInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
- WeightedComponentCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedComponentCountInconsistencyMeasure
- weightedComponentCountWorksWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedComponentCountWorksWithTwoComponent() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedCycleCountExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedCycleCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedCycleCountExample3() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedCycleCountExample4() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedCycleCountExample5() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- WeightedCycleCountInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
- WeightedCycleCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedCycleCountInconsistencyMeasure
- weightedCycleCountWorksWithTwoComponents() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- WeightedDirectedEdge<S extends Node,T extends Number> - Class in org.tweetyproject.graphs
- WeightedDirectedEdge(S, S, T) - Constructor for class org.tweetyproject.graphs.WeightedDirectedEdge
-
Creates a new weighted direct edge.
- WeightedDungTheory - Class in org.tweetyproject.arg.dung.syntax
-
Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings
- WeightedDungTheory() - Constructor for class org.tweetyproject.arg.dung.syntax.WeightedDungTheory
-
initialize a new weighted argumentation theory
- WeightedEdge<S extends Node,T extends Number> - Interface in org.tweetyproject.graphs
-
Interface for weighted edges.
- weightedInSumExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedInSumExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- WeightedInSumInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
- WeightedInSumInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedInSumInconsistencyMeasure
- weightedInSumWorkedWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedOutSumExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weightedOutSumExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- WeightedOutSumInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
- WeightedOutSumInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedOutSumInconsistencyMeasure
- weightedOutSumWorkedWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- weights - Variable in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory
-
listing of weights of every edge in the argumentation graph
- WeightVector - Interface in org.tweetyproject.preferences.aggregation
-
This interface is used for
- WellFoundedReasoner<T extends Formula> - Class in org.tweetyproject.arg.aba.reasoner
-
This reasoner for ABA theories performs inference on the ideal extension.
- WellFoundedReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.WellFoundedReasoner
- where(AcceptanceCondition) - Method in interface org.tweetyproject.arg.adf.reasoner.query.ConditionlessTaskStep
- WindowInconsistencyMeasurementProcess<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis.streams
-
This inconsistency measurement process keeps a window of a number of previous formulas in memory and computes the inconsistency value from this window using an ordinary inconsistency measure.
- WindowInconsistencyMeasurementProcess() - Constructor for class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
- withoutPrefix(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
- withoutPrefix(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer
- withoutPrefix(AbstractDialecticalFramework, PropositionalMapping) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator
-
The resulting
CandidateGenerator
computes all conflict free interpretations. - withoutPrefix(AbstractDialecticalFramework, PropositionalMapping) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.GroundGenerator
-
The resulting
CandidateGenerator
computes the ground interpretation. - withoutPrefix(AbstractDialecticalFramework, PropositionalMapping) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator
-
The resulting
CandidateGenerator
computes all two-valued model interpretations. - withPrefix(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer
- withPrefix(Supplier<SatSolverState>, AbstractDialecticalFramework, AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
- withPrefix(Interpretation) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
- withPrefix(AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator
-
The resulting
CandidateGenerator
only computes conflict free interpretations which are extensions of the defined prefix. - withPrefix(AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.GroundGenerator
-
The resulting
CandidateGenerator
only computes the ground interpretation if it extends the given prefix. - withPrefix(AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator
-
The resulting
CandidateGenerator
only computes two-valued models which are extensions of the defined prefix. - witness() - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState
-
Returns a witness of the satisfiability of all the clauses in the state, or
null
if the state is unsatisfiable. - witness() - Method in class org.tweetyproject.arg.adf.sat.state.AsynchronousCloseSatSolverState
- witness() - Method in class org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState
- witness(Collection<? extends Literal>) - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState
- witness(Collection<? extends Literal>) - Method in class org.tweetyproject.arg.adf.sat.state.AsynchronousCloseSatSolverState
- witness(Collection<? extends Literal>) - Method in class org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState
- write(AspicArgumentationTheory<T>, File) - Method in class org.tweetyproject.arg.aspic.writer.AspicWriter
-
Writes the given ASPIC+ theory to disk.
- write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.AbstractDungWriter
-
Writes the given file into an abstract argumentation framework
- write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.ApxWriter
- write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.CnfWriter
- write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.TgfWriter
- writeArguments(Collection<Argument>) - Static method in class org.tweetyproject.arg.dung.writer.AbstractDungWriter
-
Writes the given collection of arguments into a string of the form [arg1,...,argn].
- writeLabeling(Labeling) - Static method in class org.tweetyproject.arg.dung.writer.AbstractDungWriter
-
Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]
- Writer - Class in org.tweetyproject.commons
-
This class represents an abstract writer for writing objects into the file system.
- Writer() - Constructor for class org.tweetyproject.commons.Writer
-
Creates a new empty writer.
- Writer(Object) - Constructor for class org.tweetyproject.commons.Writer
-
Creates a new writer for the given object.
- WriterTest() - Method in class org.tweetyproject.arg.dung.ProboTest
- writeTo(AbstractDialecticalFramework, OutputStream) - Static method in class org.tweetyproject.arg.adf.io.KppADFFormatWriter
-
The OutputStream is not closed by this method, it is up to the caller.
- writeToFile(String) - Method in class org.tweetyproject.commons.Writer
-
Writes the object into the given file.
- writeToFile(String, PreferenceOrder<T>) - Method in class org.tweetyproject.preferences.io.POWriter
- writeToFile(AbstractDialecticalFramework, File) - Static method in class org.tweetyproject.arg.adf.io.KppADFFormatWriter
- writeToString() - Method in class org.tweetyproject.commons.Writer
-
Writes the object into a string.
- writeToString() - Method in class org.tweetyproject.logics.ml.writer.MlWriter
- writeToString() - Method in class org.tweetyproject.logics.pl.writer.PlWriter
- writeToString() - Method in class org.tweetyproject.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter
- writeToString() - Method in class org.tweetyproject.logics.rpcl.writers.DefaultProbabilityDistributionWriter
- WrongArityTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
- WrongCharacterOrderTest() - Method in class org.tweetyproject.logics.ml.MlParserTest
All Classes|All Packages|Constant Field Values|Deprecated API|Serialized Form