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
B
- b - Static variable in class net.sf.tweety.logics.cl.test.TestConditionalStructure
- b - Variable in class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
- b - Variable in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
- backup(int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- backup(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- backup(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- backup(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- backup(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
- BalancedMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
This class implements a consistency restorer using balanced distance minimization, see [Diss, Thimm] for details.
- BalancedMachineShop(CulpabilityMeasure<ProbabilisticConditional, PclBeliefSet>) - Constructor for class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop
- base - Variable in class net.sf.tweety.math.term.Root
-
The base of the root
- BASE_URI - Static variable in class net.sf.tweety.web.TweetyServer
- BaseContractionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics
-
This is the interface for a classic belief base contraction operator, ie.
- BaseExpansionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics
-
This is the interface for a classic belief base expansion operator, ie.
- BaseRevisionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics
-
This is the interface for a classic belief base revision operator, ie.
- bash - Variable in class net.sf.tweety.arg.dung.reasoner.ProboReasoner
-
Which shell to use.
- bash - Variable in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner
-
Shell to run EProver
- bash - Variable in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner
-
Shell to run Prover9
- bash - Variable in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner
-
Shell to run SPASS.
- bash - Variable in class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner
-
Shell to run MleanCoP.
- bash - Variable in class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner
-
Shell to run SPASS.
- bash - Variable in class net.sf.tweety.lp.asp.reasoner.ClingoSolver
-
Shell to run Clingo
- bash - Variable in class net.sf.tweety.lp.asp.reasoner.DLVSolver
-
Shell to run DLV
- BasicArgument - Class in net.sf.tweety.arg.saf.syntax
-
This class models a basic argument in structured argumentation frameworks, i.e.
- BasicArgument(String) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument
-
Deprecated.
- BasicArgument(Proposition) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument
-
Creates a new basic argument with the given claim and empty support.
- BasicArgument(Proposition, Set<Proposition>) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument
-
Creates a new basic argument with the given claim and the given support.
- BasicArgumentSampler - Class in net.sf.tweety.arg.saf.util
-
This class implements a formula sampler for structured argumentation frameworks.
- BasicArgumentSampler(Signature) - Constructor for class net.sf.tweety.arg.saf.util.BasicArgumentSampler
-
Creates a new basic argument sampler for the given signature.
- BasicExampleTest1() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest
- BasicExampleTest2() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest
- BasicExampleTest3() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest
- BasicExampleTest4() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest
- batchFile - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
- beginColumn - Variable in class net.sf.tweety.arg.delp.parser.Token
-
The column number of the first character of this Token.
- beginColumn - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
-
The column number of the first character of this Token.
- beginColumn - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
-
The column number of the first character of this Token.
- beginColumn - Variable in class net.sf.tweety.lp.asp.parser.Token
-
The column number of the first character of this Token.
- beginColumn - Variable in class net.sf.tweety.preferences.io.Token
-
The column number of the first character of this Token.
- beginLine - Variable in class net.sf.tweety.arg.delp.parser.Token
-
The line number of the first character of this Token.
- beginLine - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
-
The line number of the first character of this Token.
- beginLine - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
-
The line number of the first character of this Token.
- beginLine - Variable in class net.sf.tweety.lp.asp.parser.Token
-
The line number of the first character of this Token.
- beginLine - Variable in class net.sf.tweety.preferences.io.Token
-
The line number of the first character of this Token.
- BeginToken() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- BeginToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- BeginToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- BeginToken() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- BeginToken() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
- beliefBase - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- BeliefBase - Interface in net.sf.tweety.commons
-
This class captures an abstract knowledge base, i.e.
- BeliefBaseMachineShop - Interface in net.sf.tweety.commons
-
Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.
- beliefBases - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
an ordered list of belief bases which are revised for the comparsation of the two selected revision methods
- beliefbasesUpdated() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
-
Helper method.
- beliefSet - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction
-
The belief set used by this transformation function.
- beliefSet - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
- beliefSet - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
- beliefSet - Variable in class net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee
- BeliefSet<T extends Formula,S extends Signature> - Class in net.sf.tweety.commons
-
This class models a belief set, i.e.
- BeliefSet() - Constructor for class net.sf.tweety.commons.BeliefSet
-
Creates a new (empty) belief set.
- BeliefSet(Collection<? extends T>) - Constructor for class net.sf.tweety.commons.BeliefSet
-
Creates a new belief set with the given collection of formulae.
- BeliefSet(S) - Constructor for class net.sf.tweety.commons.BeliefSet
-
Creates a new belief set with the given type of signature.
- BELIEFSET_PATH - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- BELIEFSET_PATH - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- beliefSet2BitSet(PlBeliefSet) - Static method in class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Creates a bitset representation of the given belief set.
- BeliefSetConsistencyTester<T extends Formula> - Interface in net.sf.tweety.logics.commons.analysis
-
Classes extending this abstract class are capable of testing whether a given belief set is consistent.
- BeliefSetInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
Classes extending this abstract class represent inconsistency measures on belief sets.
- BeliefSetInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure
- BeliefSetIterator<T extends Formula,U extends BeliefSet<T,?>> - Interface in net.sf.tweety.commons
-
Classes implementing this interface are able to enumerate belief sets.
- beliefSets - Static variable in class net.sf.tweety.logics.cl.examples.ReasonerExample
- BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>> - Class in net.sf.tweety.commons
-
This abstract class models a random sampler for belief sets.
- BeliefSetSampler(Signature) - Constructor for class net.sf.tweety.commons.BeliefSetSampler
-
Creates a new belief base sampler for the given signature.
- BeliefSetSampler(Signature, int, int) - Constructor for class net.sf.tweety.commons.BeliefSetSampler
-
Creates a new belief base sampler for the given signature.
- beliefState - Variable in class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent
-
The belief state of the agent.
- BeliefState - Class in net.sf.tweety.agents.dialogues.oppmodels
-
This abstract class encapsulates the common characteristics of a belief state for arguing agents.
- BeliefState(Extension, UtilityFunction<Argument, Extension>) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
-
Creates a new belief-state with the given parameters.
- BeliefStateConfiguration - Class in net.sf.tweety.agents.dialogues.oppmodels.sim
-
This class encapsulates configuration options for generating belief states.
- BeliefStateConfiguration() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
- BenchmarkResult - Class in net.sf.tweety.arg.adf.reasoner.test
-
A wrapper for the information we collect during benchmark calls.
- BenchmarkResult(int, int, int, boolean, long, long) - Constructor for class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult
- BenchmarkResult(Throwable) - Constructor for class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult
- bestGuess(double[], double[], List<Term>, List<Variable>) - Method in class net.sf.tweety.math.opt.solver.HessianGradientDescent
-
Find the best guess.
- betweennessCentralityNormalised(Graph<T>) - Static method in class net.sf.tweety.graphs.util.GraphUtil
-
Computes the normalised betweenness centrality of all nodes, i.e.
- beVerbose - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
- BfgsRootFinder - Class in net.sf.tweety.math.opt
-
Implements the BFGS method to find zeros of a (multi-dimensional) function.
- BfgsRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.BfgsRootFinder
-
Creates a new root finder for the given starting point and the given (multi-dimensional) function
- BfgsRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.BfgsRootFinder
-
Creates a new root finder for the given starting point and the given function
- BfgsSolver - Class in net.sf.tweety.math.opt.solver
-
This class implements the BFGS algorithm for solving unconstrained optimization problems.
- BfgsSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.BfgsSolver
- bigInteger2BinaryString(BigInteger) - Static method in class net.sf.tweety.commons.util.ConversionTools
-
Provides a string representation of the bits in the given BigInteger.
- bigInteger2BitSet(BigInteger) - Static method in class net.sf.tweety.commons.util.ConversionTools
-
Creates a bit set from the given BigInteger.
- binary - Static variable in class net.sf.tweety.math.opt.solver.GlpkSolver
-
Path to the binary or lp_solve
- binary - Static variable in class net.sf.tweety.math.opt.solver.LpSolve
-
Path to the binary or lp_solve
- BinaryFunction<T,S,R> - Interface in net.sf.tweety.math.func
-
Encapsulates common methods of mathematical functions with a two parameters.
- binaryLocation - Variable in class net.sf.tweety.commons.util.CygwinShell
- binaryLocation - Variable in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner
-
String representation of the EProver binary path.
- binaryLocation - Variable in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner
-
String representation of the EProver binary path.
- binaryLocation - Variable in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner
-
String representation of the SPASS path.
- binaryLocation - Variable in class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner
-
String representation of the SPASS path.
- binaryLocation - Variable in class net.sf.tweety.logics.pl.sat.LingelingSolver
-
The binary location of Lingeling.
- BinaryNode(String) - Constructor for class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.BinaryNode
- BinaryOperator() - Constructor for enum net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
- BinaryRelation<T> - Interface in net.sf.tweety.preferences
-
This abstract class provides a basic implementation of a generic set of pairs to be used for preference ordering.
- binaryString2BitSet(String) - Static method in class net.sf.tweety.commons.util.ConversionTools
-
Creates a bit set from the given string of zeros and ones.
- BinaryVariable - Class in net.sf.tweety.math.term
-
This class models a binary variable as a mathematical term.
- BinaryVariable(String) - Constructor for class net.sf.tweety.math.term.BinaryVariable
-
Creates a new binary variable with the given name.
- binomial(Integer, Integer) - Static method in class net.sf.tweety.commons.util.MathTools
-
This method computes "n choose k".
- Binop() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- bipolar() - Method in class net.sf.tweety.arg.adf.reasoner.SatEncoding
- bipolar() - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
-
Checks if the ADF is bipolar.
- birds() - Method in class net.sf.tweety.arg.delp.TestQueries
- bitset2BeliefSet(BitSet) - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Parses a knowledge base (PlBeliefSet) from the the given bitset.
- bitSet2BinaryString(BitSet) - Static method in class net.sf.tweety.commons.util.ConversionTools
-
Provides a string representation of the bits in the given BitSet.
- bodiesFromDisjunction(Disjunction, List<List<ASPBodyElement>>) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
-
Helper method:
- bodiesFromFormula(FolFormula, List<List<ASPBodyElement>>) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
-
Helper method: Generates a list of possible bodies for the given FOL-Formula.
- body - Variable in class net.sf.tweety.arg.aba.syntax.InferenceRule
-
The rule's prerequisites
- body - Variable in class net.sf.tweety.arg.delp.syntax.DelpRule
-
The body of the rule (these must be a literals).
- body - Variable in class net.sf.tweety.lp.asp.syntax.ASPRule
-
The body (premise) of a rule.
- Body() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- Body1() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- BooleanCategory - Class in net.sf.tweety.machinelearning
-
A category for one-class classifiers.
- BooleanCategory(boolean) - Constructor for class net.sf.tweety.machinelearning.BooleanCategory
-
Creates a new category with the given value.
- BordaScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
-
Implementation of the borda scoring preference aggregator
- BordaScoringPreferenceAggregator(int) - Constructor for class net.sf.tweety.preferences.aggregation.BordaScoringPreferenceAggregator
-
calls super-constructor with the amount of domain elements to aggregate
- BordaWeightVector - Class in net.sf.tweety.preferences.aggregation
-
Implementation of the borda weight vector N elements are weighted from 0 to n-1 depending on their ranking function rank
- BordaWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.BordaWeightVector
-
constructor for the borda weight vector
- BOTH - net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
- BottomConcept - Class in net.sf.tweety.logics.dl.syntax
-
This class models the bottom concept (empty concept) in description logics.
- BottomConcept() - Constructor for class net.sf.tweety.logics.dl.syntax.BottomConcept
-
Creates a new BottomConcept.
- bottomElement() - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
-
Returns the bottom element of this semantics.
- bottomElement() - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
- BoundedSum - Class in net.sf.tweety.math.func.fuzzy
-
Represents the bounded sum in fuzzy logic, i.e., S(x,y)=min(x+y,1)
- BoundedSum() - Constructor for class net.sf.tweety.math.func.fuzzy.BoundedSum
- bridge - Variable in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
-
the bridge to the real implementation
- BrokenParenthesesTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- BrokenParenthesesTest2() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- BrokenParenthesesTest3() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- btnAdd - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- btnAddLeft - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
- btnAddRight - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
- btnDown - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- btnRemove - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- btnRunRevision - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
- btnUp - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- bufcolumn - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- bufcolumn - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- bufcolumn - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- bufcolumn - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- bufcolumn - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
- buffer - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- buffer - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- buffer - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- buffer - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- buffer - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
- BUFFER_CAPACITY - Static variable in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser
- bufline - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- bufline - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- bufline - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- bufline - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- bufline - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
- bufpos - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
-
Position in buffer.
- bufpos - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- bufpos - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
-
Position in buffer.
- bufpos - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
-
Position in buffer.
- bufpos - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
- bufsize - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- bufsize - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- bufsize - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- bufsize - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- bufsize - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
- build(ConditionalStructure) - Method in class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder
-
This builds a map of conditionals to
KappaValue
instances which represent the penalty term for a falsified conditional - buildMinima(ConditionalStructure, Map<Conditional, KappaValue>, Conditional, List<NicePossibleWorld>, KappaMin) - Method in class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder
-
Helper method: Builds the minimums for the kappa values, a collection of worlds is given which might be either the verifiying or the falsifiying worlds and for this collection of worlds the corresponding
KappaMin
is given, such that positiveMinimum is calculated using verifying worlds and negativeMinumum is using falsifying worlds. - buildOptimizationProblem() - Method in class net.sf.tweety.math.opt.OptimizationRootFinder
-
Builds an optimization problem for the task of root finding.
- BuiltinAtom() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- BurdenBasedRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner
-
This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.
- BurdenBasedRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.BurdenBasedRankingReasoner
- BurdenExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample
All Classes All Packages