A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes All Packages
All Classes All Packages
All Classes All Packages
U
- UnbiasedCreepingMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.
- UnbiasedCreepingMachineShop(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.UnbiasedCreepingMachineShop
- undecided() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation
- undecided() - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
- undecided() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation
- undecided() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation
- undecided(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation
- undecided(Argument) - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
- undecided(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation
- undecided(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation
- UNDECIDED - net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
- UNDECIDED - net.sf.tweety.arg.dung.semantics.ArgumentStatus
- UNDEFEATED - net.sf.tweety.arg.delp.semantics.DialecticalTree.Mark
- Undercut - Class in net.sf.tweety.arg.deductive.semantics.attacks
-
This attack notion models the undercut relation; A is defeated by B iff there is C subset of support(A) with claim(B) == \neg C.
- Undercut - Class in net.sf.tweety.arg.lp.semantics.attack
-
This notion of attack models the undercut relation.
- UNDIRECTED - net.sf.tweety.arg.adf.reasoner.ordering.ArgumentDegreeOrdering.DegreeType
- undirecteddiameter(Graph<T>) - Static method in class net.sf.tweety.graphs.util.GraphUtil
-
Returns the (undirected) diameter of the graph, i.e.
- UndirectedEdge<T extends Node> - Class in net.sf.tweety.graphs
-
Instances of this class represent undirected edges.
- UndirectedEdge(T, T) - Constructor for class net.sf.tweety.graphs.UndirectedEdge
-
Creates a new undirected edge for the given nodes.
- UNEQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- UNEQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- UNEQUAL - Static variable in class net.sf.tweety.math.equation.Inequation
- Union - Class in net.sf.tweety.logics.dl.syntax
-
This class models an union in description logics.
- Union() - Constructor for class net.sf.tweety.logics.dl.syntax.Union
-
Creates a new (empty) union.true
- Union(Collection<? extends ComplexConcept>) - Constructor for class net.sf.tweety.logics.dl.syntax.Union
-
Creates a new union with the given inner formulas.
- Union(ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.Union
-
Create a new union with the given formula.
- Union(ComplexConcept, ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.Union
-
Creates a new union with the two given formulae
- UnionSetView<E> - Class in net.sf.tweety.arg.adf.util
- UnionSetView(Set<E>, Set<E>) - Constructor for class net.sf.tweety.arg.adf.util.UnionSetView
-
Expects the two sets to be disjoint, otherwise some methods, e.g.
- UniversalRestriction - Class in net.sf.tweety.logics.dl.syntax
-
This class models an universal restriction in description logics, i.e.
- UniversalRestriction(AtomicRole, ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.UniversalRestriction
-
Creates a new ALC universal restriction with the given role and concept.
- UNKNOWN - net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
- UNKNOWN - net.sf.tweety.logics.qbf.parser.QdimacsParser.Answer
- unknownComp1() - Method in class net.sf.tweety.arg.delp.TestDeLP
- unknownComp2() - Method in class net.sf.tweety.arg.delp.TestDeLP
- UNLIMITED_EXECUTION - Static variable in class net.sf.tweety.agents.SynchronousProtocol
-
Indicates an unlimited number of execution steps of this protocol.
- UnrecognizedQueryTest() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
- UNSAT - net.sf.tweety.logics.qbf.parser.QdimacsParser.Answer
- unsatisfied() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation
- unsatisfied() - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
- unsatisfied() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation
- unsatisfied() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation
- unsatisfied(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation
- unsatisfied(Argument) - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
- unsatisfied(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation
- unsatisfied(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation
- unstableCountInconsistencyMeasure() - Method in class net.sf.tweety.arg.dung.ExtensionInconsistencyMeasure
- UnstableCountInconsistencyMeasure<T extends DungTheory> - Class in net.sf.tweety.arg.dung.analysis
- UnstableCountInconsistencyMeasure() - Constructor for class net.sf.tweety.arg.dung.analysis.UnstableCountInconsistencyMeasure
- update(DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
-
Updates the current belief state accordingly to the given dialogue trace.
- update(DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
- update(DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
- update(DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
- update(Update<T>, List<PreferenceOrder<T>>) - Method in interface net.sf.tweety.preferences.aggregation.DynamicPreferenceAggregator
-
This update stream is going to be used for dynamic changes in a preferences orders Input: ArrayList(Quadruple(PreferenceOrder, Number of Operations, Operation, Element)) e.g: weakening element b in PO test 2 times needs quadruple like this: Quadruple(test, 2, WEAKEN, b) Possible Structures: ArrayList, Queue Empty initialization, update() if stream is not empty
- update(Update<T>, List<PreferenceOrder<T>>) - Method in class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator
-
The update-method for dynamically changing the input for preference aggregation
- update(UpdateStream<T>, List<PreferenceOrder<T>>) - Method in class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator
-
this method extends the update-functionality with input-streams consisting of Update-elements
- Update<T> - Class in net.sf.tweety.preferences.update
-
This Update-class provides update-elements used within dynamic preference aggregations
- Update(int, Operation, Integer, T) - Constructor for class net.sf.tweety.preferences.update.Update
-
The constructor for update-elements
- UPDATE_NAIVE - Static variable in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
-
Constant for denoting the naive update.
- UPDATE_ROUGH - Static variable in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
-
Constant for denoting the rough update.
- UPDATE_SIMPLE - Static variable in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
-
Constant for denoting the simple update.
- UPDATE_STICKY - Static variable in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
-
Constant for denoting the sticky update.
- UpdateEvent<T> - Class in net.sf.tweety.preferences.events
-
The class for event objects used in dynamic preference aggregation
- UpdateEvent(Object, PreferenceOrder<T>) - Constructor for class net.sf.tweety.preferences.events.UpdateEvent
-
constructor for an update containing the aggregation result
- UpdateListener<T> - Interface in net.sf.tweety.preferences.events
-
The interface for UpdateListener used for dynamic preference aggregation
- UpdatePrinter<T> - Class in net.sf.tweety.preferences.events
-
This exemplary class implements a simple printer for update events writing its result into the console
- UpdatePrinter() - Constructor for class net.sf.tweety.preferences.events.UpdatePrinter
- updateState(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.processor.InterpretationProcessor
- updateState(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.processor.MaximizeInterpretationProcessor
- UpdateStream<T> - Class in net.sf.tweety.preferences.update
-
Konzeption: Der Update-Stream ist eine Datenstruktur, die benutzt wird, um eine Reihe von Updates fuer dynamische POs einzuspeisen und zu verwalten.
- UpdateStream() - Constructor for class net.sf.tweety.preferences.update.UpdateStream
- updateWeight(Attack, double) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory
-
updates the weight of the given attack with the given value and return old value
- UPParser - Class in net.sf.tweety.preferences.io
-
Update Parser for reading updates for dynamic Preference Aggregation Please note: update file syntax changed from (index, operation, amount, element) e.g.
- UPParser() - Constructor for class net.sf.tweety.preferences.io.UPParser
- UPParser(InputStream) - Constructor for class net.sf.tweety.preferences.io.UPParser
-
Constructor with InputStream.
- UPParser(InputStream, String) - Constructor for class net.sf.tweety.preferences.io.UPParser
-
Constructor with InputStream and supplied encoding
- UPParser(Reader) - Constructor for class net.sf.tweety.preferences.io.UPParser
-
Constructor.
- UPParser(UPParserTokenManager) - Constructor for class net.sf.tweety.preferences.io.UPParser
-
Constructor with generated Token Manager.
- UPParserConstants - Interface in net.sf.tweety.preferences.io
-
Token literal values and constants.
- UPParserTokenManager - Class in net.sf.tweety.preferences.io
-
Token Manager.
- UPParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.preferences.io.UPParserTokenManager
-
Constructor.
- UPParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.preferences.io.UPParserTokenManager
-
Constructor.
- UpperApproxDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
-
This class models an approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
- UpperApproxDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure
- usePredicateWhitelist(boolean) - Method in class net.sf.tweety.lp.asp.writer.ClingoWriter
- User - net.sf.tweety.logics.bpm.syntax.TaskType
- UtilityBasedAgentGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim
-
Generates baseline lottery agents.
- UtilityBasedAgentGenerator(String) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
- UtilityBasedLotteryAgent - Class in net.sf.tweety.agents.dialogues.lotteries
- UtilityBasedLotteryAgent(String, DungTheory, UtilityFunction, Semantics) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.UtilityBasedLotteryAgent
- UtilityFunction<S,T extends java.util.Collection<S>> - Class in net.sf.tweety.agents.dialogues.oppmodels
-
Objects of this class represent utility function that assess dialogue traces.
- UtilityFunction - Class in net.sf.tweety.arg.prob.lotteries
-
A utility function that maps divisions to utilities
- UtilityFunction - Interface in net.sf.tweety.agents.dialogues.structured
-
This interface models an utility function, i.e.
- UtilityFunction() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.UtilityFunction
- UtilityFunction() - Constructor for class net.sf.tweety.arg.prob.lotteries.UtilityFunction
-
Creates a new utility function.
All Classes All Packages