- m - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
-
- m - Variable in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
-
- m - Variable in class net.sf.tweety.preferences.aggregation.SinglePeakWeightVector
-
given value of the peak element
- m - Variable in class net.sf.tweety.preferences.aggregation.SingleValeWeightVector
-
value of the least chosen element
- main(String[]) - Static method in class net.sf.tweety.agents.dialogues.test.GroundedTest
-
- main(String[]) - Static method in class net.sf.tweety.agents.dialogues.test.GroundedTest2
-
- main(String[]) - Static method in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest
-
- main(String[]) - Static method in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest2
-
Main method for evaluation.
- main(String[]) - Static method in class net.sf.tweety.arg.deductive.test.DeductiveTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.delp.DefeasibleLogicProgram
-
Parsing DeLP from given file and performing given query against it.
- main(String[]) - Static method in class net.sf.tweety.arg.dung.prover.TweetySolver
-
The main method.
- main(String[]) - Static method in class net.sf.tweety.arg.dung.test.AnalysisTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.test.CF2Test
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.test.DivisionTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.test.GrossiModgilReasonerTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.test.LdoTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.test.SccCompleteReasonerTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.test.StratifiedLabelingsCli
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.test.StratifiedLabelingTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.prob.test.deductive.DeductiveProbTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.prob.test.IncProbTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.prob.test.LotteryTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.prob.test.SubgraphProbTest
-
- main(String[]) - Static method in class net.sf.tweety.arg.social.test.SafTest
-
- main(String[]) - Static method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
-
Functional Test method: Only shows the view in a JFrame to test resize behavior.
- main(String[]) - Static method in class net.sf.tweety.beliefdynamics.test.AbstractArgumentationTest
-
- main(String[]) - Static method in class net.sf.tweety.beliefdynamics.test.CrMasTest
-
- main(String[]) - Static method in class net.sf.tweety.cli.plugins.CliMain
-
- main(String[]) - Static method in class net.sf.tweety.cli.TweetyCli
-
Program entry.
Current program call:
- java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X
--options [rpcl.semantics=Y,rpcl.inference=Z]
*
- java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY
--options [rpcl.semantics=Y,rpcl.inference=Z]
with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}
- main(String[]) - Static method in class net.sf.tweety.commons.test.SubsetIteratorTest
-
- main(String[]) - Static method in class net.sf.tweety.graphs.test.GraphTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder
-
- main(String[]) - Static method in class net.sf.tweety.logics.cl.test.CReasonerTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.cl.test.ReasonerCompare
-
- main(String[]) - Static method in class net.sf.tweety.logics.fol.parser.FunctionalTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.fol.test.FolTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.ml.test.AlchemyTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.ml.test.ApproximationTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.ml.test.MlnTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.ml.test.MlnTest2
-
- main(String[]) - Static method in class net.sf.tweety.logics.ml.test.ProbTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pcl.analysis.MaximumEntropyMachineShop
-
- main(String[]) - Static method in class net.sf.tweety.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop
-
- main(String[]) - Static method in class net.sf.tweety.logics.pcl.test.AnalysisTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pcl.test.RepairTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pcl.util.MatlabUtils
-
Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.ContensionTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.DfInconsistencyMeasureTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.DSumMeasureTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.FuzzyMeasureTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.InconsistencyMeasurementValueDistributionTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.LingelingTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.MaMeasureTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.McscInconsistencyMeasureTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.MinimalInconsistentSubsetTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.MusTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.PmMeasureTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.SyntacticEnumeratingPlBeliefSetSamplerTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.test.SyntacticRandomPlBeliefSetSamplerTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.rcl.test.RclTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.rdl.test.RDLTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.rpcl.test.RpclMeReasonerTest
-
- main(String[]) - Static method in class net.sf.tweety.logics.rpcl.test.RpclMeReasonerTest2
-
- main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
-
Simple test case taken from [1]
- main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
-
Functional Test method: Only shows the view in a JFrame to test resize behavior.
- main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
-
- main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
-
- main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.RevisionTest
-
- main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ArgumentativeSelectiveRevisionTest
-
- main(String[]) - Static method in class net.sf.tweety.machinelearning.test.SVMTest
-
- main(String[]) - Static method in class net.sf.tweety.preferences.io.POParser
-
- main(String[]) - Static method in class net.sf.tweety.preferences.io.UPParser
-
- main(String[]) - Static method in class net.sf.tweety.preferences.PreferencesIntegerBugExample
-
- main(String[]) - Static method in class net.sf.tweety.web.TweetyServer
-
Main server method.
- MaInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class models the I_M inconsistency measure from e.g.
- MaInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MaInconsistencyMeasure
-
Creates a new inconsistency measure.
- makeAxiom(String, String) - Method in class net.sf.tweety.logics.fol.writer.TptpWriter
-
Creates an TPTP axiom out of body.
- MaMeasureTest - Class in net.sf.tweety.logics.pl.test
-
- MaMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.MaMeasureTest
-
- MANHATTAN - Static variable in class net.sf.tweety.logics.pcl.GeneralizedMeReasoner
-
- manhattanDistance(double[], double[]) - Static method in class net.sf.tweety.commons.util.VectorTools
-
Computes the Manhattan distance between the two given vectors.
- manhattanDistance(List<Double>, List<Double>) - Static method in class net.sf.tweety.commons.util.VectorTools
-
Computes the Manhattan distance between the two given lists.
- manhattanDistanceToZero(List<Double>) - Static method in class net.sf.tweety.commons.util.VectorTools
-
Computes the Manhattan distance of the given value vector to zero
- manhattanDistanceToZero(double[]) - Static method in class net.sf.tweety.commons.util.VectorTools
-
Computes the Manhattan distance of the given value vector to zero
- ManhattanNorm - Class in net.sf.tweety.math.norm
-
The Manhattan norm.
- ManhattanNorm() - Constructor for class net.sf.tweety.math.norm.ManhattanNorm
-
- ManualTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
-
- map - Variable in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
-
The actual mapping of arguments to integers.
- map - Variable in class net.sf.tweety.arg.social.semantics.SocialMapping
-
Maps arguments to their values
- mapping - Variable in class net.sf.tweety.arg.social.IssReasoner
-
The mapping to be computed by this reasoner.
- MapTools<E,F> - Class in net.sf.tweety.commons.util
-
This class provides some utility functions for maps.
- MapTools() - Constructor for class net.sf.tweety.commons.util.MapTools
-
- MarcoMusEnumerator - Class in net.sf.tweety.logics.pl.sat
-
Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).
- MarcoMusEnumerator(String) - Constructor for class net.sf.tweety.logics.pl.sat.MarcoMusEnumerator
-
Creates a new MUs enumerator.
- Mark() - Constructor for enum net.sf.tweety.arg.delp.semantics.DialecticalTree.Mark
-
- MarkovLogicNetwork - Class in net.sf.tweety.logics.ml
-
Instances of this class represent Markov Logic Networks [Domingos et.
- MarkovLogicNetwork() - Constructor for class net.sf.tweety.logics.ml.MarkovLogicNetwork
-
Creates a new (empty) MLN.
- MarkovLogicNetwork(Collection<? extends MlnFormula>) - Constructor for class net.sf.tweety.logics.ml.MarkovLogicNetwork
-
Creates a new conditional MLN with the given collection of
MLN formulas.
- marks - Variable in class net.sf.tweety.lp.asp.parser.JJTASPParserState
-
- masGenerator - Variable in class net.sf.tweety.agents.sim.GameSimulator
-
The multi-agent system generator.
- MathTools - Class in net.sf.tweety.commons.util
-
This class contains some useful math tools.
- MathTools() - Constructor for class net.sf.tweety.commons.util.MathTools
-
- MatlabUtils - Class in net.sf.tweety.logics.pcl.util
-
- MatlabUtils() - Constructor for class net.sf.tweety.logics.pcl.util.MatlabUtils
-
- Matrix - Class in net.sf.tweety.math.matrix
-
This class models a matrix of terms.
- Matrix(int, int) - Constructor for class net.sf.tweety.math.matrix.Matrix
-
Creates a new matrix of the given dimension.
- MAX_FIX_ITERATIONS - Static variable in class net.sf.tweety.math.opt.NewtonRootFinder
-
The maximum number of fixing iterations.
- MAX_ITERATIONS - Static variable in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
-
The maximum number of steps in the line search.
- MAX_STEP_LENGTH - Static variable in class net.sf.tweety.math.opt.solver.GradientDescent
-
The max step length for the gradient descent.
- MaxAggregator - Class in net.sf.tweety.logics.ml.analysis
-
This aggregation function models the maximum function.
- MaxAggregator() - Constructor for class net.sf.tweety.logics.ml.analysis.MaxAggregator
-
- maxEval - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer
-
The maximum number of evaluations.
- maxEvents - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
-
The maximum number of events this listener
listens to an inconsistency measure.
- MaxFunction - Class in net.sf.tweety.math.func
-
The maximum function.
- MaxFunction() - Constructor for class net.sf.tweety.math.func.MaxFunction
-
- maxFunEvals - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
-
- maximalConsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
-
- maximalConsistentSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
-
This method returns the maximal consistent subsets of the given
set of formulas
- MAXIMIZE - Static variable in class net.sf.tweety.math.opt.OptimizationProblem
-
Static constant for the type "maximization"
- MAXIMUM - Static variable in class net.sf.tweety.logics.pcl.GeneralizedMeReasoner
-
- Maximum - Class in net.sf.tweety.math.term
-
This class models the maximum of two terms.
- Maximum(Term, Term) - Constructor for class net.sf.tweety.math.term.Maximum
-
Creates a new maximum with the given terms.
- Maximum(List<Term>) - Constructor for class net.sf.tweety.math.term.Maximum
-
Creates a new maximum with the given list of terms.
- MAXIMUM_STRING_REPRESENTATION - Static variable in class net.sf.tweety.math.term.Maximum
-
- MaximumCoNorm - Class in net.sf.tweety.math.func.fuzzy
-
Represents the maximum-conorm in fuzzy logic, i.e., S(x,y)=max(x,y)
- MaximumCoNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.MaximumCoNorm
-
- MaximumEntropyMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
This consistency restorer uses the idea of the upper approximative distance minimization inconsistency measure to compute a
ME-probability distribution and adjust the probabilities of the conditionals accordingly.
- MaximumEntropyMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.MaximumEntropyMachineShop
-
- MaximumNorm - Class in net.sf.tweety.math.norm
-
The Maximum norm.
- MaximumNorm() - Constructor for class net.sf.tweety.math.norm.MaximumNorm
-
- maxInt - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
-
- maxInt - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
-
- maxIter - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
-
- maxIterations - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
-
Maximal number of iterations.
- MAXITERATIONS - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex
-
The maximum number of iterations of the simplex algorithm.
- maxNextCharInd - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
-
- maxNextCharInd - Static variable in class net.sf.tweety.arg.dung.parser.SimpleCharStream
-
- maxNextCharInd - Variable in class net.sf.tweety.logics.fol.parser.SimpleCharStream
-
- maxNextCharInd - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
-
- maxNextCharInd - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
-
- maxNextCharInd - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
-
- maxNextCharInd - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
-
- maxNumberOfInterpretationsForModel - Variable in class net.sf.tweety.logics.ml.ApproximateNaiveMlnReasoner
-
The maximum number of interpretations used for the model.
- maxNumberOfSelectedInterpretations - Variable in class net.sf.tweety.logics.ml.ApproximateNaiveMlnReasoner
-
The maximum number of interpretations selected from the whole
set of interpretations.
- maxRecursionDepth - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
-
The maximal depth of the recursive model.
- maxRecursionWidth - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.T2Configuration
-
The maximal number of sub-models in the probability distribution
of a model
- MAXVAR - Static variable in class net.sf.tweety.logics.pl.sat.Sat4jSolver
-
Default value for max number of variables for asolver.
- maxvar - Variable in class net.sf.tweety.logics.pl.sat.Sat4jSolver
-
Max number of variables for this solver.
- maxVariableRatio - Variable in class net.sf.tweety.logics.pl.util.CnfSampler
-
The maximum ratio of variables appearing in a single formula.
- mc - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockFormula
-
- McscInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha.
- McscInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.McscInconsistencyMeasure
-
Creates a new inconsistency measure.
- McscInconsistencyMeasureTest - Class in net.sf.tweety.logics.pl.test
-
- McscInconsistencyMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.McscInconsistencyMeasureTest
-
- MeanDistanceCulpabilityMeasure - Class in net.sf.tweety.logics.pcl.analysis
-
This class implements the mean distance culpability measure, see [PhD thesis, Thimm].
- MeanDistanceCulpabilityMeasure(boolean) - Constructor for class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
-
Creates a new measure.
- measure - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyUpdateEvent
-
- measure - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
-
The inconsistency measure used
- Measure(String, String) - Constructor for enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
-
- measure - Variable in class net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee
-
- MEASURE_TOLERANCE - Static variable in interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
-
Tolerance.
- measure_version - Variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
-
One of TFUZZY_MEASURE, SUMFUZZY_MEASURE
- measureFunction - Variable in class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure
-
Used for weighing the cardinalities of the Pi
- measureFunction - Variable in class net.sf.tweety.logics.commons.analysis.DfInconsistencyMeasure
-
The measure function used to aggregate the normalized cardinalities of minimal
inconsistent subsets.
- MeasurementCallee(InconsistencyMeasure<BeliefSet<PropositionalFormula>>, BeliefSet<PropositionalFormula>) - Constructor for class net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee
-
- meDistribution - Variable in class net.sf.tweety.arg.prob.test.deductive.DeductiveArgMeReasoner
-
The ME-distribution this reasoner bases on.
- meDistribution - Variable in class net.sf.tweety.logics.pcl.DefaultMeReasoner
-
The ME-distribution this reasoner bases on.
- meDistribution - Variable in class net.sf.tweety.logics.pcl.GeneralizedMeReasoner
-
The ME-distribution this reasoner bases on.
- meDistribution - Variable in class net.sf.tweety.logics.rpcl.RpclMeReasoner
-
The ME-distribution for this reasoner.
- merge(Collection<Collection<S>>) - Method in class net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator
-
Auxiliary method that combines every two collections into one.
- merge() - Method in class net.sf.tweety.plugin.OutputField
-
- mergeFields() - Method in class net.sf.tweety.plugin.PluginOutput
-
- MicInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class models the MI^C inconsistency measure.
- MicInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MicInconsistencyMeasure
-
Creates a new drastic inconsistency measure.
- midPoint(double[], double[]) - Static method in class net.sf.tweety.commons.util.VectorTools
-
Computes the midpoint of the two given vectors.
- midpoint(Map<Variable, Term>, Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.NewtonRootFinder
-
Computes the midpoint of the two maps
- MiInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class models the MI inconsistency measure.
- MiInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MiInconsistencyMeasure
-
Creates a new inconsistency measure.
- MimusMusEnumerator - Class in net.sf.tweety.logics.pl.sat
-
Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).
- MimusMusEnumerator(String) - Constructor for class net.sf.tweety.logics.pl.sat.MimusMusEnumerator
-
Creates a new MUs enumerator.
- min(Term) - Method in class net.sf.tweety.math.term.Term
-
Returns the minimum of this and the given term.
- MIN_STEP_LENGTH - Static variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
-
The minimal step length for line search.
- MIN_STEP_LENGTH - Static variable in class net.sf.tweety.math.opt.solver.GradientDescent
-
The min step length for the gradient descent.
- MinAggregator - Class in net.sf.tweety.logics.ml.analysis
-
This aggregation function models the minimum function.
- MinAggregator() - Constructor for class net.sf.tweety.logics.ml.analysis.MinAggregator
-
- minconf - Variable in class net.sf.tweety.machinelearning.assoc.AprioriMiner
-
the minimum support for mined rules.
- mineFrequentSets(Collection<Collection<T>>, int) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner
-
Extracts all sets of items from database with support at least
minsupport.
- mineRules(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AbstractAssociationRuleMiner
-
- mineRules(Collection<Collection<T>>, int) - Method in class net.sf.tweety.machinelearning.assoc.AbstractAssociationRuleMiner
-
- mineRules(Collection<Collection<T>>, int, int) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner
-
- mineRules(Collection<Collection<T>>) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner
-
Mines a set of association rules from the given database.
- mineRules(Collection<Collection<T>>, int) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner
-
Mines a set of association rules from the given database.
- mineRules(Collection<Collection<T>>, int, int) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner
-
Mines a set of association rules from the given database.
- minimalCorrectionSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
-
- minimalCorrectionSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
-
This method returns the minimal correction subsets of the given
set of formulas (i.e.
- minimalInconsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
-
- minimalInconsistentSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
-
This method returns the minimal inconsistent subsets of the given
set of formulas.
- minimalInconsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator
-
- minimalInconsistentSubsets(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.sat.MarcoMusEnumerator
-
- minimalInconsistentSubsets(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.sat.MimusMusEnumerator
-
- minimalInconsistentSubsets(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.sat.PlMusEnumerator
-
- MinimalInconsistentSubsetTest - Class in net.sf.tweety.logics.pl.test
-
- MinimalInconsistentSubsetTest() - Constructor for class net.sf.tweety.logics.pl.test.MinimalInconsistentSubsetTest
-
- minimalRank() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
-
Returns the minimal rank of this OCF.
- minimalRank() - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
-
Returns the minimal rank of this OCF.
- MinimalViolation2InconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
-
This class models the minimal violation inconsistency measure for the 2-norm.
- MinimalViolation2InconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
-
- MinimalViolationEuclideanMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
Repairs a probabilistic belief base by taking the probabilities from the probability function
that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
- MinimalViolationEuclideanMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShop
-
- MinimalViolationEuclideanMachineShopOjAlgoExpression - Class in net.sf.tweety.logics.pcl.analysis
-
Repairs a probabilistic belief base by taking the probabilities from the probability function
that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
- MinimalViolationEuclideanMachineShopOjAlgoExpression() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoExpression
-
- MinimalViolationEuclideanMachineShopOjAlgoMatrix - Class in net.sf.tweety.logics.pcl.analysis
-
Repairs a probabilistic belief base by taking the probabilities from the probability function
that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
- MinimalViolationEuclideanMachineShopOjAlgoMatrix() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoMatrix
-
- MinimalViolationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
-
This class provides a general implementation for the minimal violation inconsistency measure,
cf.
- MinimalViolationInconsistencyMeasure(RealVectorNorm, Solver) - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
-
Creates a new measure the given norm
- MinimalViolationInconsistencyMeasureLPSolveTest - Class in net.sf.tweety.logics.pcl.test
-
- MinimalViolationInconsistencyMeasureLPSolveTest() - Constructor for class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
-
- MINIMIZE - Static variable in class net.sf.tweety.math.opt.OptimizationProblem
-
Static constant for the type "minimization"
- Minimum - Class in net.sf.tweety.math.term
-
This class models the minimum of two terms.
- Minimum(Term, Term) - Constructor for class net.sf.tweety.math.term.Minimum
-
Creates a new minimum with the given terms.
- Minimum(List<Term>) - Constructor for class net.sf.tweety.math.term.Minimum
-
Creates a new minimum with the given list of terms.
- MINIMUM_STRING_REPRESENTATION - Static variable in class net.sf.tweety.math.term.Minimum
-
- MinimumAggregatedDistanceMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
This approach to consistency restoration follows the approach proposed in [Thimm, DKB, 2011].
- MinimumAggregatedDistanceMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop
-
- MinimumNorm - Class in net.sf.tweety.math.func.fuzzy
-
Represents the minimum-norm in fuzzy logic, i.e., T(x,y)=min(x,y)
- MinimumNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.MinimumNorm
-
- MinimumViolationMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
Repairs a probabilistic belief base by taking the probabilities from the probability function
that minimizes the "minimum violation inconsistency measure".
- MinimumViolationMachineShop(RealVectorNorm) - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimumViolationMachineShop
-
Creates a new machine shop for the norm
- minIterations - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
-
The minimal number of iterations.
- minsupport - Variable in class net.sf.tweety.machinelearning.assoc.AprioriMiner
-
the minimum confidence for mined rules.
- minT - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver.FitnessComparator
-
- minus(Matrix) - Method in class net.sf.tweety.math.matrix.Matrix
-
Makes a subtraction of the given matrix from this one and returns the result.
- minus(Term) - Method in class net.sf.tweety.math.term.Term
-
Returns the sum of this and (-1) * the given term.
- MiSampler - Class in net.sf.tweety.logics.pl.util
-
Generates random propositional belief base with a given
inconsistency measure (for the MI inconsistency measure)
and of a given size.
- MiSampler(PropositionalSignature, int) - Constructor for class net.sf.tweety.logics.pl.util.MiSampler
-
Creates a new sample for the given signature
which generates propositional belief sets with the
given inconsistency value (wrt.
- missingEndQuote() - Method in class net.sf.tweety.arg.delp.TestKBParsing
-
- mk - Variable in class net.sf.tweety.lp.asp.parser.JJTASPParserState
-
- mln - Variable in class net.sf.tweety.logics.ml.test.ExpResult
-
- MlnFormula - Class in net.sf.tweety.logics.ml.syntax
-
Instances of this class represent first-order formulas with a weight.
- MlnFormula(FolFormula) - Constructor for class net.sf.tweety.logics.ml.syntax.MlnFormula
-
Creates a new strict MLN formula with the given formula.
- MlnFormula(FolFormula, Double) - Constructor for class net.sf.tweety.logics.ml.syntax.MlnFormula
-
Creates a new MLN formula with the given formula and weight.
- MlnFormula(FolFormula, Probability) - Constructor for class net.sf.tweety.logics.ml.syntax.MlnFormula
-
Creates a new MLN formula and estimates its weight w by the given
probability p using the formula w = log(p/(1-p)*f) where "f" is the
ratio of the number of worlds not satisfying the formula and the
worlds satisfying the formula.
- MlnTest - Class in net.sf.tweety.logics.ml.test
-
- MlnTest() - Constructor for class net.sf.tweety.logics.ml.test.MlnTest
-
- MlnTest2 - Class in net.sf.tweety.logics.ml.test
-
- MlnTest2() - Constructor for class net.sf.tweety.logics.ml.test.MlnTest2
-
- MockFormula() - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockFormula
-
- MockOperator(String) - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockOperator
-
- MockOperator(String) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.MockOperator
-
- ModalFormula - Class in net.sf.tweety.logics.el.syntax
-
This class models a modal formula, i.e.
- ModalFormula(RelationalFormula) - Constructor for class net.sf.tweety.logics.el.syntax.ModalFormula
-
- model - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
-
the data model for the revision compare
- model - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
-
the data model for the revision compare
- model - Variable in class net.sf.tweety.machinelearning.svm.SupportVectorMachine
-
The actual libsvm model.
- MonotoneGlobalMaxichoiceSelectionFunction - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision
-
This class implements a monotone global maxichoise selection function
for remainder sets of extended logic programs as introduced in [KKI12].
- MonotoneGlobalMaxichoiceSelectionFunction() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
-
- MonteCarloPafReasoner - Class in net.sf.tweety.arg.prob
-
This class implements the Monte Carlo algorithm for estimating
probabilities of extensions in probabilistic argumentation frameworks
from [Li, Oren, Norman.
- MonteCarloPafReasoner(ProbabilisticArgumentationFramework, Semantics, int, int) - Constructor for class net.sf.tweety.arg.prob.MonteCarloPafReasoner
-
Creates a new reasoner for the given framework
- moreQuoted() - Method in class net.sf.tweety.arg.delp.TestQueries
-
- move(ArgumentationEnvironment) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
-
Gives the next best move according to the
belief state and the given trace.
- moveBeliefbase(Collection<?>, int) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
Moves the given belief base in the given direction.
- mpm - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
-
- msd - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
-
- MUL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
-
RegularExpression Id.
- mult(Matrix) - Method in class net.sf.tweety.math.matrix.Matrix
-
Multiply this matrix with the given one.
- mult(Term) - Method in class net.sf.tweety.math.matrix.Matrix
-
Multiply this matrix with the given scalar
(every entry is multiplied)
- mult(double) - Method in class net.sf.tweety.math.matrix.Matrix
-
Multiply this matrix with the given scalar
(every entry is multiplied)
- mult(Double) - Method in class net.sf.tweety.math.probability.Probability
-
Computes the product of this probability and the given number.
- mult(Integer) - Method in class net.sf.tweety.math.probability.Probability
-
Computes the product of this probability and the given number.
- mult(Probability) - Method in class net.sf.tweety.math.probability.Probability
-
Computes the product of this probability and the given probability.
- mult(Term) - Method in class net.sf.tweety.math.term.Term
-
Returns the product of this and the given term.
- multiAgentSystem - Variable in class net.sf.tweety.agents.AbstractProtocol
-
The multi-agent system this protocol operates on.
- multiAgentSystem - Variable in class net.sf.tweety.agents.ActionEvent
-
- MultiAgentSystem<T extends Agent> - Class in net.sf.tweety.agents
-
A multi-agent system is a collection of agents with some environment.
- MultiAgentSystem(Environment) - Constructor for class net.sf.tweety.agents.MultiAgentSystem
-
Creates a new empty multi-agent system with the given environment.
- MultiAgentSystem(Environment, Collection<? extends T>) - Constructor for class net.sf.tweety.agents.MultiAgentSystem
-
Creates a new multi-agent system with the given collection of agents.
- MultiAgentSystemGenerator<T extends Agent,S extends MultiAgentSystem<T>> - Interface in net.sf.tweety.agents.sim
-
- MultiClassRbfTrainer - Class in net.sf.tweety.machinelearning.svm
-
Trains a standard multi-class RBF support vector machine.
- MultiClassRbfTrainer() - Constructor for class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
-
Initializes the trainer with the default parameters.
- MultiClassRbfTrainer(double, double) - Constructor for class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
-
Initializes the trainer with the given parameters.
- multiFile() - Method in class net.sf.tweety.arg.delp.TestDeLP
-
- MultipleBaseContractionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
-
This is the interface for a classic multiple belief base contraction operator, ie.
- MultipleBaseContractionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
-
- MultipleBaseExpansionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
-
This is the interface for a classic multiple belief base expansion operator, ie.
- MultipleBaseExpansionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator
-
- MultipleBaseRevisionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
-
This is the interface for a classic multiple belief base revision operator, ie.
- MultipleBaseRevisionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
-
- MultipleIndicatorUtilityFunction - Class in net.sf.tweety.agents.dialogues.structured
-
This class represents a multiple indicator utility function, i.e.
- MultipleIndicatorUtilityFunction(Collection<? extends Proposition>) - Constructor for class net.sf.tweety.agents.dialogues.structured.MultipleIndicatorUtilityFunction
-
Creates a new multiple indicator utility function for the given focal set.
- MultipleSelectiveRevisionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics.selectiverevision
-
This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
- MultipleSelectiveRevisionOperator(MultipleTransformationFunction<T>, MultipleBaseRevisionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator
-
Creates a new multiple selective revision operator for the given transformation function
and inner revision.
- MultipleTransformationFunction<T extends Formula> - Interface in net.sf.tweety.beliefdynamics.selectiverevision
-
This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].
- MULTIPLICATOR - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
-
RegularExpression Id.
- multiplicators - Variable in class net.sf.tweety.logics.rpcl.ReferenceWorld
-
Multiplicators for formulas; saved for efficiency.
- MusEnumerator<S extends Formula> - Interface in net.sf.tweety.logics.commons.analysis
-
Interface for classes enumerating MUSes (minimal unsatisfiable sets) and
MCSs (maximal consistent sets).
- musEnumerator - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService
-
The MUS enumerator configured for this service.
- MusTest - Class in net.sf.tweety.logics.pl.test
-
- MusTest() - Constructor for class net.sf.tweety.logics.pl.test.MusTest
-
- MusVarInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis
-
This class implements the "MUS-variable based inconsistency measure" proposed in
[Xiao,Ma.
- MusVarInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pl.analysis.MusVarInconsistencyMeasure
-
- mutate(Map<FloatVariable, Term>) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
-
Mutates the given individual