F-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

F

factInstantiation() - Method in class org.tweetyproject.arg.delp.TestRules
faculty(int) - Static method in class org.tweetyproject.commons.util.MathTools: Computes the faculty of the given number.
faf(ArgumentSet) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: The characteristic function of an bipolar argumentation framework: F_AF(S) = {A|A is acceptable wrt.
faf(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
faf(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
FALSE - Enum constant in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue: false
FALSE - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue: false
FALSE - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue: false
FALSE - Enum constant in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue: FALSE
falsifies(PossibleWorld, Conditional) - Static method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
falsifies(PriestWorldAdapted, Conditional) - Static method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
FATAL - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel: FATAL
FB - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: FB
FbInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: Implements the forgetting-based inconsistency measure from [Besnard.
FbInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.FbInconsistencyMeasure
FbInconsistencyMeasureTest - Class in org.tweetyproject.logics.pl.test: Some examples from [Besnard.
FbInconsistencyMeasureTest() - Constructor for class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
FileDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util: This generator receives a list of files containing Dung theories and returns those step by step.
FileDungTheoryGenerator(File[], Parser<DungTheory, ?>, boolean) - Constructor for class org.tweetyproject.arg.dung.util.FileDungTheoryGenerator: Creates a new theory generator for the given files, which can be parsed by the given parser.
FileFormat - Enum in org.tweetyproject.arg.dung.parser: This enum lists all supported file formats.
FileListCommandParameter - Class in org.tweetyproject.plugin.parameter: This parameter holds a file-list of possible arguments
FileListCommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.FileListCommandParameter: Creates a new file list command parameter
filter(ContainerRequestContext, ContainerResponseContext) - Method in class org.tweetyproject.web.CorsResponseFilter
findbestNeighbor(ArrayList<ArrayList<ElementOfCombinatoricsProb>>) - Method in class org.tweetyproject.math.opt.solver.StochasticLocalSearch
findrandomNeighbor(ArrayList<ArrayList<ElementOfCombinatoricsProb>>) - Method in class org.tweetyproject.math.opt.solver.StochasticLocalSearch
fire() - Method in class org.tweetyproject.logics.petri.syntax.Ark: Fire this ark and conduct respective token propagations
fire() - Method in class org.tweetyproject.logics.petri.syntax.Transition: fire this transition, which means firing all incoming and all outgoing arks
fire(Transition) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
fireInconsistencyUpdateEvent(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
first - Variable in class org.tweetyproject.arg.adf.util.Pair
FirstOrderLogicPlugin - Class in org.tweetyproject.logics.fol.plugin: This class models the plugin for first order logics used in the tweety cli Note: Currently FOL-files MUST BE named after the pattern "*.fologic" Very early state, not finished or debugged yet.
FirstOrderLogicPlugin() - Constructor for class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin: actually used constructor, initializes start parameters for this plugin
FirstOrderLogicPlugin(String[]) - Constructor for class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin: non-empty constructor in case of problems concerning jspf
FitnessComparator(CombinatoricsProblem) - Constructor for class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics.FitnessComparator
FixedPolicy<S extends State,A extends Action> - Class in org.tweetyproject.machinelearning.rl.mdp: A fixed policy for MDPs, i.e., a simple map from states to actions.
FixedPolicy() - Constructor for class org.tweetyproject.machinelearning.rl.mdp.FixedPolicy: Creates a new fixed policy
FixPartialSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings: Fixes the already assigned true/false values.
FixPartialSatEncoding(PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.FixPartialSatEncoding
FixPartialTransformer - Class in org.tweetyproject.arg.adf.transform: Syntactically rewrites the acceptance condition s.t.
FixPartialTransformer(Interpretation) - Constructor for class org.tweetyproject.arg.adf.transform.FixPartialTransformer
FlatAbaReasoner<T extends Formula> - Class in org.tweetyproject.arg.aba.reasoner: This class models a reasoner over ABA formulae.
FlatAbaReasoner(Semantics) - Constructor for class org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner: Creates a new instance
FloatConstant - Class in org.tweetyproject.math.term: This class encapsulates a float as a term.
FloatConstant(double) - Constructor for class org.tweetyproject.math.term.FloatConstant: Creates a new Float.
FloatConstant(float) - Constructor for class org.tweetyproject.math.term.FloatConstant: Creates a new Float.
floatValue() - Method in class org.tweetyproject.math.ComplexNumber
floatValue() - Method in class org.tweetyproject.math.probability.Probability
FloatVariable - Class in org.tweetyproject.math.term: This class models an float variable as a mathematical term.
FloatVariable(String) - Constructor for class org.tweetyproject.math.term.FloatVariable: Creates a new variable with the given name.
FloatVariable(String, boolean) - Constructor for class org.tweetyproject.math.term.FloatVariable: Creates a new variable with the given name.
FloatVariable(String, double, double) - Constructor for class org.tweetyproject.math.term.FloatVariable: Creates a new variable with the given name and bounds.
FolAction - Class in org.tweetyproject.action.signature: An action is a truth-valued function on the set of action names, which is denoted by the set of actions which are mapped to 'true'.
FolAction() - Constructor for class org.tweetyproject.action.signature.FolAction: Creates a new action, which maps all action names to false.
FolAction(Set<FolAtom>) - Constructor for class org.tweetyproject.action.signature.FolAction: Creates a new action, which maps the given action names to true, and every thing else to false.
FolActionName - Class in org.tweetyproject.action.signature: This class represents an action name.
FolActionName(String) - Constructor for class org.tweetyproject.action.signature.FolActionName: Creates a new action name predicate with the given name and zero-arity.
FolActionName(String, int) - Constructor for class org.tweetyproject.action.signature.FolActionName: Creates a new actionname predicate with the given name and arity.
FolActionName(String, List<Sort>) - Constructor for class org.tweetyproject.action.signature.FolActionName: Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.
FolAtom - Class in org.tweetyproject.logics.fol.syntax: An atom in first-order logic, i.e.
FolAtom() - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom: Default-Ctor: Creates new empty FOL-Atom
FolAtom(Predicate) - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom: Creates a new atom with the given predicate and initializes an empty argument list.
FolAtom(Predicate, List<? extends Term<?>>) - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom: Creates a new atom with the given predicate and list of terms
FolAtom(Predicate, Term<?>...) - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom: constructs FolAtom
FolAtom(FolAtom) - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom
FolBeliefSet - Class in org.tweetyproject.logics.fol.syntax: This class models a first-order knowledge base, i.e.
FolBeliefSet() - Constructor for class org.tweetyproject.logics.fol.syntax.FolBeliefSet: Creates a new and empty first-order knowledge base.
FolBeliefSet(Collection<FolFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.FolBeliefSet: Creates a new first-order knowledge base with the given set of formulas.
FolExample - Class in org.tweetyproject.logics.fol.examples: Some examples for using FolParser and provers.
FolExample() - Constructor for class org.tweetyproject.logics.fol.examples.FolExample
FolFluentName - Class in org.tweetyproject.action.signature: This class represents a fluent name.
FolFluentName(String) - Constructor for class org.tweetyproject.action.signature.FolFluentName: Creates a new folfluentname predicate with the given name and zero-arity.
FolFluentName(String, int) - Constructor for class org.tweetyproject.action.signature.FolFluentName: Creates a new folfluentname with the given name and arity.
FolFluentName(String, List<Sort>) - Constructor for class org.tweetyproject.action.signature.FolFluentName: Creates a new fluentname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.
FolFormula - Class in org.tweetyproject.logics.fol.syntax: The common abstract class for formulas of first-order logic.
FolFormula() - Constructor for class org.tweetyproject.logics.fol.syntax.FolFormula
FolFormulaGenerator - Class in org.tweetyproject.arg.aspic.ruleformulagenerator: Implements RuleFormulaGenerator for first order logic.
FolFormulaGenerator() - Constructor for class org.tweetyproject.arg.aspic.ruleformulagenerator.FolFormulaGenerator
FolParser - Class in org.tweetyproject.logics.fol.parser: This class implements a parser for first-order logic.
FolParser() - Constructor for class org.tweetyproject.logics.fol.parser.FolParser: Creates a new FolParser
FolParser(boolean) - Constructor for class org.tweetyproject.logics.fol.parser.FolParser: Creates a new FolParser
FolParserTest - Class in org.tweetyproject.logics.fol.test: JUnit Test class for FolParser.
FolParserTest() - Constructor for class org.tweetyproject.logics.fol.test.FolParserTest
FolParserTest() - Method in class org.tweetyproject.arg.aba.AbaTest
FOLPropTranslator - Class in org.tweetyproject.logics.translators.folprop: A Translator between the FOL and propositonal logic and vice versa.
FOLPropTranslator() - Constructor for class org.tweetyproject.logics.translators.folprop.FOLPropTranslator: Default-Ctor
FolReasoner - Class in org.tweetyproject.logics.fol.reasoner: Abstract FOL Prover to be implemented by concrete solvers.
FolReasoner() - Constructor for class org.tweetyproject.logics.fol.reasoner.FolReasoner
FolSignature - Class in org.tweetyproject.logics.fol.syntax: This class captures the signature of a specific first-order language.
FolSignature() - Constructor for class org.tweetyproject.logics.fol.syntax.FolSignature: Creates an empty signature
FolSignature(boolean) - Constructor for class org.tweetyproject.logics.fol.syntax.FolSignature: Creates an empty signature or an otherwise empty signature with equality.
FolSignature(Collection<?>) - Constructor for class org.tweetyproject.logics.fol.syntax.FolSignature: Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas).
FolSignature(Collection<?>, boolean) - Constructor for class org.tweetyproject.logics.fol.syntax.FolSignature: Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas) and, if desired, equality.
FolWriter - Interface in org.tweetyproject.logics.fol.writer: Prints out single first-order logic formulas and full knowledge bases.
forAll() - Method in interface org.tweetyproject.arg.adf.reasoner.query.ConditionalTaskStep
ForallQuantifiedFormula - Class in org.tweetyproject.logics.fol.syntax: For-All-quantified first-order logic formula.
ForallQuantifiedFormula - Class in org.tweetyproject.logics.qbf.syntax: This class represents universal quantification for boolean formulas.
ForallQuantifiedFormula(RelationalFormula, Set<Variable>) - Constructor for class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula: Creates a new quantified folFormula with the given folFormula and variables.
ForallQuantifiedFormula(RelationalFormula, Variable) - Constructor for class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula: Creates a new quantified folFormula with the given folFormula and variable.
ForallQuantifiedFormula(ForallQuantifiedFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
ForallQuantifiedFormula(PlFormula, Set<Proposition>) - Constructor for class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula: Create a new universal boolean quantification.
ForallQuantifiedFormula(PlFormula, Proposition) - Constructor for class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula: Create a new universal boolean quantification.
ForallQuantifiedFormula(ForallQuantifiedFormula) - Constructor for class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula: Create a new existential boolean quantification.
FORALLQUANTIFIER() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
forceStrictness(Set<PlFormula>) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Sets the rank of every interpretation i that does not satisfy the given set of formulas to RankingFunction.INFINITY.
forceStrictness(Set<PlFormula>) - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Sets the rank of every interpretation i that does not satisfy the given set of formulas to RankingFunction.INFINITY.
formNeighborhood(ArrayList<ElementOfCombinatoricsProb>, int, int, double) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem
Formula - Interface in org.tweetyproject.commons: A formula is a basic language construct.
Formula(FolSignature) - Method in class org.tweetyproject.arg.delp.parser.DelpParser
FormulaSampler<T extends Formula> - Class in org.tweetyproject.commons: This abstract class models a sampler for formulas.
FormulaSampler(Signature) - Constructor for class org.tweetyproject.commons.FormulaSampler: Creates a new formula sampler for the given signature.
FormulaStream<S extends Formula> - Interface in org.tweetyproject.commons.streams: This interface models a stream on formulas.
FoundedPASemantics - Class in org.tweetyproject.arg.prob.semantics: P is founded wrt.
FoundedPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.FoundedPASemantics
FourValuedWorld - Class in org.tweetyproject.logics.translators.adfconditional: This class models a four-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the four truth values: TRUE, FALSE, UNDECIDED, INCONSISTENT
FourValuedWorld() - Constructor for class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: Creates an empty 4-valued world
FourValuedWorld(FourValuedWorld) - Constructor for class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: Creates a new world which is a copy of the given world
FourValuedWorld.TruthValue - Enum in org.tweetyproject.logics.translators.adfconditional
FourValuedWorldIterator - Class in org.tweetyproject.logics.translators.adfconditional: This class iterates over all 4-valued interpretations of a given signature.
FourValuedWorldIterator() - Constructor for class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator: FourValuedWorldIterator
FourValuedWorldIterator(PlSignature) - Constructor for class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator: Creates new iterator for the given signature.
FpGrowthExample - Class in org.tweetyproject.machinelearning.examples: An example for the FP-Growth algorithm
FpGrowthExample() - Constructor for class org.tweetyproject.machinelearning.examples.FpGrowthExample
FpGrowthMiner<T> - Class in org.tweetyproject.machinelearning.assoc: Implements the FP-Growth Algorithm for frequent pattern mining, cf.
FpGrowthMiner(double) - Constructor for class org.tweetyproject.machinelearning.assoc.FpGrowthMiner: Creates a new FPGrowth miner with the given minimum support value.
FracAggrFunction - Class in org.tweetyproject.math.func: This is the function 1-\sum_i (1-x_i/i) used e.g in [Mu,Liu,Jin, Bell.
FracAggrFunction() - Constructor for class org.tweetyproject.math.func.FracAggrFunction
Fraction - Class in org.tweetyproject.math.term: Instances of this class represent fractions of two terms.
Fraction(Term, Term) - Constructor for class org.tweetyproject.math.term.Fraction: Creates a new fraction of the two given terms.
FractionSequenceFunction - Class in org.tweetyproject.math.func: The function 1/x.
FractionSequenceFunction() - Constructor for class org.tweetyproject.math.func.FractionSequenceFunction
frameworkSize - Static variable in class GroundedTest
frameworkSize - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest
frameworkSize - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest
FREEFORMULADILUTION - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The FREEFORMULADILUTION postulate
FREEFORMULAINDEPENDENCE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The FREEFORMULAINDEPENDENCE postulate
FrequentPatternMiner<T> - Interface in org.tweetyproject.machinelearning.assoc: Interface for algorithms mining frequent patterns from transaction databases.
FrequentPatternTree<T> - Class in org.tweetyproject.machinelearning.assoc: Implements the an FP-Tree for the FP-Growth Algorithm for frequent pattern mining, cf.
FrequentPatternTree(Collection<Collection<T>>, double) - Constructor for class org.tweetyproject.machinelearning.assoc.FrequentPatternTree: Creates an FP-Tree for the given database with the given minimal support.
FrequentPatternTree.FrequentPatternTreeNode<S> - Class in org.tweetyproject.machinelearning.assoc: a node of the tree
FrequentPatternTreeNode(S, int, FrequentPatternTree.FrequentPatternTreeNode<S>) - Constructor for class org.tweetyproject.machinelearning.assoc.FrequentPatternTree.FrequentPatternTreeNode: Creates a new tree node for the given item with the given frequency of the path up to this item.
fromFile(File) - Static method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
fromMap(Map<Argument, Boolean>) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
fromMap(Map<Argument, AcceptanceCondition>) - Static method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
fromSets(Set<Argument>, Set<Argument>, Set<Argument>) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
fromSets(Set<Argument>, Set<Argument>, AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation: Interpretation fromSets
fromWitness(Set<Literal>, PropositionalMapping) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation: Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.
FudgeAcceptabilityReasoner - Class in org.tweetyproject.arg.dung.reasoner: Implements the Fudge approach to determine the set of acceptable arguments of an AF wrt.
FudgeAcceptabilityReasoner(DimacsSatSolver) - Constructor for class org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner: Creates a new FudgeAcceptabilityReasoner.
fullString() - Method in class org.tweetyproject.logics.cl.kappa.KappaValue
func - Variable in class org.tweetyproject.lp.asp.parser.ASTAggregate: func
func - Variable in class org.tweetyproject.lp.asp.parser.ASTAggrFunc: func
func - Variable in class org.tweetyproject.lp.asp.parser.ASTOptFunc
func(String) - Method in class org.tweetyproject.lp.asp.parser.ASTAggregate
func(String) - Method in class org.tweetyproject.lp.asp.parser.ASTAggrFunc
func(String) - Method in class org.tweetyproject.lp.asp.parser.ASTOptFunc
FunctionalTerm - Class in org.tweetyproject.logics.commons.syntax: A functional term in a logic language, i.e.
FunctionalTerm - Class in org.tweetyproject.math.term: Instances of this class represent a functional term on some inner term.
FunctionalTerm(FunctionalTerm) - Constructor for class org.tweetyproject.logics.commons.syntax.FunctionalTerm
FunctionalTerm(Functor) - Constructor for class org.tweetyproject.logics.commons.syntax.FunctionalTerm: Creates a new functional term with the given functor.
FunctionalTerm(Functor, List<Term<?>>) - Constructor for class org.tweetyproject.logics.commons.syntax.FunctionalTerm: Creates a new functional term with the given functor and the given list of arguments.
FunctionalTerm(Functor, Term<?>...) - Constructor for class org.tweetyproject.logics.commons.syntax.FunctionalTerm
FunctionalTerm(Term) - Constructor for class org.tweetyproject.math.term.FunctionalTerm: Creates a new functional term with the given inner term.
Functions<T> - Class in org.tweetyproject.preferences.ranking: An abstract class as superclass for two different ranking/leveling functions used to rank elements from preference orders
Functions() - Constructor for class org.tweetyproject.preferences.ranking.Functions
Functor - Class in org.tweetyproject.logics.commons.syntax: A functor for logic language, i.e.
Functor(String) - Constructor for class org.tweetyproject.logics.commons.syntax.Functor: Initializes a functor of arity zero with the given name; the target sort is initialized to Sort.THING.
Functor(String, int) - Constructor for class org.tweetyproject.logics.commons.syntax.Functor: Initializes a functor with the given name and of the given arity.
Functor(String, List<Sort>, Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.Functor: Initializes a functor with the given name, the given list of argument sorts, and the given target sort.
FuzzyInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: This measure implements the approach presented in [Thimm, Measuring Inconsistency with Many-Valued Logics.
FuzzyInconsistencyMeasure(TNorm) - Constructor for class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure: Creates a new measure for the given T-norm.
FuzzyInconsistencyMeasure(TNorm, byte) - Constructor for class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure: Creates a new measure for the given T-norm.
FuzzyInconsistencyMeasure(TNorm, TCoNorm) - Constructor for class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure: Creates a new measure (T Version) for the given T-norm and T-conorm.
FuzzyInconsistencyMeasure(TNorm, TCoNorm, byte) - Constructor for class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure: Creates a new measure for the given T-norm and T-conorm.
FuzzyInconsistencyMeasureTest - Class in org.tweetyproject.logics.pl.test
FuzzyInconsistencyMeasureTest() - Constructor for class org.tweetyproject.logics.pl.test.FuzzyInconsistencyMeasureTest
FuzzyInterpretation - Class in org.tweetyproject.logics.pl.semantics: A fuzzy interpretation for propositional logic.
FuzzyInterpretation() - Constructor for class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation: Creates a new fuzzy interpretation
FuzzyMeasureExample - Class in org.tweetyproject.logics.pl.examples: Example code illustrating fuzzy logic-based inconsistency measures.
FuzzyMeasureExample() - Constructor for class org.tweetyproject.logics.pl.examples.FuzzyMeasureExample
FuzzyNegation - Class in org.tweetyproject.math.func.fuzzy: Represents a fuzzy negation, i.e., a generalization of a logical negation on values in [0,1].
FuzzyNegation() - Constructor for class org.tweetyproject.math.func.fuzzy.FuzzyNegation

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form