- DalalDistance - Class in net.sf.tweety.logics.pl.analysis
-
This class models the dalal distance measure between possible worlds,
see e.g.
- DalalDistance() - Constructor for class net.sf.tweety.logics.pl.analysis.DalalDistance
-
- db1 - Variable in class net.sf.tweety.machinelearning.assoc.AprioriTest
-
- db2 - Variable in class net.sf.tweety.machinelearning.assoc.AprioriTest
-
- debugStream - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
-
Debug output.
- debugStream - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
-
Debug output.
- debugStream - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
-
Debug output.
- debugStream - Variable in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager
-
Debug output.
- debugStream - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
-
Debug output.
- debugStream - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
-
Debug output.
- decrease(ProbabilityFunction<Byte>, double) - Method in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
-
Adapts the given probability function by decreasing the probabilities of NEG, CONJ and DISJ.
- Deduction<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax
-
- Deduction(String) - Constructor for class net.sf.tweety.arg.aba.syntax.Deduction
-
Constructs a new deduction
- Deduction(String, ABARule<T>) - Constructor for class net.sf.tweety.arg.aba.syntax.Deduction
-
Constructs a new deduction
- Deduction(String, ABARule<T>, Collection<Deduction<T>>) - Constructor for class net.sf.tweety.arg.aba.syntax.Deduction
-
Constructs a new deduction
- DeductionTest1() - Method in class net.sf.tweety.arg.aba.ABATest
-
- DeductionTest2() - Method in class net.sf.tweety.arg.aba.ABATest
-
- DeductiveArgument - Class in net.sf.tweety.arg.deductive.semantics
-
Instances of this class represent arguments in the sense
of Definition 3.1 in
Philippe Besnard and Anthony Hunter.
- DeductiveArgument(Collection<? extends PropositionalFormula>, PropositionalFormula) - Constructor for class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
-
Creates a new deductive argument with the given support
and claim.
- DeductiveArgumentNode - Class in net.sf.tweety.arg.deductive.semantics
-
Extends a deductive argument by a unique identifier.
- DeductiveArgumentNode(Collection<? extends PropositionalFormula>, PropositionalFormula) - Constructor for class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
-
Creates a new deductive argument node with the given support
and claim (a unique ID is generated)
- DeductiveArgumentNode(DeductiveArgument) - Constructor for class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
-
Creates a new deductive argument node from the given deductive argument
(a unique ID is generated)
- DeductiveEnvironment - Class in net.sf.tweety.agents.dialogues.oppmodels
-
This class models the environment for agents in a game of deductive
argumentation.
- DeductiveEnvironment(PlBeliefSet) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment
-
Creates a new grounded environment.
- DeductiveExample - Class in net.sf.tweety.arg.deductive.examples
-
For testing purposes.
- DeductiveExample() - Constructor for class net.sf.tweety.arg.deductive.examples.DeductiveExample
-
- DeductiveKnowledgeBase - Class in net.sf.tweety.arg.deductive.syntax
-
Instances of this class represent deductive knowledge bases,
i.e.
- DeductiveKnowledgeBase() - Constructor for class net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase
-
Creates a new (empty) knowledge base.
- DeductiveKnowledgeBase(Collection<? extends PropositionalFormula>) - Constructor for class net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase
-
Creates a new knowledge base with the given
set of formulas.
- DefAtom() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
-
- DEFAULT - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants
-
Lexical state.
- DEFAULT - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
-
Lexical state.
- DEFAULT - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
-
Lexical state.
- DEFAULT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
-
Lexical state.
- DEFAULT - Static variable in interface net.sf.tweety.preferences.io.POParserConstants
-
Lexical state.
- DEFAULT - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants
-
Lexical state.
- DEFAULT_MAXIMAL_FORMULA_LENGTH - Static variable in class net.sf.tweety.commons.FormulaSampler
-
This constant specifies the default length for sampled
formulas.
- DEFAULT_MAXIMUM_BELIEFBASE_LENGTH - Static variable in class net.sf.tweety.commons.BeliefSetSampler
-
This constant specifies the default maximum length for sampled
belief bases.
- DEFAULT_MINIMUM_BELIEFBASE_LENGTH - Static variable in class net.sf.tweety.commons.BeliefSetSampler
-
This constant specifies the default minimum length for sampled
belief bases.
- DEFAULT_SPLIT - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
-
regexes for parsing a default and the justifications
- DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.fol.test.FolParserTest
-
- DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.ml.MleanCoPTest
-
- DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.ml.ModalParserTest
-
- DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.ml.ModalReasonerTest
-
- DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.ml.SPASSTest
-
- DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.pl.test.PlParserTest
-
- DefaultBaseExpansionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
-
This class implements the default base expansion operator, ie.
- DefaultBaseExpansionOperator() - Constructor for class net.sf.tweety.beliefdynamics.DefaultBaseExpansionOperator
-
- DefaultBehavior() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior
-
- DefaultCompatibilityMeasure - Class in net.sf.tweety.logics.mln.analysis
-
This class represents the default compatibility measure that uses
a coherence measure.
- DefaultCompatibilityMeasure(AbstractCoherenceMeasure) - Constructor for class net.sf.tweety.logics.mln.analysis.DefaultCompatibilityMeasure
-
Creates a new compatibility measure.
- DefaultCondensedProbabilityDistributionWriter - Class in net.sf.tweety.logics.rpcl.writers
-
This class implements a simple writer for writing condensed probability distributions.
- DefaultCondensedProbabilityDistributionWriter() - Constructor for class net.sf.tweety.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter
-
Creates a new writer.
- DefaultCondensedProbabilityDistributionWriter(CondensedProbabilityDistribution) - Constructor for class net.sf.tweety.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter
-
Creates a new writer for the given condensed probability distribution.
- DefaultDungTheoryGenerator - Class in net.sf.tweety.arg.dung.util
-
Implements a customizable Dung theory generator.
- DefaultDungTheoryGenerator(DungTheoryGenerationParameters) - Constructor for class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
-
Creates a new generator with the given parameters.
- defaultEnumerator - Static variable in class net.sf.tweety.logics.pl.sat.PlMusEnumerator
-
The default MUS enumerator.
- DefaultFileHandler() - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.DefaultFileHandler
-
- DefaultFileHandler() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.DefaultFileHandler
-
- DefaultFormulaStream<S extends Formula> - Class in net.sf.tweety.commons.streams
-
This class models a default stream on the formulas of a given collection.
- DefaultFormulaStream(Collection<S>) - Constructor for class net.sf.tweety.commons.streams.DefaultFormulaStream
-
Creates a new default stream with the given formulas that ends after all formulas
have been streamed.
- DefaultFormulaStream(Collection<S>, boolean) - Constructor for class net.sf.tweety.commons.streams.DefaultFormulaStream
-
Creates a new default stream with the given formulas.
- defaultGeneralSolver - Static variable in class net.sf.tweety.math.opt.Solver
-
The default solver for non-linear (general) optimization problems.
- DefaultGraph<T extends Node> - Class in net.sf.tweety.graphs
-
Instance of this class represent graphs with
nodes of type T
- DefaultGraph() - Constructor for class net.sf.tweety.graphs.DefaultGraph
-
Creates an empty graph.
- defaultGraph - Variable in class net.sf.tweety.graphs.orders.Order
-
The directed defaultGraph that represents the order
- defaultification(Program) - Static method in class net.sf.tweety.lp.asp.syntax.Program
-
Creates the defaultification p_d of a given program p.
- DefaultificationTest - Class in net.sf.tweety.lp.asp.syntax
-
- DefaultificationTest(String) - Constructor for class net.sf.tweety.lp.asp.syntax.DefaultificationTest
-
Create the test case
- DefaultInconsistencyListener - Class in net.sf.tweety.logics.commons.analysis.streams
-
A simple implementation of an inconsistency listener that simply
prints out each event to standard output.
- DefaultInconsistencyListener() - Constructor for class net.sf.tweety.logics.commons.analysis.streams.DefaultInconsistencyListener
-
- defaultIntegerLinearSolver - Static variable in class net.sf.tweety.math.opt.Solver
-
The default solver for integer linear problems
- defaultLexState - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
-
- defaultLexState - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
-
- defaultLexState - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
-
- defaultLexState - Variable in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager
-
- defaultLexState - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
-
- defaultLexState - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
-
- defaultLinearSolver - Static variable in class net.sf.tweety.math.opt.Solver
-
The default solver for linear optimization problems.
- DefaultMeReasoner - Class in net.sf.tweety.logics.pcl.reasoner
-
This class implements a maximum entropy reasoner for probabilistic
conditional logic.
- DefaultMeReasoner() - Constructor for class net.sf.tweety.logics.pcl.reasoner.DefaultMeReasoner
-
- DefaultMultipleBaseExpansionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
-
This class implements the default multiple base expansion operator, ie.
- DefaultMultipleBaseExpansionOperator() - Constructor for class net.sf.tweety.beliefdynamics.DefaultMultipleBaseExpansionOperator
-
- DefaultNegation - Class in net.sf.tweety.math.func.fuzzy
-
Implements the default fuzzy negation x -> x-1
- DefaultNegation() - Constructor for class net.sf.tweety.math.func.fuzzy.DefaultNegation
-
- DefaultObservation - Class in net.sf.tweety.machinelearning
-
A default observation is a vector of double values.
- DefaultObservation() - Constructor for class net.sf.tweety.machinelearning.DefaultObservation
-
- DefaultProbabilityDistributionWriter - Class in net.sf.tweety.logics.rpcl.writers
-
This class implements a simple writer for writing probability distributions.
- DefaultProbabilityDistributionWriter() - Constructor for class net.sf.tweety.logics.rpcl.writers.DefaultProbabilityDistributionWriter
-
Creates a new writer.
- DefaultProbabilityDistributionWriter(RpclProbabilityDistribution<?>) - Constructor for class net.sf.tweety.logics.rpcl.writers.DefaultProbabilityDistributionWriter
-
Creates a new writer for the given probability distribution.
- DefaultProcessTree - Class in net.sf.tweety.logics.rdl.semantics
-
Computes the extensions of a default theory
- DefaultProcessTree(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree
-
constructs a default process tree out of the default theory t
- defaultReasoner - Static variable in class net.sf.tweety.logics.fol.reasoner.FolReasoner
-
Empty default reasoner
- defaultReasoner - Static variable in class net.sf.tweety.logics.ml.reasoner.AbstractModalReasoner
-
Empty default prover
- DefaultRule - Class in net.sf.tweety.logics.rdl.syntax
-
Models a default rule in Reiter's default logic, see [R.
- DefaultRule() - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule
-
an empty Default Rule
- DefaultRule(FolFormula, FolFormula, FolFormula) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule
-
Creates a new DefaultRule
- DefaultRule(FolFormula, Collection<FolFormula>, FolFormula) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule
-
Creates a new DefaultRule
- defaultRuleTest() - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
-
- defaults - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
-
the sequence of defaults
- defaults - Variable in class net.sf.tweety.logics.rdl.syntax.DefaultTheory
-
The set of default rules
- defaultSatSolver - Static variable in class net.sf.tweety.logics.pl.sat.SatSolver
-
The default SAT solver.
- DefaultSequence - Class in net.sf.tweety.logics.rdl.semantics
-
sequence of defaults
- DefaultSequence(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence
-
constructs an empty sequence of defaults of the default theory dt
- DefaultSequence(DefaultSequence, DefaultRule) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence
-
constructs a sequence by appending d to ds
- DefaultStreamBasedInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis.streams
-
Implements a stream-based inconsistency measure on a given class of
inconsistency measurement processes.
- DefaultStreamBasedInconsistencyMeasure(Class<? extends InconsistencyMeasurementProcess<S>>) - Constructor for class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
-
Creates a new inconsistency measure based on the given process class.
- DefaultStreamBasedInconsistencyMeasure(Class<? extends InconsistencyMeasurementProcess<S>>, Map<String, Object>) - Constructor for class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
-
Creates a new inconsistency measure based on the given process class and the given configuration options for that process.
- DefaultSubsetIterator<T> - Class in net.sf.tweety.commons.util
-
Iterates over all subsets of a given sets.
- DefaultSubsetIterator(Set<T>) - Constructor for class net.sf.tweety.commons.util.DefaultSubsetIterator
-
Creates a new subset iterator for the given set.
- DefaultTheory - Class in net.sf.tweety.logics.rdl.syntax
-
Models a default theory in Reiter's default logic, see [R.
- DefaultTheory() - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultTheory
-
constructs empty default theory
- DefaultTheory(FolBeliefSet, Collection<DefaultRule>) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultTheory
-
constructs a default theory from a knowledge base and a set of defaults
- defaultValue - Variable in class net.sf.tweety.machinelearning.TrainingParameter
-
The default value of the parameter.
- DefeasibleInferenceRule<T extends Invertable> - Class in net.sf.tweety.arg.aspic.syntax
-
- DefeasibleInferenceRule() - Constructor for class net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule
-
Constructs an empty instance
- DefeasibleInferenceRule(T, Collection<T>) - Constructor for class net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule
-
Constructs a defeasible inference rule p => c
- DefeasibleLogicProgram - Class in net.sf.tweety.arg.delp.syntax
-
This class models a defeasible logic program (DeLP).
- DefeasibleLogicProgram() - Constructor for class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
-
Default constructor; initializes empty delpFacts, strict and defeasible rules
and empty comparison criterion.
- DefeasibleLogicProgram(DefeasibleLogicProgram) - Constructor for class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
-
constructor; initializes this program with the given program
- DefeasibleLogicProgram.DelpOptions - Class in net.sf.tweety.arg.delp.syntax
-
- defeasibleNotClonable() - Method in class net.sf.tweety.arg.delp.TestRules
-
- DefeasibleRule - Class in net.sf.tweety.arg.delp.syntax
-
This class models a defeasible rule in defeasible logic programming.
- DefeasibleRule(FolFormula, Set<FolFormula>) - Constructor for class net.sf.tweety.arg.delp.syntax.DefeasibleRule
-
Initializes the defeasible rule with the given parameters
- defeasibleRules() - Method in class net.sf.tweety.arg.delp.TestRules
-
- Defeat - Class in net.sf.tweety.arg.deductive.semantics.attacks
-
This attack notion models the defeat relation; A is defeated by B iff claim(B) |- \neg support(A).
- Defeat() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.Defeat
-
Private constructor.
- Defeat - Class in net.sf.tweety.arg.lp.semantics.attack
-
This notion of attack models the defeat relation.
- Defeat() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.Defeat
-
Private constructor.
- defeatersWhenNull1() - Method in class net.sf.tweety.arg.delp.TestDTree
-
- defeatersWhenNull2() - Method in class net.sf.tweety.arg.delp.TestDTree
-
- defeatersWhenNull3() - Method in class net.sf.tweety.arg.delp.TestDTree
-
- DefeatingRebuttal - Class in net.sf.tweety.arg.deductive.semantics.attacks
-
This attack notion models the defeating rebuttal relation; A is defeated by B iff claim(B) |- \neg claim(A).
- DefeatingRebuttal() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.DefeatingRebuttal
-
Private constructor.
- defenceStrategy - Variable in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner
-
- defends(Collection<Assumption<T>>, Assumption<T>) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory
-
Checks whether a set of arguments defends an argument
- defenseRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
-
- defenseRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
-
- defenseRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
-
- defNeg - Variable in class net.sf.tweety.lp.asp.parser.ASTDefAtom
-
- DEFNOT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
-
RegularExpression Id.
- deleteTmp - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator
-
if "true" then the temporary folder is cleaned after each sample (it is recommended to set this
to "false" to speed up sampling)
- DELP_BIRDS - Static variable in class net.sf.tweety.arg.delp.TestArguments
-
- DELP_BIRDS - Static variable in class net.sf.tweety.arg.delp.TestDTree
-
- DelpAnswer - Class in net.sf.tweety.arg.delp.semantics
-
Wrapping a generic answer from a reasoner in order to allow UNDECIDED
in addition to the traditional YES and NO.
- DelpAnswer() - Constructor for class net.sf.tweety.arg.delp.semantics.DelpAnswer
-
- DelpAnswer.Type - Enum in net.sf.tweety.arg.delp.semantics
-
- DelpArgument - Class in net.sf.tweety.arg.delp.syntax
-
This class models a DeLP argument which comprises of a set of defeasible rules (the support) and a literal (the conclusion).
- DelpArgument(FolFormula) - Constructor for class net.sf.tweety.arg.delp.syntax.DelpArgument
-
constructor; initializes the conclusion of this argument with the given literal
- DelpArgument(Set<DefeasibleRule>, FolFormula) - Constructor for class net.sf.tweety.arg.delp.syntax.DelpArgument
-
constructor; initializes this argument with the given parameters
- DeLPExample - Class in net.sf.tweety.arg.delp.examples
-
DeLP example code
- DeLPExample() - Constructor for class net.sf.tweety.arg.delp.examples.DeLPExample
-
- DelpFact - Class in net.sf.tweety.arg.delp.syntax
-
This class implements a fact in defeasible logic programming which encapsulates a literal.
- DelpFact(FolFormula) - Constructor for class net.sf.tweety.arg.delp.syntax.DelpFact
-
Default constructor; initializes this fact with the given literal
- DelpOptions() - Constructor for class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
-
- DelpParser - Class in net.sf.tweety.arg.delp.parser
-
This class implements a parser for defeasible logic programs.
- DelpParser() - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
-
- DelpParser(InputStream) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
-
Constructor with InputStream.
- DelpParser(InputStream, String) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
-
Constructor with InputStream and supplied encoding
- DelpParser(Reader) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
-
Constructor.
- DelpParser(DelpParserTokenManager) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
-
Constructor with generated Token Manager.
- DelpParserConstants - Interface in net.sf.tweety.arg.delp.parser
-
Token literal values and constants.
- DelpParserTokenManager - Class in net.sf.tweety.arg.delp.parser
-
Token Manager.
- DelpParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
-
Constructor.
- DelpParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
-
Constructor.
- DelpReasoner - Class in net.sf.tweety.arg.delp.reasoner
-
This reasoner performs default dialectical reasoning
on some given DeLP.
- DelpReasoner(ComparisonCriterion) - Constructor for class net.sf.tweety.arg.delp.reasoner.DelpReasoner
-
Creates a new DelpReasoner for the given delp.
- DelpRule - Class in net.sf.tweety.arg.delp.syntax
-
This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming
and captures their common attributes and methods.
- DelpRule(FolFormula, Collection<? extends FolFormula>) - Constructor for class net.sf.tweety.arg.delp.syntax.DelpRule
-
Default constructor; initializes head and body of the rule
- DelpService - Class in net.sf.tweety.web.services
-
Web service for defeasible logic programming.
- DelpService() - Constructor for class net.sf.tweety.web.services.DelpService
-
- denominator - Variable in class net.sf.tweety.math.term.Fraction
-
The denominator of the fraction.
- depth - Variable in class net.sf.tweety.machinelearning.GridSearchParameterLearner
-
The depth of the recursion.
- derivation - Variable in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
-
The derivation of this argument structure
- Derivation<T extends Rule<?,?>> - Class in net.sf.tweety.commons.util.rules
-
This class models a derivation, i.e.
- Derivation(List<T>) - Constructor for class net.sf.tweety.commons.util.rules.Derivation
-
Creates a new derivation with the given sequence of rules.
- derive(Variable) - Method in class net.sf.tweety.math.term.AbsoluteValue
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Constant
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Difference
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Exp
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Fraction
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Logarithm
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Maximum
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Minimum
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Power
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Product
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Root
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Sum
-
- derive(Variable) - Method in class net.sf.tweety.math.term.Term
-
Differentiates the term with respect to the given variable.
- derive(Variable) - Method in class net.sf.tweety.math.term.Variable
-
- description - Variable in enum net.sf.tweety.arg.dung.parser.FileFormat
-
The description of the file format.
- description() - Method in enum net.sf.tweety.arg.dung.parser.FileFormat
-
Returns the description of the file format.
- description - Variable in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
-
The description of the sub-problem.
- description() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
-
Returns the description of the sub-problem.
- description - Variable in enum net.sf.tweety.arg.dung.semantics.Semantics
-
The description of the semantics.
- description() - Method in enum net.sf.tweety.arg.dung.semantics.Semantics
-
Returns the description of the semantics.
- description - Variable in class net.sf.tweety.plugin.OutputField
-
- description - Variable in class net.sf.tweety.plugin.parameter.CommandParameter
-
The description string for this parameter, e.g.
- descriptions - Static variable in class net.sf.tweety.logics.cl.examples.ReasonerExample
-
- determineAttackRelations(Collection<AspicArgument<T>>, Comparator<AspicArgument<T>>, RuleFormulaGenerator<T>) - Static method in class net.sf.tweety.arg.aspic.semantics.AspicAttack
-
Checks for defeats in a list of arguments
- DfInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements the family of "Measures of the Degree of Inconsistency" from
[Mu,Liu,Jin, Bell.
- DfInconsistencyMeasure(SimpleFunction<double[], Double>, MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.DfInconsistencyMeasure
-
Creates a new inconsistency measure.
- DfInconsistencyMeasureExample - Class in net.sf.tweety.logics.pl.examples
-
Example code illustrating the Df inconsistency measure.
- DfInconsistencyMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.DfInconsistencyMeasureExample
-
- dfs(int, List<Argument>, boolean[], boolean[]) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
-
Depth-First-Search to find a cycle in the theory.
- DHitInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements the d-hit inconsistency measure from [Grant, Hunter.
- DHitInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class net.sf.tweety.logics.commons.analysis.DHitInconsistencyMeasure
-
Creates a new d-sum inconsistency measure using the given distance and interpretations
provided from the given interpretation iterator.
- diagonalOnly - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
-
Number of initial iterations, where the covariance matrix remains diagonal.
- DialecticalTree - Class in net.sf.tweety.arg.delp.semantics
-
This class implements a node of a dialectical tree from DeLP.
- DialecticalTree(DelpArgument) - Constructor for class net.sf.tweety.arg.delp.semantics.DialecticalTree
-
constructor; initializes this dialectical tree node as a root with given argument
- DialecticalTree(DialecticalTree, DelpArgument) - Constructor for class net.sf.tweety.arg.delp.semantics.DialecticalTree
-
- DialecticalTree.Mark - Enum in net.sf.tweety.arg.delp.semantics
-
- DialogueTrace<S,T extends java.util.Collection<S>> - Class in net.sf.tweety.agents.dialogues
-
Objects of this class represent traces of dialogue in an argumentation game,
ie.
- DialogueTrace() - Constructor for class net.sf.tweety.agents.dialogues.DialogueTrace
-
- Difference - Class in net.sf.tweety.math.term
-
This class models a difference between two terms.
- Difference(Term, Term) - Constructor for class net.sf.tweety.math.term.Difference
-
Creates a new difference with the given terms.
- DIGIT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
-
RegularExpression Id.
- DimacsParser - Class in net.sf.tweety.logics.pl.parser
-
Parser a file in Dimacs format into a PlBeliefSet.
- DimacsParser() - Constructor for class net.sf.tweety.logics.pl.parser.DimacsParser
-
- DirectDefeat - Class in net.sf.tweety.arg.deductive.semantics.attacks
-
This attack notion models the direct defeat relation; A is defeated by B iff there is c in support(A) with claim(B) |- \neg c.
- DirectDefeat() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.DirectDefeat
-
Private constructor.
- DirectedEdge<T extends Node> - Class in net.sf.tweety.graphs
-
Instances of this class represent directed edges.
- DirectedEdge(T, T) - Constructor for class net.sf.tweety.graphs.DirectedEdge
-
Creates a new directed edge for the given nodes.
- DirectGameProtocol - Class in net.sf.tweety.agents.dialogues.lotteries.sim
-
This class implements a direct protocol for argumentation games.
- DirectGameProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocol
-
- DirectGameProtocolGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim
-
Creates direct game protocols.
- DirectGameProtocolGenerator() - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocolGenerator
-
- directsubs - Variable in class net.sf.tweety.arg.aspic.syntax.AspicArgument
-
The argument's direct children, whose conclusions fit its prerequisites
- DirectUndercut - Class in net.sf.tweety.arg.deductive.semantics.attacks
-
This attack notion models the direct undercut relation; A is defeated by B iff there is c in support(A) with claim(B) == \neg c.
- DirectUndercut() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.DirectUndercut
-
Private constructor.
- disable_tracing() - Method in class net.sf.tweety.arg.delp.parser.DelpParser
-
Disable tracing.
- disable_tracing() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
-
Disable tracing.
- disable_tracing() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
-
Disable tracing.
- disable_tracing() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
-
Disable tracing.
- disable_tracing() - Method in class net.sf.tweety.preferences.io.POParser
-
Disable tracing.
- disable_tracing() - Method in class net.sf.tweety.preferences.io.UPParser
-
Disable tracing.
- disagree(Set<FolFormula>) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
-
Checks whether the given set of literals disagree with respect to the strict part of this program.
- DISJ - Static variable in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
-
- Disjunctable - Interface in net.sf.tweety.logics.commons.syntax.interfaces
-
Formulas implementing this interface can be connected using
OR.
- DISJUNCTION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
-
- Disjunction - Class in net.sf.tweety.logics.fol.syntax
-
The classical disjunction of first-order logic.
- Disjunction(Collection<? extends RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.Disjunction
-
Creates a new disjunction with the given inner formulas.
- Disjunction() - Constructor for class net.sf.tweety.logics.fol.syntax.Disjunction
-
Creates a new (empty) disjunction.
- Disjunction(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Disjunction
-
Creates a new disjunction with the two given formulae
- Disjunction - Class in net.sf.tweety.logics.pl.syntax
-
This class represents a disjunction in propositional logic.
- Disjunction(Collection<? extends PropositionalFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.Disjunction
-
Creates a new disjunction with the given inner formulas.
- Disjunction() - Constructor for class net.sf.tweety.logics.pl.syntax.Disjunction
-
Creates a new (empty) disjunction.
- Disjunction(PropositionalFormula, PropositionalFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Disjunction
-
Creates a new disjunction with the two given formulae
- DisjunctionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
-
- DisjunctionToHead() - Method in class net.sf.tweety.logics.translators.aspfol.ASPFOLTranslatorTest
-
- display() - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
-
Pretty print of this belief state.
- display() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
-
- display() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
-
- display(int) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
-
Aux method for pretty print();
- display() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
-
- display(int) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
-
Aux method for pretty print();
- display() - Method in class net.sf.tweety.agents.sim.SimulationResult
-
Gives a pretty print of the results.
- displayHelp - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
-
- displayHelp() - Method in class net.sf.tweety.arg.delp.TestDeLP
-
- dist(SocialMapping<Double>, SocialMapping<Double>, Collection<Argument>) - Method in class net.sf.tweety.arg.social.reasoner.IssReasoner
-
Returns the maximum-norm distance between the two social
mappings
- distance(T, T) - Method in class net.sf.tweety.commons.analysis.DrasticDistance
-
- distance(S, T) - Method in class net.sf.tweety.commons.analysis.DrasticDistance
-
- distance(T, T) - Method in interface net.sf.tweety.commons.analysis.InterpretationDistance
-
Measures the distance between the two given interpretations.
- distance(S, T) - Method in interface net.sf.tweety.commons.analysis.InterpretationDistance
-
Measures the distance between a formula and some
interpretation by taking the minimal distance from all models
of the formula to the given interpretation.
- distance - Variable in class net.sf.tweety.logics.commons.analysis.DHitInconsistencyMeasure
-
The distance used by this measure.
- distance - Variable in class net.sf.tweety.logics.commons.analysis.DMaxInconsistencyMeasure
-
The distance used by this measure.
- distance - Variable in class net.sf.tweety.logics.commons.analysis.DSumInconsistencyMeasure
-
The distance used by this measure.
- distance(PossibleWorld, PossibleWorld) - Method in class net.sf.tweety.logics.pl.analysis.DalalDistance
-
- distance(PossibleWorld, PossibleWorld) - Method in class net.sf.tweety.logics.pl.analysis.PossibleWorldDistance
-
- distance(PropositionalFormula, PossibleWorld) - Method in class net.sf.tweety.logics.pl.analysis.PossibleWorldDistance
-
- distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.AggregatingNorm
-
- distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.EntropyNorm
-
- distance(ProbabilityFunction<T>, ProbabilityFunction<T>) - Method in class net.sf.tweety.math.norm.EntropyNorm
-
- distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.ManhattanNorm
-
- distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.MaximumNorm
-
- distance(T, T) - Method in interface net.sf.tweety.math.norm.Norm
-
The distance between the two object, i.e.
- distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.PNorm
-
- distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
-
- distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
-
- DistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
-
This class models the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], extended
by the use of different p-norms.
- DistanceMinimizationInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
-
Creates a new measure for p=1.
- DistanceMinimizationInconsistencyMeasure(int) - Constructor for class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
-
Creates a new measure for the given p.
- DistanceMinimizationMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
This consistency restorer uses the distance minimization inconsistency measure
to restore consistency.
- DistanceMinimizationMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationMachineShop
-
Creates a new restorer for p=1.
- DistanceMinimizationMachineShop(int) - Constructor for class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationMachineShop
-
Creates a new restorer for the given p.
- distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm
-
- distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm
-
- distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.AggregatingNorm
-
- distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.AggregatingNorm
-
- distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.EntropyNorm
-
- distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.EntropyNorm
-
- distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.ManhattanNorm
-
- distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.MaximumNorm
-
- distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.PNorm
-
- distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
-
- distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
-
- distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
-
- distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
-
- distanceTerm(Vector<Term>, Vector<Term>) - Method in interface net.sf.tweety.math.norm.RealVectorNorm
-
The distance between the two objects as a term.
- distanceTerm(Term[], Term[]) - Method in interface net.sf.tweety.math.norm.RealVectorNorm
-
The distance between the two objects as a term.
- distanceToZero() - Method in class net.sf.tweety.math.matrix.Matrix
-
Returns the distance of this matrix to the zero matrix.
- Distribution(RpclSemantics, FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
-
- Distribution(RpclSemantics, FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
-
- DIV - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
-
RegularExpression Id.
- DIV_COLON - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
-
tokens for parsing defaults
- DIV_COMMA - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
-
tokens for parsing defaults
- DIV_SLASH - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
-
tokens for parsing defaults
- divide(Probability) - Method in class net.sf.tweety.math.probability.Probability
-
Divides this probability by other and returns the result.
- divide(Double) - Method in class net.sf.tweety.math.probability.Probability
-
Divides this probability by given value returns the result.
- Division - Class in net.sf.tweety.arg.dung.divisions
-
A pair
is a division of AAF G w.r.t.
- Division(Extension, Extension) - Constructor for class net.sf.tweety.arg.dung.divisions.Division
-
Creates a new division for the given parameters.
- DivisionExample - Class in net.sf.tweety.arg.dung.examples
-
Example code for working with divisions
- DivisionExample() - Constructor for class net.sf.tweety.arg.dung.examples.DivisionExample
-
- DLPAtom - Class in net.sf.tweety.lp.asp.syntax
-
This class models an atom, which is a basic structure for
building literals and rules for logic programs.
- DLPAtom() - Constructor for class net.sf.tweety.lp.asp.syntax.DLPAtom
-
Default-Ctor: Used for dynamic instantiation
- DLPAtom(DLPAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPAtom
-
Copy-Ctor: Generates a deep copy of the given atom
- DLPAtom(FOLAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPAtom
-
Copy-Ctor: Generates a deep copy of the given FOL atom
- DLPAtom(String, Term<?>...) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPAtom
-
Ctor: Creates an atom with the given predicate as name and the
given terms as argument
- DLPAtom(String, List<? extends Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPAtom
-
Creates a predicate for the atom from symbol name
and uses a list of terms as arguments for the atom.
- DLPElement - Interface in net.sf.tweety.lp.asp.syntax
-
This interface defines base methods every element of a
program has to provide.
- DLPElementAdapter - Class in net.sf.tweety.lp.asp.syntax
-
This class acts as an abstract base class for classes that implement
the ELPElement interface.
- DLPElementAdapter() - Constructor for class net.sf.tweety.lp.asp.syntax.DLPElementAdapter
-
- DLPHead - Class in net.sf.tweety.lp.asp.syntax
-
This formula represents the head of an disjunctive rule which is a
disjunction of ELP literals.
- DLPHead() - Constructor for class net.sf.tweety.lp.asp.syntax.DLPHead
-
Default-Ctor: Generates empty head
- DLPHead(DLPLiteral) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPHead
-
Ctor: Generates a head with one literal
- DLPHead(DLPHead) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPHead
-
Copy-Ctor: Generates a deep copy from the given head
- DLPLiteral - Interface in net.sf.tweety.lp.asp.syntax
-
This interface defines common functionality for an ELP literal.
- DLPNeg - Class in net.sf.tweety.lp.asp.syntax
-
This class models strict negation for atoms.
- DLPNeg(DLPAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPNeg
-
- DLPNeg(DLPNeg) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPNeg
-
- DLPNeg(String, Term<?>...) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPNeg
-
- DLPNeg(String, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPNeg
-
Default constructor, creates an atom from a functor name
and a list of terms.
- DLPNeg(String) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPNeg
-
- DLPNot - Class in net.sf.tweety.lp.asp.syntax
-
This class models a default negated literal.
- DLPNot(DLPLiteral) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPNot
-
- DLPNot(DLPNot) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPNot
-
- DLPPredicate - Class in net.sf.tweety.lp.asp.syntax
-
This class models a predicate with its name and arity.
- DLPPredicate() - Constructor for class net.sf.tweety.lp.asp.syntax.DLPPredicate
-
Default-Ctor: Used for dynamic instantiation
- DLPPredicate(String) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPPredicate
-
Ctor: Generates a predicate with the given name and arity zero.
- DLPPredicate(String, int) - Constructor for class net.sf.tweety.lp.asp.syntax.DLPPredicate
-
Creates a predicate with the given name and the given arity
- DlSignature - Class in net.sf.tweety.logics.dl.syntax
-
This class models a description logic signature
- DlSignature() - Constructor for class net.sf.tweety.logics.dl.syntax.DlSignature
-
empty constructor
- DlSignature(Collection<?>) - Constructor for class net.sf.tweety.logics.dl.syntax.DlSignature
-
- DLV - Class in net.sf.tweety.lp.asp.reasoner
-
Wrapper class for the DLV answer set solver command line
utility.
- DLV(String) - Constructor for class net.sf.tweety.lp.asp.reasoner.DLV
-
- DLVComplex - Class in net.sf.tweety.lp.asp.reasoner
-
- DLVComplex(String) - Constructor for class net.sf.tweety.lp.asp.reasoner.DLVComplex
-
- DLVTest - Class in net.sf.tweety.lp.asp.analysis
-
Test class for DLV.
- DLVTest() - Constructor for class net.sf.tweety.lp.asp.analysis.DLVTest
-
- DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements the d-max inconsistency measure from [Grant, Hunter.
- DMaxInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class net.sf.tweety.logics.commons.analysis.DMaxInconsistencyMeasure
-
Creates a new d-max inconsistency measure using the given distance and interpretations
provided from the given interpretation iterator.
- doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
-
Gives the set of all best next moves with their expected utility
according to the belief state and the given trace.
- doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
-
- doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
-
- doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
-
- Done() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
-
Reset buffer when finished.
- Done() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
-
Reset buffer when finished.
- Done() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
-
Reset buffer when finished.
- Done() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
-
Reset buffer when finished.
- Done() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
-
Reset buffer when finished.
- doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
-
Performs the actual querying.
- doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner
-
- doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner
-
- doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.IteratingMlnReasoner
-
- doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.NaiveMlnReasoner
-
- doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.SimpleSamplingMlnReasoner
-
- doStep() - Method in class net.sf.tweety.agents.AbstractProtocol
-
Executes one step of the protocol.
- doStep() - Method in class net.sf.tweety.agents.RoundRobinProtocol
-
- doStep() - Method in class net.sf.tweety.agents.SynchronousProtocol
-
- DOT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
-
RegularExpression Id.
- DoubleCategory - Class in net.sf.tweety.machinelearning
-
A category for multi-class classification using a double as identifier.
- DoubleCategory(double) - Constructor for class net.sf.tweety.machinelearning.DoubleCategory
-
Creates a new category with the given value.
- doubleValue() - Method in class net.sf.tweety.math.ComplexNumber
-
- doubleValue() - Method in class net.sf.tweety.math.probability.Probability
-
- doubleValue() - Method in class net.sf.tweety.math.term.Term
-
Computes the actual value of this term if it contains no variables.
- DrasticDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Class in net.sf.tweety.commons.analysis
-
This class models the drastic distance measure between interpretations,
see [Grant, Hunter.
- DrasticDistance() - Constructor for class net.sf.tweety.commons.analysis.DrasticDistance
-
- DrasticInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class models the drastic inconsistency measure.
- DrasticInconsistencyMeasure(BeliefSetConsistencyTester<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.DrasticInconsistencyMeasure
-
Creates a new drastic inconsistency measure.
- DSumInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements the d-sum inconsistency measure from [Grant, Hunter.
- DSumInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class net.sf.tweety.logics.commons.analysis.DSumInconsistencyMeasure
-
Creates a new d-sum inconsistency measure using the given distance and interpretations
provided from the given interpretation iterator.
- DSumMeasureExample - Class in net.sf.tweety.logics.pl.examples
-
- DSumMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.DSumMeasureExample
-
- dtree() - Method in class net.sf.tweety.arg.delp.TestQueries
-
- DummyAgent - Class in net.sf.tweety.agents
-
A dummy agent is an agent that cannot act.
- DummyAgent(String) - Constructor for class net.sf.tweety.agents.DummyAgent
-
Creates a new dummy agent with the given name.
- DummyAgentGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim
-
Generates dummy lottery agents.
- DummyAgentGenerator(String) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator
-
- DummyLotteryAgent - Class in net.sf.tweety.agents.dialogues.lotteries
-
Audience agents (do nothing) for argumentation games.
- DummyLotteryAgent(String, DungTheory, Semantics) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.DummyLotteryAgent
-
- dump(String) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode
-
- DungEntity - Interface in net.sf.tweety.arg.dung.syntax
-
This interface captures common methods of arguments and attacks of
abstract argumentation theories.
- DungSignature - Class in net.sf.tweety.arg.dung.syntax
-
This class captures the signature of a Dung theory,
i.e.
- DungSignature() - Constructor for class net.sf.tweety.arg.dung.syntax.DungSignature
-
Creates a new (empty) Dung signature.
- DungSignature(Argument) - Constructor for class net.sf.tweety.arg.dung.syntax.DungSignature
-
Creates a new signature with the single given argument.
- DungSignature(Collection<? extends Argument>) - Constructor for class net.sf.tweety.arg.dung.syntax.DungSignature
-
Creates a new signature with the given set of arguments.
- DungTheory - Class in net.sf.tweety.arg.dung.syntax
-
This class implements an abstract argumentation theory in the sense of Dung.
- DungTheory() - Constructor for class net.sf.tweety.arg.dung.syntax.DungTheory
-
Default constructor; initializes empty sets of arguments and attacks
- DungTheory(Graph<Argument>) - Constructor for class net.sf.tweety.arg.dung.syntax.DungTheory
-
Creates a new theory from the given graph.
- dungTheory - Variable in class net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure
-
The Dung theory against the partial prob assignments are measured.
- DungTheoryGenerationParameters - Class in net.sf.tweety.arg.dung.util
-
This class lists some parameters
for Dung theory generation.
- DungTheoryGenerationParameters() - Constructor for class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters
-
- DungTheoryGenerator - Interface in net.sf.tweety.arg.dung.util
-
Class implementing this interface provide the capability
to generate Dung theories.
- DynamicBordaScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
-
Creates an aggregator for dynamic veto scoring
- DynamicBordaScoringPreferenceAggregator(int) - Constructor for class net.sf.tweety.preferences.aggregation.DynamicBordaScoringPreferenceAggregator
-
constructor for a new veto aggregator
- DynamicLaw - Class in net.sf.tweety.action.description.syntax
-
A dynamic law in C has the form caused F if G after U where F is a
propositional formula over the set of fluent names (called headFormula) G is
a propositional formula over the set of fluent names (called ifFormula) U is
a propositional formula over the set of fluent names and the set of action
names (called afterFormula)
- DynamicLaw() - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
-
Constructs a new empty dynamic law.
- DynamicLaw(FolFormula, FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
-
Creates a new dynamic law of the form: caused headFormula if ifFormula
after afterFormula
- DynamicLaw(FolFormula, FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
-
Creates a new dynamic law of the form: caused headFormula if ifFormula
after afterFormula requires requirements
- DynamicLaw(FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
-
Creates a new dynamic law of the form caused headFormula after
afterFormula
- DynamicLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
-
Creates a new dynamic law of the form caused headFormula after
afterFormula requires requirements
- DynamicPluralityScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
-
Creates an dynamic aggregator with plurality scoring
- DynamicPluralityScoringPreferenceAggregator() - Constructor for class net.sf.tweety.preferences.aggregation.DynamicPluralityScoringPreferenceAggregator
-
calls the super-constructor with argument used for plurality scoring aggregation
- DynamicPreferenceAggregator<T> - Interface in net.sf.tweety.preferences.aggregation
-
This interface is meant to be used for the dynamic aggregation of some generic preference orders
- DynamicScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
-
This Demo-class provides a basic implementation similar to the
ScoringPreferenceAggregator but dynamic aggregation instead of static
- DynamicScoringPreferenceAggregator(WeightVector) - Constructor for class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator
-
Constructor with given weight vector
- DynamicVetoScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
-
Creates an dynamic aggregator for veto scoring
- DynamicVetoScoringPreferenceAggregator(int) - Constructor for class net.sf.tweety.preferences.aggregation.DynamicVetoScoringPreferenceAggregator
-