- 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 a number of characters.
- backup(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
-
Backup a number of characters.
- backup(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
-
Backup a number of characters.
- backup(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
-
Backup a number of characters.
- backup(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
-
Backup a number of characters.
- 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.SPASSModalReasoner
-
Shell to run SPASS.
- 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.
- batchFile - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
-
- beginCalculate() - Method in class net.sf.tweety.lp.asp.reasoner.SolveTime
-
- 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.
- beginRead() - Method in class net.sf.tweety.lp.asp.reasoner.SolveTime
-
- BeginToken() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
-
Start.
- BeginToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
-
Start.
- BeginToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
-
Start.
- BeginToken() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
-
Start.
- BeginToken() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
-
Start.
- beginWrite() - Method in class net.sf.tweety.lp.asp.reasoner.SolveTime
-
- BeliefBase - Interface in net.sf.tweety.commons
-
This class captures an abstract knowledge base, i.e.
- beliefBase - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
- 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<T extends Formula> - 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 - 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
-
- beliefSet2BitSet(PlBeliefSet) - Static method in class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Creates a bitset representation of the given belief set.
- 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
-
- BeliefSetConsistencyTester<S 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<S extends Formula,T extends BeliefSet<S>> - 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<R extends Formula,S extends BeliefSet<R>> - 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
-
- bestGuess(double[], double[], List<Term>, List<Variable>) - Method in class net.sf.tweety.math.opt.solver.HessianGradientDescent
-
Find the best guess.
- 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(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
- 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
- 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.SPASSModalReasoner
-
String representation of the SPASS path.
- binaryLocation - Variable in class net.sf.tweety.logics.pl.sat.LingelingSolver
-
The binary location of Lingeling.
- 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".
- 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<DLPElement>>) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
-
Helper method:
- bodiesFromFormula(FolFormula, List<List<DLPElement>>) - 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.Rule
-
- 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
- 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
-
- BruteForceCReasoner - Class in net.sf.tweety.logics.cl.reasoner
-
This class models a brute force c-reasoner for conditional logic.
- BruteForceCReasoner(boolean) - Constructor for class net.sf.tweety.logics.cl.reasoner.BruteForceCReasoner
-
Creates a new c-representation reasoner
- BruteForceCReasoner() - Constructor for class net.sf.tweety.logics.cl.reasoner.BruteForceCReasoner
-
Creates a new simple c-representation reasoner.
- 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
-
- 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
-
Position in buffer.
- 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
-
Position in buffer.
- 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
- buildASL(List<String>) - Method in class net.sf.tweety.lp.asp.reasoner.Clingo
-
Processes clingo output and returns a list of answer sets.
- 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.