- 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.examples.GroundedTest
-
- main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.GroundedTest2
-
- main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
-
- main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2
-
Main method for evaluation.
- main(String[]) - Static method in class net.sf.tweety.arg.aba.examples.AbaExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicExample2
-
- main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.deductive.examples.DeductiveExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.deductive.examples.SimplePlLogicExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.delp.examples.DeLPExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
-
Parsing DeLP from given file and performing given query against it.
- main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.CF2Example
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.DivisionExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.GrossiModgilReasonerExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.StratifiedLabelingExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.LotteryExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.PAInconsistencyMeasureExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.ProbabilisticRankingReasonerExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.SubgraphProbExample
-
- main(String[]) - Static method in class net.sf.tweety.arg.social.examples.SafExample
-
- main(String[]) - Static method in class net.sf.tweety.beliefdynamics.examples.AbstractArgumentationExample
-
- main(String[]) - Static method in class net.sf.tweety.beliefdynamics.examples.CrMasExample
-
- 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.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.examples.SubsetIteratorExample
-
- main(String[]) - Static method in class net.sf.tweety.graphs.examples.GraphExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.cl.examples.CReasonerExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.cl.examples.ReasonerExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.fol.examples.FolExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.fol.examples.TPTPParserExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.ml.examples.MlExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.ml.examples.MlExample2
-
- main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.AlchemyExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.ApproximationExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
-
- 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.examples.AnalysisExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pcl.examples.RepairExample
-
- 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.examples.ContensionExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.DfInconsistencyMeasureExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.DSumMeasureExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.FuzzyMeasureExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.ImPostulateEvaluationExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.LingelingExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MaMeasureExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.McscInconsistencyMeasureExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MinimalInconsistentSubsetExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MusExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.PmMeasureExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.SyntacticRandomPlBeliefSetSamplerExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.rcl.examples.RclExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.rpcl.examples.RpclMeReasonerExample
-
- main(String[]) - Static method in class net.sf.tweety.logics.rpcl.examples.RpclMeReasonerExample2
-
- 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.examples.SvmExample
-
- 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.preferences.test.ScoringPreferenceAggregatorTest
-
Launch the test.
- 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 a TPTP axiom out of a given name and formula.
- MaMeasureExample - Class in net.sf.tweety.logics.pl.examples
-
- MaMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.MaMeasureExample
-
- MANHATTAN - Static variable in class net.sf.tweety.logics.pcl.reasoner.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
- 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.mln.syntax
-
Instances of this class represent Markov Logic Networks [Domingos et.
- MarkovLogicNetwork() - Constructor for class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork
-
Creates a new (empty) MLN.
- MarkovLogicNetwork(Collection<? extends MlnFormula>) - Constructor for class net.sf.tweety.logics.mln.syntax.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.math.func
-
This aggregation function models the maximum function.
- MaxAggregator() - Constructor for class net.sf.tweety.math.func.MaxAggregator
-
- maxArguments - Variable in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner
-
The maximal number of arguments constructed by this reasoner.
- maxDuplicates - Variable in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner
-
The maximal number of duplicates tolerated before this reasoner
cancels looking for more arguments (even if maxArguments
is
not yet reached).
- 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.reasoner.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.
- maxLength - Variable in class net.sf.tweety.commons.BeliefSetSampler
-
Max length of samples belief sets.
- maxNextCharInd - Variable in class net.sf.tweety.arg.delp.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.mln.reasoner.ApproximateNaiveMlnReasoner
-
The maximum number of interpretations used for the model.
- maxNumberOfSelectedInterpretations - Variable in class net.sf.tweety.logics.mln.reasoner.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.
- McscInconsistencyMeasureExample - Class in net.sf.tweety.logics.pl.examples
-
- McscInconsistencyMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.McscInconsistencyMeasureExample
-
- 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
-
- 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.math.func
-
This aggregation function models the minimum function.
- MinAggregator() - Constructor for class net.sf.tweety.math.func.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.
- MinimalInconsistentSubsetExample - Class in net.sf.tweety.logics.pl.examples
-
- MinimalInconsistentSubsetExample() - Constructor for class net.sf.tweety.logics.pl.examples.MinimalInconsistentSubsetExample
-
- 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
-
- 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.
- minLength - Variable in class net.sf.tweety.commons.BeliefSetSampler
-
Min length of samples belief sets
- 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.
- MiSampler(PropositionalSignature, int, int, 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.
- MissingCharacterTest() - Method in class net.sf.tweety.logics.ml.ModalParserTest
-
- missingEndQuote() - Method in class net.sf.tweety.arg.delp.TestKBParsing
-
- mk - Variable in class net.sf.tweety.lp.asp.parser.JJTASPParserState
-
- MleanCoPReasoner - Class in net.sf.tweety.logics.ml.reasoner
-
Invokes MleanCoP (
http://www.leancop.de/mleancop/), a compact automated theorem prover
for modal first-order logic based on the clausal connection calculus.
- MleanCoPReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner
-
Constructs a new instance pointing to a specific MleanCoProver.
- MleanCoPReasoner(String) - Constructor for class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner
-
Constructs a new instance pointing to a specific MleanCoProver.
- MleanCoPTest - Class in net.sf.tweety.logics.ml
-
JUnit Test class for MleanCoP.
- MleanCoPTest() - Constructor for class net.sf.tweety.logics.ml.MleanCoPTest
-
- MleanCoPWriter - Class in net.sf.tweety.logics.ml.writer
-
Prints single FOL and modal formulas to the MleanCoP format:
Negation: '~'
Conjunction: ','
Disjunction: ';'
Implication: '=>'
Equivalence: '<=>'
Universal quantifier: 'all X:'
Existential quantifier: 'ex X:'
Modal box operator (Necessity): '#'
Modal diamond operator (Possibility): '*'
- MleanCoPWriter(Writer) - Constructor for class net.sf.tweety.logics.ml.writer.MleanCoPWriter
-
Creates a new MleanCoPWriter.
- MleanCoPWriter() - Constructor for class net.sf.tweety.logics.ml.writer.MleanCoPWriter
-
Creates a new MleanCoPWriter.
- MlExample - Class in net.sf.tweety.logics.ml.examples
-
Some examples for testing ModalParser and NaiveModalReasoner
- MlExample() - Constructor for class net.sf.tweety.logics.ml.examples.MlExample
-
- MlExample2 - Class in net.sf.tweety.logics.ml.examples
-
More examples for testing ModalParser and ModalReasoner
- MlExample2() - Constructor for class net.sf.tweety.logics.ml.examples.MlExample2
-
- MlnExample - Class in net.sf.tweety.logics.mln.examples
-
Shows how MLNs can be constructed programmatically and shows how coherence measures can be used.
- MlnExample() - Constructor for class net.sf.tweety.logics.mln.examples.MlnExample
-
- MlnExample2 - Class in net.sf.tweety.logics.mln.examples
-
Gives further examples on how MLNs can be constructed programmatically and how coherence measures can be used.
- MlnExample2() - Constructor for class net.sf.tweety.logics.mln.examples.MlnExample2
-
- MlnFormula - Class in net.sf.tweety.logics.mln.syntax
-
Instances of this class represent first-order formulas with a weight.
- MlnFormula(FolFormula) - Constructor for class net.sf.tweety.logics.mln.syntax.MlnFormula
-
Creates a new strict MLN formula with the given formula.
- MlnFormula(FolFormula, Double) - Constructor for class net.sf.tweety.logics.mln.syntax.MlnFormula
-
Creates a new MLN formula with the given formula and weight.
- MlnFormula(FolFormula, Probability) - Constructor for class net.sf.tweety.logics.mln.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.
- 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
-
- ModalBeliefSet - Class in net.sf.tweety.logics.ml.syntax
-
This class models a modal knowledge base, i.e.
- ModalBeliefSet() - Constructor for class net.sf.tweety.logics.ml.syntax.ModalBeliefSet
-
Creates a new empty modal knowledge base.
- ModalBeliefSet(Set<RelationalFormula>) - Constructor for class net.sf.tweety.logics.ml.syntax.ModalBeliefSet
-
Creates a new modal knowledge base with the given set of formulas.
- ModalFormula - Class in net.sf.tweety.logics.ml.syntax
-
This class models a modal formula, i.e.
- ModalFormula(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.syntax.ModalFormula
-
- ModalHerbrandBase - Class in net.sf.tweety.logics.ml.semantics
-
Modified version of HerbrandBase that allows for modal formulas.
- ModalHerbrandBase(FolSignature) - Constructor for class net.sf.tweety.logics.ml.semantics.ModalHerbrandBase
-
Creates a new Herbrand base for the given signature.
- ModalHerbrandInterpretation - Class in net.sf.tweety.logics.ml.semantics
-
Modified version of HerbrandInterpretation that allows for modal formulas.
- ModalHerbrandInterpretation() - Constructor for class net.sf.tweety.logics.ml.semantics.ModalHerbrandInterpretation
-
Creates a new empty Herbrand interpretation
- ModalHerbrandInterpretation(Collection<? extends FOLAtom>) - Constructor for class net.sf.tweety.logics.ml.semantics.ModalHerbrandInterpretation
-
Creates a new Herbrand interpretation with the given
set of atoms
- ModalParser - Class in net.sf.tweety.logics.ml.parser
-
This class implements a parser for modal logic.
- ModalParser() - Constructor for class net.sf.tweety.logics.ml.parser.ModalParser
-
- ModalParserTest - Class in net.sf.tweety.logics.ml
-
JUnit Test class for ModalParser.
- ModalParserTest() - Constructor for class net.sf.tweety.logics.ml.ModalParserTest
-
- ModalReasonerTest - Class in net.sf.tweety.logics.ml
-
JUnit Test class for NaiveModalReasoner.
- ModalReasonerTest() - Constructor for class net.sf.tweety.logics.ml.ModalReasonerTest
-
- ModalWriter - Class in net.sf.tweety.logics.ml.writer
-
- ModalWriter(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.writer.ModalWriter
-
- ModalWriter(ModalBeliefSet) - Constructor for class net.sf.tweety.logics.ml.writer.ModalWriter
-
- 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.
- ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> - Interface in net.sf.tweety.commons
-
Instances of this interface model reasoner that determine the (selected) models
for a given set of formulas.
- ModuleBasedAspicReasoner<T extends Invertable> - Class in net.sf.tweety.arg.aspic.reasoner
-
Slightly optimised reasoner for ASPIC.
- ModuleBasedAspicReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.aspic.reasoner.ModuleBasedAspicReasoner
-
Creates a new instance
- 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.reasoner
-
This class implements the Monte Carlo algorithm for estimating
probabilities of extensions in probabilistic argumentation frameworks
from [Li, Oren, Norman.
- MonteCarloPafReasoner(Semantics, int) - Constructor for class net.sf.tweety.arg.prob.reasoner.MonteCarloPafReasoner
-
Creates a new reasoner.
- 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.semantics.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.
- MusExample - Class in net.sf.tweety.logics.pl.examples
-
- MusExample() - Constructor for class net.sf.tweety.logics.pl.examples.MusExample
-
- 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