- kappa - Variable in class net.sf.tweety.logics.cl.BruteForceCReasoner
-
The current vectors of kappa values.
- kappa - Variable in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner
-
The current vectors of kappa values.
- KappaMin - Class in net.sf.tweety.logics.cl.kappa
-
This class represents a minimum, its elements are
KappaTerm
instances although
in c-representation this are sums of Kappas
KappaSum
.
- KappaMin() - Constructor for class net.sf.tweety.logics.cl.kappa.KappaMin
-
- kappas - Variable in class net.sf.tweety.logics.cl.RuleBasedCReasoner
-
the map of conditions to their penalty values (kappa), is null until prepare() is called
- kappas - Variable in class net.sf.tweety.logics.cl.rules.RuleAdapter
-
the kappas the rule works on
- KappaSum - Class in net.sf.tweety.logics.cl.kappa
-
This constructs represents a sum of kappa values (or terms).
- KappaSum() - Constructor for class net.sf.tweety.logics.cl.kappa.KappaSum
-
- KappaTerm - Interface in net.sf.tweety.logics.cl.kappa
-
This interface defines a kappa term, that can be evaluated, it
can return its value, which is -1 as long as the kappa-term cannot
be evaluated and it can return a value for that we know that the kappa-term
value is greatar or equal to that value.
- KappaValue - Class in net.sf.tweety.logics.cl.kappa
-
- KappaValue(int, Conditional) - Constructor for class net.sf.tweety.logics.cl.kappa.KappaValue
-
Ctor: Generates a kappa value for the given
Conditional
with the given index.
- kb - Variable in class net.sf.tweety.arg.lp.semantics.AttackRelation
-
- kb - Variable in class net.sf.tweety.arg.prob.test.deductive.DeductiveProbabilisticKnowledgebase
-
The deductive knowledge base.
- kb - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
-
- KB() - Method in class net.sf.tweety.logics.fol.parser.FolParserB
-
- kbs - Variable in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
-
- KernelContractionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics.kernels
-
This class implements kernel contraction for belief bases [Hansson:2001].
- KernelContractionOperator(IncisionFunction<T>, EntailmentRelation<T>) - Constructor for class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator
-
Creates a new kernel contraction operator with the given incision function.
- keySet() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
-
- keySet() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
-
- keySet() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
-
- keySet() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
-
- keySet() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
-
- keySet() - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
-
- keySet() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
-
- kind - Variable in class net.sf.tweety.arg.delp.parser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.arg.dung.parser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.logics.fol.parser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.lp.asp.parser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.preferences.io.Token
-
An integer that describes the kind of this token.
- knownArguments - Variable in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
-
The set of arguments known by the agent.
- KripkeModel - Class in net.sf.tweety.logics.el.semantics
-
This class models a Kripke model, i.e.
- KripkeModel(Set<Interpretation>, AccessibilityRelation) - Constructor for class net.sf.tweety.logics.el.semantics.KripkeModel
-
Creates a new Kripke model.