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 All Packages
All Classes All Packages
All Classes All Packages
C
- c - Static variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockFormula
- c - Variable in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
-
The c parameter for learning
- c - Variable in class net.sf.tweety.math.norm.ProbabilisticPNorm
-
The parameter of the normalization.
- C_PARAMETER - Static variable in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
-
The c parameter for learning
- cache - Variable in class net.sf.tweety.arg.adf.util.Cache
- cache - Variable in class net.sf.tweety.arg.adf.util.CacheSupplier
- Cache<T,R> - Class in net.sf.tweety.arg.adf.util
- Cache(Function<T, R>) - Constructor for class net.sf.tweety.arg.adf.util.Cache
-
Creates an empty cache
- CacheSupplier<T> - Class in net.sf.tweety.arg.adf.util
-
Delegates the first get() call to the given supplier and stores its result in cache.
- CacheSupplier(Supplier<T>) - Constructor for class net.sf.tweety.arg.adf.util.CacheSupplier
- CActionDescription - Class in net.sf.tweety.action.description.syntax
-
This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.
- CActionDescription() - Constructor for class net.sf.tweety.action.description.syntax.CActionDescription
-
Creates a new empty action description.
- CActionDescription(Collection<? extends CausalLaw>) - Constructor for class net.sf.tweety.action.description.syntax.CActionDescription
-
Creates a new belief set with the given collection of formulae.
- CActionDescriptionConsistencyTester - Class in net.sf.tweety.action.description.analysis
-
This class is able to check, whether a given action description in the action language C is consistent with regards to one simple consistency requirement: The transition system described by the action description has at least one state.
- CActionDescriptionConsistencyTester(ASPSolver) - Constructor for class net.sf.tweety.action.description.analysis.CActionDescriptionConsistencyTester
-
Creates a new consistency tester which will use the given answer set solver.
- calculateCategorizerFunction(double[], Matrix, int) - Method in class net.sf.tweety.arg.rankings.reasoner.CategorizerRankingReasoner
-
Computes the h-Categorizer function.
- calculateRemainderSetCandidates(Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
-
Recursively calculates consistent subsets of p.
- calculateResultingAnswersets() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- calculateStates(CActionDescription, ActionSignature) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator
-
calculates the set of all states of the transition system described by an action description.
- calculateTransitionSystem(CActionDescription, ActionSignature) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator
-
Calculates a transition system as described by the given action description using all symbols in the given action signature.
- call() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess.UpdateCallee
- call() - Method in class net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee
- cannotRead() - Method in class net.sf.tweety.arg.delp.TestDeLP
- CanonicalIterator - Class in net.sf.tweety.logics.pl.util
-
Provides an iterator on all syntactically equivalent knowledge bases.
- CanonicalIterator() - Constructor for class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Default constructor.
- CanonicalIterator(Integer) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Creates a new enumerator that enumerates knowledge bases starting from the given index
- CanonicalIterator(Integer, Integer) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)
- CanonicalIterator(Long) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Creates a new enumerator that enumerates knowledge bases starting from the given index
- CanonicalIterator(Long, Long) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)
- CanonicalIterator(BigInteger) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Creates a new enumerator that enumerates knowledge bases starting from the given index
- CanonicalIterator(BigInteger, BigInteger) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)
- CanonicalUndercut - Class in net.sf.tweety.arg.deductive.semantics.attacks
-
This attack notion models the canonical undercut relation; A is defeated by B iff claim(B) =- \neg support(A).
- CanonicalUndercut() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.CanonicalUndercut
-
Private constructor.
- capabilities() - Method in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
- capabilities() - Method in class net.sf.tweety.logics.pl.plugin.PlPlugin
- capabilities() - Method in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
- capabilities() - Method in class net.sf.tweety.preferences.plugin.PreferencesPlugin
- CARDINALITYPRECEDENCE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
-
The CARDINALITYPRECEDENCE postulate
- cat - Variable in class net.sf.tweety.machinelearning.BooleanCategory
-
The value of this category.
- cat - Variable in class net.sf.tweety.machinelearning.DoubleCategory
-
The value of the category.
- categorize(ArgumentTree) - Method in interface net.sf.tweety.arg.deductive.categorizer.Categorizer
-
This method categorizes the given argument tree.
- categorize(ArgumentTree) - Method in class net.sf.tweety.arg.deductive.categorizer.ClassicalCategorizer
- categorize(ArgumentTree) - Method in class net.sf.tweety.arg.deductive.categorizer.HCategorizer
- categorize(ArgumentTree) - Method in class net.sf.tweety.beliefdynamics.mas.CredibilityCategorizer
- categorize(ArgumentTree, DeductiveArgumentNode, DeductiveArgumentNode) - Method in class net.sf.tweety.arg.deductive.categorizer.ClassicalCategorizer
-
Performs the bottom-up search.
- categorize(ArgumentTree, DeductiveArgumentNode, DeductiveArgumentNode) - Method in class net.sf.tweety.arg.deductive.categorizer.HCategorizer
-
Categorizes the node in the given tree.
- categorize(ArgumentTree, DeductiveArgumentNode, DeductiveArgumentNode) - Method in class net.sf.tweety.beliefdynamics.mas.CredibilityCategorizer
-
Performs the bottom-up search.
- categorizer - Variable in class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
-
The categorizer used for reasoning.
- categorizer - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction
-
The categorizer used by this transformation function.
- Categorizer - Interface in net.sf.tweety.arg.deductive.categorizer
-
Classes implementing this interface represent categorizer in the sense of Definition 8.10 in
Philippe Besnard and Anthony Hunter. - CategorizerExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample
- CategorizerRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner
-
This class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter.
- CategorizerRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.CategorizerRankingReasoner
- Category - Interface in net.sf.tweety.machinelearning
-
A category within the space of observations.
- CausalLaw - Interface in net.sf.tweety.action.description.syntax
-
A basic interface representing a causal law.
- CautiousArgumentationAgent - Class in net.sf.tweety.agents.dialogues.structured
-
This class models a cautious argumentation agent, i.e.
- CautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, boolean, Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent
-
Creates a new agent with the given (local) view and utility function.
- CautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent
-
Creates a new (non-single-step) agent with the given (local) view and utility function.
- cbOperatorLeft - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- cbOperatorLeft - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
- cbOperatorRight - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- cbOperatorRight - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
- CC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
- CcInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements the inconsistency measure I_CC from [Said Jabbour and Yue Ma and Badran Raddaoui.
- CcInconsistencyMeasure(MusEnumerator<S>, Solver) - Constructor for class net.sf.tweety.logics.commons.analysis.CcInconsistencyMeasure
-
Creates a new measure that uses the given MUS enumerator and Integer programming solver
- CF - net.sf.tweety.arg.dung.semantics.Semantics
- CF2 - net.sf.tweety.arg.dung.semantics.Semantics
- CF2_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
- CF2Example - Class in net.sf.tweety.arg.dung.examples
-
Example code for CF2 semantics
- CF2Example() - Constructor for class net.sf.tweety.arg.dung.examples.CF2Example
- CG_MINUS - net.sf.tweety.logics.cl.semantics.ConditionalStructure.Generator
-
The possible world falsifies the conditional
- CG_ONE - net.sf.tweety.logics.cl.semantics.ConditionalStructure.Generator
-
The possible world neither verifies nor falsifies the conditional because the premise is false
- CG_PLUS - net.sf.tweety.logics.cl.semantics.ConditionalStructure.Generator
-
The possible world verifies the conditional
- change - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
delegator for the implementation of the PropertyChange
- change - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
delegator for the implementation of the PropertyChange
- change(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
- change(ProbabilisticExtension, DungTheory) - Method in interface net.sf.tweety.arg.prob.dynamics.ChangeOperator
-
Given a probabilistic extension and an argumentation theory, compute the closest probabilistic extension that is adequate for observing the theory in the state p.
- change(PartialProbabilityAssignment, DungTheory) - Method in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
- change(PartialProbabilityAssignment, DungTheory) - Method in interface net.sf.tweety.arg.prob.dynamics.ChangeOperator
-
Given a partial probability assignment ppa and an argumentation theory, compute the closest probabilistic extension that is adequate for observing the theory in the state ppa.
- change(PartialProbabilityAssignment, DungTheory) - Method in class net.sf.tweety.arg.prob.dynamics.PARevisionOperator
- change(PartialProbabilityAssignment, DungTheory) - Method in class net.sf.tweety.arg.prob.dynamics.PAUpdateOperator
- changed(long) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
- changeOccurred() - Method in class net.sf.tweety.logics.cl.rules.EvaluateRule
-
Updates the progressMap and also checks if a change to one kappa value is occurred sicnge the last application of this rule.
- ChangeOperator - Interface in net.sf.tweety.arg.prob.dynamics
-
This interface provides common methods for change operators for probabilistic argumentation.
- changeOrder() - Method in class net.sf.tweety.preferences.io.POChanger
- characteristicFunction(PclBeliefSet, Map<ProbabilisticConditional, Probability>) - Method in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
-
Returns a modified belief base that replaces each conditionals probability by the one given by "values".
- charToBool(char) - Static method in class net.sf.tweety.arg.adf.util.TestUtil
- check1Norm() - Method in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
- checkedFormulaType(T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- checkFeasableCount - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
-
Determines how often new random objective variables are generated in case they are out of bounds.
- checkFormula(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
-
Helper methods checks if the given FOL formula is supported by the nested logic program language, that means it checks if it contains quantifiers and if that is the case it throws a LanguageException
- checkIterativeLeft - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- checkIterativeRight - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- checkMaxNorm() - Method in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
- checkSubsetCondition(Collection<T>, Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner
-
Checks whether all subsets of
set
obtained by removing exactly one element, are contained in the givensets
. - checkValid() - Method in class net.sf.tweety.arg.lp.syntax.Argument
-
An argument may only contain nonempty ground rules (i.e.
- child - Variable in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.UnaryNode
- children - Variable in class net.sf.tweety.arg.delp.semantics.DialecticalTree
-
The children of this node; size=0 indicates a leaf
- children - Variable in class net.sf.tweety.arg.dung.syntax.DungTheory
- children - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode
- childrenAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode
- childrenByParent - Variable in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
-
Maps an argument to all the arguments in which it occurs in their acceptance condition.
- Choice() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- ChoiceElement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- ChoiceElements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- claim - Variable in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
-
The claim of this argument.
- claim - Variable in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument
- claim - Variable in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
- claim - Variable in class net.sf.tweety.arg.saf.syntax.BasicArgument
-
The claim of this basic argument.
- classical_negation - Static variable in class net.sf.tweety.logics.commons.LogicalSymbols
- CLASSICAL_NEGATION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
- ClassicalCategorizer - Class in net.sf.tweety.arg.deductive.categorizer
-
This class implements a simple categorizer that does an bottom-up marking of the tree; leafs are marked undefeated and an inner node is marked defeated if at least one child is marked undefeated and defeated otherwise.
The method "categorize" returns "1" if the root node is undefeated and "0" if it is defeated. - ClassicalCategorizer() - Constructor for class net.sf.tweety.arg.deductive.categorizer.ClassicalCategorizer
- ClassicalFormula - Interface in net.sf.tweety.logics.commons.syntax.interfaces
-
This interface models a classical formula, i.e.
- ClassicalLiteral() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- ClassificationTester<S extends Observation,T extends Category> - Class in net.sf.tweety.machinelearning
-
Classes implementing this interface provide the means to test a training mechanism for performance.
- ClassificationTester() - Constructor for class net.sf.tweety.machinelearning.ClassificationTester
- Classifier - Interface in net.sf.tweety.machinelearning
-
A classifier classifies observations into categories.
- classify(Observation) - Method in interface net.sf.tweety.machinelearning.Classifier
-
Classifies the given observation.
- classify(Observation) - Method in class net.sf.tweety.machinelearning.svm.SupportVectorMachine
- CLaw - Class in net.sf.tweety.action.description.syntax
-
The action description language C consists of two distinct expressions: static laws and dynamic laws.
- CLaw() - Constructor for class net.sf.tweety.action.description.syntax.CLaw
-
Creates an empty causal law.
- CLaw(FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.CLaw
-
Creates a causal law of the form caused headFormula if True
- CLaw(FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.CLaw
-
Creates a causal law of the form caused headFormula if True requires requirements
- CLaw(FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.CLaw
-
Creates a causal law of the form caused headFormula if ifFormula
- CLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.CLaw
-
Creates a causal law of the form caused headFormula if ifFormula requires requirements
- CLawParser - Class in net.sf.tweety.action.description.parser
-
This class implements a parser for causal laws in C.
- CLawParser(ActionSignature) - Constructor for class net.sf.tweety.action.description.parser.CLawParser
-
This parser needs a valid action signature to parse causal laws.
- clazz - Variable in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
-
The class of inconsistency measurement processes.
- ClBeliefSet - Class in net.sf.tweety.logics.cl.syntax
-
This class models a belief set on conditional logic, i.e.
- ClBeliefSet() - Constructor for class net.sf.tweety.logics.cl.syntax.ClBeliefSet
-
Creates a new (empty) conditional belief set.
- ClBeliefSet(Collection<? extends Conditional>) - Constructor for class net.sf.tweety.logics.cl.syntax.ClBeliefSet
-
Creates a new conditional belief set with the given collection of conditionals.
- clear() - Method in class net.sf.tweety.agents.MultiAgentSystem
- clear() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
- clear() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- clear() - Method in class net.sf.tweety.arg.dung.semantics.Extension
- clear() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
- clear() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
- clear() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
- clear() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
- clear() - Method in class net.sf.tweety.commons.BeliefSet
- clear() - Method in class net.sf.tweety.commons.DualSetSignature
- clear() - Method in class net.sf.tweety.commons.InterpretationSet
- clear() - Method in class net.sf.tweety.commons.QuadrupleSetSignature
- clear() - Method in interface net.sf.tweety.commons.Signature
-
Removes all elements of this signature.
- clear() - Method in class net.sf.tweety.commons.SingleSetSignature
- clear() - Method in class net.sf.tweety.commons.TripleSetSignature
- clear() - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
Clears the ConditionalStructure, after calling this method the Structure is empty.
- clear() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- clear() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- clear() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- clear() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
- clear() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
- clear() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- clear() - Method in class net.sf.tweety.logics.rdl.semantics.Extension
- clear() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
- clear() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
- clear() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- clear() - Method in class net.sf.tweety.math.Interval
- clear() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
- clear() - Method in class net.sf.tweety.preferences.PreferenceOrder
-
clears the current preference order element set
- clearNodeScope(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- CliMain - Class in net.sf.tweety.cli.plugins
-
skeleton of the new main method of this CLI using plugins.
- CliMain() - Constructor for class net.sf.tweety.cli.plugins.CliMain
- CLINGO_SHOW - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- ClingoMetaStatement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- ClingoSolver - Class in net.sf.tweety.lp.asp.reasoner
-
Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.
- ClingoSolver(String) - Constructor for class net.sf.tweety.lp.asp.reasoner.ClingoSolver
-
Constructs a new instance pointing to specific a Clingo solver.
- ClingoSolver(String, Shell) - Constructor for class net.sf.tweety.lp.asp.reasoner.ClingoSolver
-
Constructs a new instance pointing to a specific Clingo solver.
- ClingoTest - Class in net.sf.tweety.lp.asp.analysis
-
Test class for Clingo.
- ClingoTest() - Constructor for class net.sf.tweety.lp.asp.analysis.ClingoTest
- ClingoTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
- ClingoWriter - Class in net.sf.tweety.lp.asp.writer
-
Prints ASP programs and single rules to the Clingo input format (https://potassco.org/clingo/).
- ClingoWriter() - Constructor for class net.sf.tweety.lp.asp.writer.ClingoWriter
- ClingoWriter(Writer) - Constructor for class net.sf.tweety.lp.asp.writer.ClingoWriter
-
Create a new ClingoWriter with the given writer.
- ClingoWriter(Writer, boolean) - Constructor for class net.sf.tweety.lp.asp.writer.ClingoWriter
- ClNLPTranslator - Class in net.sf.tweety.logics.translators.clnlp
-
Translates between propositional Conditionals and NLP.
- ClNLPTranslator() - Constructor for class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
- clone() - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
- clone() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
- clone() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
- clone() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
- clone() - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFrameworkSignature
- clone() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleRule
- clone() - Method in class net.sf.tweety.arg.delp.syntax.DelpFact
- clone() - Method in class net.sf.tweety.arg.delp.syntax.StrictRule
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoBoxModality
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDiamondModality
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphBoxModality
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphDiamondModality
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
- clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
- clone() - Method in class net.sf.tweety.arg.dung.syntax.DungSignature
- clone() - Method in class net.sf.tweety.commons.DualSetSignature
- clone() - Method in class net.sf.tweety.commons.QuadrupleSetSignature
- clone() - Method in interface net.sf.tweety.commons.Signature
- clone() - Method in class net.sf.tweety.commons.SingleSetSignature
- clone() - Method in class net.sf.tweety.commons.TripleSetSignature
- clone() - Method in class net.sf.tweety.logics.cl.syntax.ClBeliefSet
- clone() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
- clone() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- clone() - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
- clone() - Method in class net.sf.tweety.logics.commons.syntax.Constant
- clone() - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
- clone() - Method in class net.sf.tweety.logics.commons.syntax.Functor
- clone() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
- clone() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
-
Creates a deep copy of this formula
- clone() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term
-
Creates a deep copy of the term
- clone() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
-
Creates a deep copy of this object
- clone() - Method in class net.sf.tweety.logics.commons.syntax.NumberTerm
- clone() - Method in class net.sf.tweety.logics.commons.syntax.Predicate
- clone() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
- clone() - Method in class net.sf.tweety.logics.commons.syntax.Sort
- clone() - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
- clone() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
- clone() - Method in class net.sf.tweety.logics.commons.syntax.Variable
- clone() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
- clone() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
- clone() - Method in class net.sf.tweety.logics.dl.syntax.BottomConcept
- clone() - Method in class net.sf.tweety.logics.dl.syntax.Complement
- clone() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
-
Creates a deep copy of this formula
- clone() - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion
- clone() - Method in class net.sf.tweety.logics.dl.syntax.DlAxiom
- clone() - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
- clone() - Method in class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom
- clone() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
- clone() - Method in class net.sf.tweety.logics.dl.syntax.Intersection
- clone() - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion
- clone() - Method in class net.sf.tweety.logics.dl.syntax.TopConcept
- clone() - Method in class net.sf.tweety.logics.dl.syntax.Union
- clone() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction
- clone() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
- clone() - Method in class net.sf.tweety.logics.fol.syntax.Contradiction
- clone() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
- clone() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
- clone() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
- clone() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
- clone() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
- clone() - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
- clone() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
- clone() - Method in class net.sf.tweety.logics.fol.syntax.Implication
- clone() - Method in class net.sf.tweety.logics.fol.syntax.Negation
- clone() - Method in class net.sf.tweety.logics.fol.syntax.Tautology
- clone() - Method in class net.sf.tweety.logics.ml.syntax.Necessity
- clone() - Method in class net.sf.tweety.logics.ml.syntax.Possibility
- clone() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
- clone() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
- clone() - Method in class net.sf.tweety.logics.pl.syntax.Contradiction
- clone() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
- clone() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
- clone() - Method in class net.sf.tweety.logics.pl.syntax.Implication
- clone() - Method in class net.sf.tweety.logics.pl.syntax.Negation
- clone() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
- clone() - Method in class net.sf.tweety.logics.pl.syntax.PlPredicate
- clone() - Method in class net.sf.tweety.logics.pl.syntax.PlSignature
- clone() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
- clone() - Method in class net.sf.tweety.logics.pl.syntax.Tautology
- clone() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
- clone() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
- clone() - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet
- clone() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
- clone() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
- clone() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm
- clone() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
- clone() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
- clone() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- clone() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- clone() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
- clone() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
- clone() - Method in class net.sf.tweety.lp.asp.syntax.Program
- clone() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
- clone() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
- clone() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
- clone() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
- clone() - Method in class net.sf.tweety.math.opt.OptimizationProblem
- clone() - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
-
method to clone this object for instantiation
- clone() - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter
- clone() - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter
-
Clones the object
- clone() - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
- clone() - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter
-
method to clone this object for instantiation
- cloneWithAddedTerm(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
- cloneWithAddedTerm(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPLiteral
-
Creates a copy of the literal and adds the given term as argument to the end of the argument list.
- cloneWithAddedTerm(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
- close() - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
- close() - Method in interface net.sf.tweety.logics.fol.writer.FolWriter
-
Closes the Writer.
- close() - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer
- close() - Method in class net.sf.tweety.logics.fol.writer.SPASSWriter
- close() - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter
- close() - Method in class net.sf.tweety.logics.ml.writer.MleanCoPWriter
-
Closes the Writer.
- close() - Method in class net.sf.tweety.logics.ml.writer.SPASSWriter
- close() - Method in class net.sf.tweety.logics.pl.util.TextfileIterator
-
Close file reader (in case no more belief bases should be read)
- close() - Method in class net.sf.tweety.lp.asp.writer.ClingoWriter
- closeNodeScope(Node, boolean) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- closeNodeScope(Node, int) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- ClosureTest() - Method in class net.sf.tweety.arg.aba.ABATest
- ClParser - Class in net.sf.tweety.logics.cl.parser
-
This class implements a parser for conditional logic.
- ClParser() - Constructor for class net.sf.tweety.logics.cl.parser.ClParser
- cmdOptions - Variable in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner
-
Command line options that will be used by SPASS when executing the query.
- cmdOptions - Variable in class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner
-
Command line options that will be used by SPASS when executing the query.
- CNF - net.sf.tweety.arg.dung.parser.FileFormat
- CNF_RATIO - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- CNF_RATIO - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- CnfParser - Class in net.sf.tweety.arg.dung.parser
-
Parses abstract argumentation frameworks in the CNF/Dimacs Format used for the SAT solver competition (see also http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html).
- CnfParser() - Constructor for class net.sf.tweety.arg.dung.parser.CnfParser
- CnfSampler - Class in net.sf.tweety.logics.pl.util
-
A simple sampler for propositional belief bases.
- CnfSampler(Signature, double) - Constructor for class net.sf.tweety.logics.pl.util.CnfSampler
-
Creates a new sampler for the given signature.
- CnfSampler(Signature, double, int, int) - Constructor for class net.sf.tweety.logics.pl.util.CnfSampler
-
Creates a new sampler for the given signature.
- CnfWriter - Class in net.sf.tweety.arg.dung.writer
-
Writes an abstract argumentation framework into a file of the CNF format.
- CnfWriter() - Constructor for class net.sf.tweety.arg.dung.writer.CnfWriter
- CNode() - Constructor for class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.CNode
- cntArguments - Variable in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
-
The number of arguments in the theory that is to be generated next.
- cntAttacks - Variable in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
-
The number of attacks in the theory that is to be generated next.
- CO - net.sf.tweety.arg.dung.semantics.Semantics
- coherence(MarkovLogicNetwork, AbstractMlnReasoner, FolSignature) - Method in class net.sf.tweety.logics.mln.analysis.AbstractCoherenceMeasure
-
Measures the coherence of the given MLN using the given reasoner.
- coherence(MarkovLogicNetwork, AbstractMlnReasoner, FolSignature) - Method in class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure
- coherenceMeasure - Variable in class net.sf.tweety.logics.mln.analysis.DefaultCompatibilityMeasure
-
The coherence measure used for computing compatibility.
- CoherentPASemantics - Class in net.sf.tweety.arg.prob.semantics
-
P is coherent wrt.
- CoherentPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.CoherentPASemantics
- cohSemantics - Variable in class net.sf.tweety.arg.prob.semantics.JustifiablePASemantics
-
The semantics this semantics is based upon.
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.BottomConcept
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.Complement
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
-
This method collapses all associative operations appearing in this term, e.g.
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.Intersection
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.TopConcept
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.Union
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
-
This method collapses all associative operations appearing in this term, e.g.
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Implication
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Negation
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.ml.syntax.Necessity
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.ml.syntax.Possibility
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Implication
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Negation
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
-
This method collapses all associative operations appearing in this term, e.g.
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
- collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
- collapseAssociativeFormulas() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.equation.Statement
-
This method collapses all associative operations appearing in this statement, e.g.
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
-
This method collapses all associative operations appearing in the target function and the constraints, e.g.
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.opt.OptimizationProblem
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.AssociativeOperation
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Constant
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Difference
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Fraction
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.FunctionalTerm
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Term
-
This method collapses all associative operations appearing in this term, e.g.
- collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Variable
- COLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- COLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- column - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- column - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- column - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- column - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- column - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
- combine(Set<Map<E, F>>) - Method in class net.sf.tweety.commons.util.MapTools
-
Combines all maps in singleMaps to one maps containing every assignment of each map in singleMaps.
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
- combineWithAnd(Conjunctable) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable
-
Returns a conjunction of this and the given formula.
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
- combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
- combineWithOr(Disjunctable) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
- combineWithOr(Disjunctable) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- COMMA - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- COMMA - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- CommandParameter - Class in net.sf.tweety.plugin.parameter
-
This is the abstract basics class for CommandParameter Never leave identifier and description arguments for the constructor empty, they can not be changed afterwards
- CommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.CommandParameter
-
non-empty constructor (member variables cannot be changed after construction)
- COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- CommonColdExample(int) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample
- commonView - Variable in class net.sf.tweety.agents.dialogues.structured.SasAgent
-
The current state of the argumentation as perceived by all agents.
- commonView - Variable in class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment
-
The common view of all agents.
- comp - Variable in class net.sf.tweety.arg.aspic.order.SetComparator
-
A comparator for single elements of type T
- ComparativeAtom - Class in net.sf.tweety.lp.asp.syntax
-
This class represents a comparative atom, meaning an expression of the form t x u where t,u are terms and x is in {<, <=, ==, !=, >, >=}.
- ComparativeAtom(ASPOperator.BinaryOperator, Term<?>, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.ComparativeAtom
- ComparativeAtom(ComparativeAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.ComparativeAtom
-
Copy-Constructor
- ComparativeTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
- compare - Static variable in class net.sf.tweety.logics.cl.examples.ReasonerExample
- compare(int[], int[]) - Method in class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner.LexicographicTupleComparator
- compare(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
- compare(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
- compare(Object, Object) - Method in class net.sf.tweety.logics.pl.postulates.ImPostulate.SimpleMUSComparator
- compare(Collection<T>, Collection<T>) - Method in class net.sf.tweety.arg.aspic.order.SetComparator
- compare(Map<FloatVariable, Term>, Map<FloatVariable, Term>) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver.FitnessComparator
- compare(AspicArgument<T>, AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.order.LastLinkOrder
- compare(AspicArgument<T>, AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.order.SimpleAspicOrder
- compare(AspicArgument<T>, AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.order.WeakestLinkOrder
- compare(AspicArgument<T>, AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder
- compare(InferenceRule<T>, InferenceRule<T>) - Method in class net.sf.tweety.arg.aspic.order.RuleComparator
- compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.semantics.ComparisonCriterion
-
This method returns the relation of
argument1
toargument2
givencontext
. - compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.semantics.EmptyCriterion
- compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity
- compare(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.ArgumentRanking
- compare(Pair<Proposition, Boolean>, Pair<Proposition, Boolean>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
- compare(NicePossibleWorld, NicePossibleWorld) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
- compare(PlFormula, PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.PlBeliefSet.PlFormulaHashCodeComparator
- compare(Program, Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator
- compareEqualityWith(PreferenceOrder<T>) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
compares this preference order to another given one whether each relation is contained in both
- compareLiterals - Static variable in class net.sf.tweety.arg.delp.Utilities
-
Compare DeLP literals as they arise in rules, i.e., ~B < A (negation is always smaller) A < B (atoms = predicates are sorted by predicate name first...
- compareRules - Static variable in class net.sf.tweety.arg.delp.Utilities
-
Compare DeLP rules: 1) compare heads (conclusion) as literals 2) if the same, then a) DelpFact < StrictRule < DefeasibleRule b) within same subclass, compare set of literals...
- compareTo(T2BeliefState) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
- compareTo(T3BeliefState) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
- compareTo(Interpretation) - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
- compareTo(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
- compareTo(LdoArgument) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
- compareTo(Extension) - Method in class net.sf.tweety.arg.dung.semantics.Extension
- compareTo(DungTheory) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
- compareTo(TypedStructureAdapter) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
- compareTo(ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation) - Method in class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
- compareTo(PossibleWorld) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld
- compareTo(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
- compareTo(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
- compareTo(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
- compareTo(ASPRule) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- comparisonCriterion - Variable in class net.sf.tweety.arg.delp.reasoner.DelpReasoner
-
The comparison criterion is initialized with the "empty criterion"
- ComparisonCriterion - Class in net.sf.tweety.arg.delp.semantics
-
This class is the superclass for all comparison criteria between two arguments in defeasible logic programming.
- ComparisonCriterion() - Constructor for class net.sf.tweety.arg.delp.semantics.ComparisonCriterion
- ComparisonCriterion.Factory - Enum in net.sf.tweety.arg.delp.semantics
-
To select a subclass and create an instance throw a static factory method.
- ComparisonCriterion.Result - Enum in net.sf.tweety.arg.delp.semantics
- compatibility(List<MarkovLogicNetwork>, AbstractMlnReasoner, List<FolSignature>) - Method in interface net.sf.tweety.logics.mln.analysis.CompatibilityMeasure
-
Measures the compatibility of the given MLNs wrt.
- compatibility(List<MarkovLogicNetwork>, AbstractMlnReasoner, List<FolSignature>) - Method in class net.sf.tweety.logics.mln.analysis.DefaultCompatibilityMeasure
- CompatibilityMeasure - Interface in net.sf.tweety.logics.mln.analysis
-
This interface represents a compatibility measure for MLNs.
- Compilation - Class in net.sf.tweety.arg.deductive.semantics
-
Instances of this class are compilations in the sense of Definition 8 in
Philippe Besnard and Anthony Hunter. - Compilation(DeductiveKnowledgeBase) - Constructor for class net.sf.tweety.arg.deductive.semantics.Compilation
-
Creates the compilation of the given knowledge base.
- CompilationNode - Class in net.sf.tweety.arg.deductive.semantics
-
Instances of this class represent nodes in the compilation of a knowledge base, i.e.
- CompilationNode(Collection<? extends PlFormula>) - Constructor for class net.sf.tweety.arg.deductive.semantics.CompilationNode
-
Creates a new compilation node with the given set of formulas.
- CompilationReasoner - Class in net.sf.tweety.arg.deductive.reasoner
-
This class implements the approach of knowledge base compilation as proposed in
Philippe Besnard and Anthony Hunter. - CompilationReasoner(Categorizer, Accumulator) - Constructor for class net.sf.tweety.arg.deductive.reasoner.CompilationReasoner
-
Creates a new compilation reasoner for the given belief base, categorizer, and accumulator.
- complement() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
- complement() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
- complement() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
- complement() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable
- complement() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
- complement() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
- complement() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
- complement() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
- complement() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
- complement() - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional
- complement() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
- complement() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
- complement() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
- complement() - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional
- complement() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
- complement() - Method in class net.sf.tweety.lp.asp.syntax.ASPLiteral
- complement() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
- complement() - Method in class net.sf.tweety.math.probability.Probability
-
Returns the complement of this probability, i.e.
- Complement - Class in net.sf.tweety.logics.dl.syntax
-
This class models the complement (negation) in description logics.
- Complement(ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.Complement
-
Create a new complement with the given DLFormula.
- ComplementTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
- COMPLETE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
- CompleteReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner
- CompleteReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.CompleteReasoner
- completion - Variable in class net.sf.tweety.arg.delp.semantics.ArgumentCompletion
-
The completion of the argument, i.e., the set of strict rules used in the derivation of the conclusion of the argument.
- ComplexConcept - Class in net.sf.tweety.logics.dl.syntax
-
The common abstract class for concepts (also called concepts, complex concepts or concept descriptions) of description logics.
- ComplexConcept() - Constructor for class net.sf.tweety.logics.dl.syntax.ComplexConcept
- ComplexLogicalFormula - Interface in net.sf.tweety.logics.commons.syntax.interfaces
-
A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
- ComplexLogicalFormulaAdapter - Class in net.sf.tweety.logics.commons.syntax
-
Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.
- ComplexLogicalFormulaAdapter() - Constructor for class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
- ComplexNumber - Class in net.sf.tweety.math
-
A complex number.
- ComplexNumber(double, double) - Constructor for class net.sf.tweety.math.ComplexNumber
-
Constructs a new complex number with the given real and imaginary parts.
- ComplexQueryTest() - Method in class net.sf.tweety.logics.dl.test.DlReasonerTest
- ComplexQueryTest() - Method in class net.sf.tweety.logics.ml.MleanCoPTest
- ComplexQueryTest() - Method in class net.sf.tweety.logics.ml.SPASSTest
- ComplexTermTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
- compute(AbstractDialecticalFramework, Argument, Argument) - Method in interface net.sf.tweety.arg.adf.reasoner.LinkStrategy
- compute(AbstractDialecticalFramework, Argument, Argument) - Method in class net.sf.tweety.arg.adf.reasoner.SatLinkStrategy
- computeExtensionsViaSccs(DungTheory, List<Collection<Argument>>, int, Collection<Argument>, Collection<Argument>, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleSccCompleteReasoner
-
Computes extensions recursively following the SCC structure.
- computeModel(MarkovLogicNetwork, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner
-
Computes the model of the given MLN wrt.
- computeModel(MarkovLogicNetwork, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.SimpleMlnReasoner
-
Computes the model of the given MLN.
- computeTupledValue(Argument, DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner
-
Computes the tupled value for the given argument.
- computeWeight(MarkovLogicNetwork, HerbrandInterpretation, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
-
Computes the (unnormalized) weight of the given Herbrand interpretation with respect to the formulas in this reasoner's MLN.
- conc - Variable in class net.sf.tweety.arg.aspic.syntax.AspicArgument
-
The conclusion of the argument's top rule
- conc - Variable in class net.sf.tweety.logics.rdl.syntax.DefaultRule
-
The conclusion of the default rule
- concept - Variable in class net.sf.tweety.logics.dl.syntax.ConceptAssertion
-
The concept or role of this assertional axiom (= the concept or role that the individuals are instances of).
- ConceptAssertion - Class in net.sf.tweety.logics.dl.syntax
-
This class models a concept assertion in description logic, i.e.
- ConceptAssertion() - Constructor for class net.sf.tweety.logics.dl.syntax.ConceptAssertion
-
Empty default constructor.
- ConceptAssertion(Individual, AtomicConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.ConceptAssertion
-
Initializes a role assertion with the given atomic concept and Individual.
- ConceptAssertion(Individual, ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.ConceptAssertion
-
Initializes a role assertion with the given concept and Individual.
- conclusion - Variable in class net.sf.tweety.arg.aspic.syntax.InferenceRule
-
The rule's conclusion
- conclusion - Variable in class net.sf.tweety.arg.delp.syntax.DelpArgument
-
The conclusion of this argument (must be a literal)
- conclusion - Variable in class net.sf.tweety.logics.cl.syntax.Conditional
-
The conclusion of this conditional.
- conclusion - Variable in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
-
The conclusion of the conditional.
- conclusion - Variable in class net.sf.tweety.lp.nlp.syntax.NLPRule
- conclusion - Variable in class net.sf.tweety.machinelearning.assoc.AssociationRule
-
The conclusion of the rule.
- cond - Variable in class net.sf.tweety.logics.cl.kappa.KappaValue
-
The Conditional that generates this kappa value
- condensedEntropy() - Method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution
-
Returns the condensed entropy of this distribution (neglecting multiplicators of reference worlds.
- CondensedProbabilityDistribution - Class in net.sf.tweety.logics.rpcl.semantics
-
Instances of this class represent condensed probability distributions, rf.
- CondensedProbabilityDistribution(RpclSemantics, FolSignature) - Constructor for class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution
-
Creates a new condensed probability distribution for the given signature.
- Conditional - Class in net.sf.tweety.logics.cl.syntax
-
This class represents a basic conditional (B|A) with formulas A,B.
- Conditional(PlFormula) - Constructor for class net.sf.tweety.logics.cl.syntax.Conditional
-
Creates a new conditional with a tautological premise and given conclusion.
- Conditional(PlFormula, PlFormula) - Constructor for class net.sf.tweety.logics.cl.syntax.Conditional
-
Creates a new conditional with the given premise and conclusion.
- conditionalData - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
This maps saves the same data as worldData but uses another mapping allowing fast access to the Generators using Conditionals.
- conditionalProbability(Conditional) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
-
Returns the probability of the given conditional
- conditionalStructure - Variable in class net.sf.tweety.logics.cl.rules.RuleAdapter
-
the conditional structure the rule works on
- ConditionalStructure - Class in net.sf.tweety.logics.cl.semantics
-
Represents a conditional structure as introduced in Section 3.5 "Conditionals in Nonmonotonic Reasoning and Belief Revision" of Gabrielle Kern-Isberner Internally it saves the data to two nested Maps.
- ConditionalStructure() - Constructor for class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
Default-Ctor generates empty Conditional structure
- ConditionalStructure(Collection<Conditional>) - Constructor for class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
Ctor: generates a conditional structure containing the given conditionals
- ConditionalStructure(Collection<Conditional>, Comparator<NicePossibleWorld>) - Constructor for class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
Ctor: Generates a ConditionalStructure containing the given conditionals and using the given comparator to sort the worldData map.
- ConditionalStructure(Comparator<NicePossibleWorld>) - Constructor for class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
Ctor: Generates an empty ConditionalStructure that uses the given Comparator to sort its worldData map.
- ConditionalStructure.Generator - Enum in net.sf.tweety.logics.cl.semantics
-
The possible values of a conditional for a possible world
- ConditionalStructureKappaBuilder - Class in net.sf.tweety.logics.cl.kappa
-
This class builds the initial kappa value list for a given conditional structure.
- ConditionalStructureKappaBuilder() - Constructor for class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder
-
Default-Ctor: Generates a builder that does not uses fast evaluation
- ConditionalStructureKappaBuilder(boolean) - Constructor for class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder
-
Ctor: Generates a builder that uses fast evaluation depending on the given parameter
- confidence(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule
-
Returns the confidence of this rule wrt.
- confidentAttack - Variable in class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack
- ConfidentAttack - Class in net.sf.tweety.arg.lp.semantics.attack
-
This notion of attack models the confident attack relation.
- ConfidentAttack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack
-
Private constructor.
- confidentRebut - Variable in class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack
- ConfidentRebut - Class in net.sf.tweety.arg.lp.semantics.attack
-
This notion of attack models the strong rebut relation.
- ConfidentRebut() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.ConfidentRebut
-
Private constructor.
- config - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
-
The configuration for generating agents.
- config - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator
-
The configuration for generating agents.
- config - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator
-
The configuration for generating agents.
- config - Variable in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
-
Configuration options for to be given to the inconsistency measurement process.
- CONFIG_AGGREGATIONFUNCTION - Static variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
-
Key for the configuration map that points to the aggregation function used.
- CONFIG_KEY_NUMBEROFPOPULATIONS - Static variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
Configuration key for the number of populations tried out.
- CONFIG_KEY_NUMBEROFPOPULATIONS - Static variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
-
Configuration key for the number of populations tried out.
- CONFIG_KEY_SIGNATURE - Static variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
Configuration key for the signature.
- CONFIG_KEY_SIGNATURE - Static variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
-
Configuration key for the signature.
- CONFIG_KEY_WITNESSPROVIDER - Static variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
Configuration key for the consistency tester.
- CONFIG_MEASURE - Static variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
-
Key for the configuration map that points to the inconsistency measure to be used.
- CONFIG_NAME - Static variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
-
Key for the configuration map that points to the name to be used.
- CONFIG_SMOOTHINGFACTOR - Static variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
Key for the configuration map that points to the smoothing factor to be used.
- CONFIG_SMOOTHINGFACTOR - Static variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
-
Key for the configuration map that points to the smoothing factor to be used.
- CONFIG_TIMEOUT - Static variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
-
Key for the configuration map that gives a time out (given in seconds) for a single update operation Default value is -1 which means no time out.
- CONFIG_WINDOWSIZE - Static variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
-
Key for the configuration map that points to the window size to be used.
- configCLI() - Static method in class net.sf.tweety.cli.plugins.CliMain
-
This method is meant to load the tweety plugin pathes on startup
- CONFLICTFREE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
- conflictFreeInterpretation() - Method in class net.sf.tweety.arg.adf.reasoner.SatEncoding
- CONJ - Static variable in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
- Conjunctable - Interface in net.sf.tweety.logics.commons.syntax.interfaces
-
Formulas implementing this interface can be connected by using AND.
- Conjunction - Class in net.sf.tweety.logics.fol.syntax
-
The classical conjunction of first-order logic.
- Conjunction - Class in net.sf.tweety.logics.pl.syntax
-
This class represents a conjunction in propositional logic.
- Conjunction() - Constructor for class net.sf.tweety.logics.fol.syntax.Conjunction
-
Creates a new (empty) conjunction.
- Conjunction() - Constructor for class net.sf.tweety.logics.pl.syntax.Conjunction
-
Creates a new (empty) conjunction.
- Conjunction(Collection<? extends RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.Conjunction
-
Creates a new conjunction with the given inner formulas.
- Conjunction(Collection<? extends PlFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.Conjunction
-
Creates a new conjunction with the given inner formulas.
- Conjunction(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Conjunction
-
Creates a new conjunction with the two given formulae
- Conjunction(PlFormula, PlFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Conjunction
-
Creates a new conjunction with the two given formulae
- CONJUNCTION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
- ConjunctionAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax
- ConjunctionAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.ConjunctionAcceptanceCondition
-
creates a conjunction of acceptance conditions
- ConjunctionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- CONS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- CONS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- CONSISTENCY - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
-
The CONSISTENCY postulate
- ConsistencyTester<T extends BeliefBase> - Interface in net.sf.tweety.logics.commons.analysis
-
Classes implementing this interface are capable of testing whether a given belief base is consistent.
- ConsistencyWitnessProvider<B extends BeliefBase,S extends Formula> - Interface in net.sf.tweety.logics.commons.analysis
-
Provides methods for returning some model (if it exists) of a set of formulas.
- consolidate(Collection<ASPRule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
- consolidate(Collection<T>) - Method in interface net.sf.tweety.lp.asp.beliefdynamics.baserevision.ConsolidationOperator
-
Returns a consolidation of set p, i.e.
- consolidate(Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
-
Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.
- ConsolidationOperator<T extends Formula> - Interface in net.sf.tweety.lp.asp.beliefdynamics.baserevision
-
This interface represents an consolidation operator for belief bases as defined in [KKI12].
- constant - Variable in class net.sf.tweety.action.grounding.VarConstNeqRequirement
- Constant - Class in net.sf.tweety.logics.commons.syntax
-
A Constant represents an constant object in the world of a logical language.
- Constant - Class in net.sf.tweety.math.term
-
This class models an abstract constant, e.g.
- Constant() - Constructor for class net.sf.tweety.math.term.Constant
- Constant(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Constant
-
Ctor: Creates a new Constant with the given name, uses "Thing" as sort.
- Constant(String, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.Constant
-
Ctor: Creates a new Constant with the given name and sort
- Constant(Constant) - Constructor for class net.sf.tweety.logics.commons.syntax.Constant
-
Copy-Ctor: Creates a deep copy of the given Constant
- constantPrefix - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
-
a prefix used to mark constants which represents the id of positive literals.
- constants - Variable in class net.sf.tweety.logics.commons.syntax.Sort
-
The set of constants of this sort
- ConstantSet(FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
- consTester - Variable in class net.sf.tweety.logics.commons.analysis.DrasticInconsistencyMeasure
-
The consistency tester used for measuring.
- constraint_terms - Variable in class net.sf.tweety.lp.asp.syntax.ASPRule
- ConstraintSatisfactionProblem - Class in net.sf.tweety.math.opt
-
This class models a general constraint satisfaction problem.
- ConstraintSatisfactionProblem() - Constructor for class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
-
Creates a new and empty csp.
- ConstraintSatisfactionProblem(Collection<? extends Statement>) - Constructor for class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
-
Creates a new csp with the given statements
- constructAndSolveProblem(Collection<PlFormula>, Map<Proposition, Variable>) - Method in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
-
Utility method
- constructArgsWithConclusion(AspicArgumentationTheory<T>, T, Set<T>) - Method in class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner
- constructRankingFunction(Integer[], Map<Integer, RelationalConditional>, FolSignature) - Method in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner
-
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
- constructRankingFunction(ClBeliefSet, Integer[]) - Method in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner
-
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
- consumeToken(Stack<Object>, int) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser
-
This method reads one token from the given reader and appropriately constructs a propositional formula from the stream.
- consumeToken(Stack<Object>, int) - Method in class net.sf.tweety.logics.fol.parser.FolParser
-
This method reads one token from the given reader and appropriately constructs a fol formula from the stream.
- consumeToken(Stack<Object>, int) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
-
This method reads one token from the given reader and appropriately constructs a fol formula from the stream.
- consumeToken(Stack<Object>, int) - Method in class net.sf.tweety.logics.ml.parser.MlParser
-
This method reads one token from the given reader and appropriately constructs a modal formula from the stream.
- consumeToken(Stack<Object>, int) - Method in class net.sf.tweety.logics.pl.parser.PlParser
-
This method reads one token from the given reader and appropriately constructs a propositional formula from the stream.
- containedKeywords(String) - Method in class net.sf.tweety.action.description.parser.CLawParser
-
Returns the set of forbidden keywords, that are contained in a string.
- contains(Object) - Method in class net.sf.tweety.agents.MultiAgentSystem
- contains(Object) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
- contains(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- contains(Object) - Method in class net.sf.tweety.arg.dung.semantics.Extension
- contains(Object) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
- contains(Object) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
- contains(Object) - Method in class net.sf.tweety.commons.BeliefSet
- contains(Object) - Method in class net.sf.tweety.commons.InterpretationSet
- contains(Object) - Method in class net.sf.tweety.graphs.DefaultGraph
- contains(Object) - Method in interface net.sf.tweety.graphs.Graph
-
Returns "true" when this graph contains the given node or edge.
- contains(Object) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- contains(Object) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- contains(Object) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- contains(Object) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
-
Returns true if this signature contains the specified constant, predicate, functor, sort or all constants, predicates, functors and sorts in the specified FolFormula.
- contains(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- contains(Object) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
- contains(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- contains(Object) - Method in class net.sf.tweety.math.Interval
- contains(Object) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
checks whether this preference order contains a given pair
- contains(Argument) - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
- contains(Argument) - Method in class net.sf.tweety.arg.dung.syntax.Attack
-
Return true if the given argument is in this attack relation.
- contains(ASPRule) - Method in class net.sf.tweety.lp.asp.syntax.Program
-
Returns true if the program contains a given rule.
- contains(T) - Method in class net.sf.tweety.commons.SingleSetSignature
-
Returns true if this signature contains the specified formula.
- containsActionName(String) - Method in class net.sf.tweety.action.signature.ActionSignature
-
Returns true iff the given actionName is contained in this action signature.
- containsActionName(FolActionName) - Method in class net.sf.tweety.action.signature.ActionSignature
-
Returns true iff the given actionName is contained in this signature.
- containsAll(Collection<?>) - Method in class net.sf.tweety.agents.MultiAgentSystem
- containsAll(Collection<?>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
- containsAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- containsAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.semantics.Extension
- containsAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
- containsAll(Collection<?>) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
- containsAll(Collection<?>) - Method in class net.sf.tweety.commons.BeliefSet
- containsAll(Collection<?>) - Method in class net.sf.tweety.commons.InterpretationSet
- containsAll(Collection<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- containsAll(Collection<?>) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- containsAll(Collection<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- containsAll(Collection<?>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- containsAll(Collection<?>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
- containsAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- containsAll(Collection<?>) - Method in class net.sf.tweety.math.Interval
- containsAll(Collection<?>) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
checks, whether all of the given elements are contained in the preference order
- containsAll(Collection<T>) - Method in class net.sf.tweety.commons.SingleSetSignature
-
Returns true if this signature contains all of the elements in the specified collection.
- containsAttack(Attack) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
-
Checks whether this theory contains the given attack.
- containsBackEdge(Node, Map<Node, Integer>, Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph
-
Helper method for detecting cycles using depth-first search.
- containsConcept(String) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
-
Checks whether the signature contains an atomic concept of the given name.
- containsConstant(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
-
Returns true if this signature contains the constant of the given name.
- containsCycle() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
-
Checks whether there is at least one cycle in this DungTheory.
- containsCycle(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph
-
Checks whether there is at least one cycle in the given graph.
- containsFluentName(String) - Method in class net.sf.tweety.action.signature.ActionSignature
-
Returns true iff the given fluentName is contained in this action signature.
- containsFluentName(FolFluentName) - Method in class net.sf.tweety.action.signature.ActionSignature
-
Returns true iff the given fluentName is contained in this signature.
- containsFunctionalTerms() - Method in class net.sf.tweety.logics.fol.syntax.LogicStructure
-
Checks whether this structure contains any functional terms.
- containsFunctor(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
-
Returns true if this signature contains the functor of the given name.
- containsIndividual(String) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
-
Checks whether the signature contains an Individual of the given name.
- containsKey(Object) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
- containsKey(Object) - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
- containsKey(Object) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
- containsKey(Object) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
- containsKey(Object) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
- containsKey(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
- containsKey(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
- containsKey(Object) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
- containsKey(Object) - Method in class net.sf.tweety.preferences.ranking.Functions
-
checks whether the key is present in the entry-set of the map
- containsKey(Argument) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping
-
Returns "true" iff the given argument has a value.
- containsModalityOperator() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
-
Checks whether this formula contains a modal operator ("necessity" operator or "possibility" operator).
- containsParameter(TrainingParameter) - Method in class net.sf.tweety.machinelearning.ParameterSet
-
Checks whether this set contains a parameter with the same name as the given parameter.
- containsPredicate(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
-
Returns true if this signature contains the predicate of the given name.
- containsPredicate(Predicate) - Method in class net.sf.tweety.action.signature.ActionSignature
-
Returns true iff the given predicate is contained in this signature.
- containsQuantifier() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
- containsQuantifier() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula
-
Checks whether this formula contains any quantification.
- containsQuantifier() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
- containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
- containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
- containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
- containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
- containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.Implication
- containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.Negation
- containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
- containsQuantifier() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
- containsQuantifier() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
- containsQuantifier() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
- containsQuantifier() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
- containsQuantifier() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
- containsRelation(T, T) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
checks whether this preference order contains a pair of given elements
- containsRole(String) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
-
Checks whether the signature contains an atomic role of the given name.
- containsSort(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
-
Returns true if this signature contains the sort of the given name.
- containsTermsOfType(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
- containsTermsOfType(Class<C>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure
-
Checks if this logical structure contains at least one term of type C.
- containsTermsOfType(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
- containsTermsOfType(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.Sort
- containsTermsOfType(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
- containsTermsOfType(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
- containsTermsOfType(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- containsTriple(T, T, Relation) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
checks whether the given triple is contained
- containsValue(Object) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
- containsValue(Object) - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
- containsValue(Object) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
- containsValue(Object) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
- containsValue(Object) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
- containsValue(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
- containsValue(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
- containsValue(Object) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
- containsValue(Object) - Method in class net.sf.tweety.preferences.ranking.Functions
-
checks whether the value is present in the entry-set of the map
- CONTENSION - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
- ContensionExample - Class in net.sf.tweety.logics.pl.examples
-
Example code illustrating the contension inconsistency measure.
- ContensionExample() - Constructor for class net.sf.tweety.logics.pl.examples.ContensionExample
- ContensionInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis
-
This class implements the contension inconsistency measure, cf.
- ContensionInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasure
- ContensionInconsistencyMeasurementProcess - Class in net.sf.tweety.logics.pl.analysis
-
Implements an approximation algorithm for the Contension inconsistency measure on streams.
- ContensionInconsistencyMeasurementProcess() - Constructor for class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
- ContensionSampler - Class in net.sf.tweety.logics.pl.util
-
Generates random propositional belief base with a given inconsistency measure (for the contension inconsistency measure) and of a given size.
- ContensionSampler(PlSignature, int) - Constructor for class net.sf.tweety.logics.pl.util.ContensionSampler
-
Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
- ContensionSampler(PlSignature, int, int, int) - Constructor for class net.sf.tweety.logics.pl.util.ContensionSampler
-
Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
- contol - Variable in class net.sf.tweety.math.opt.OpenOptRootFinder
- contol - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
- CONTRA - net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
- contract(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator
- contract(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
-
Contracts the first collection of formulas by the second collection of formulas.
- contract(Collection<T>, T) - Method in interface net.sf.tweety.beliefdynamics.BaseContractionOperator
-
Contracts the given collection of formulas by the given formula.
- contract(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
- contraction - Variable in class net.sf.tweety.beliefdynamics.LeviBaseRevisionOperator
-
The contraction operator of this Levi revision.
- contraction - Variable in class net.sf.tweety.beliefdynamics.LeviMultipleBaseRevisionOperator
-
The contraction operator of this Levi revision.
- contradiction - Static variable in class net.sf.tweety.logics.commons.LogicalSymbols
- Contradiction - Class in net.sf.tweety.logics.fol.syntax
-
A contradictory formula.
- Contradiction - Class in net.sf.tweety.logics.pl.syntax
-
A contradictory formula.
- Contradiction() - Constructor for class net.sf.tweety.logics.fol.syntax.Contradiction
-
Creates a new contradiction.
- Contradiction() - Constructor for class net.sf.tweety.logics.pl.syntax.Contradiction
-
Creates a new contradiction.
- CONTRADICTION - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
-
The CONTRADICTION postulate
- CONTRADICTION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
- ContradictionAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax
- ContradictionAcceptanceCondition() - Constructor for class net.sf.tweety.arg.adf.syntax.ContradictionAcceptanceCondition
- ContradictionAsQueryTest() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
- ContradictionTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
- ContradictionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- ConversionTools - Class in net.sf.tweety.commons.util
-
This class provides some utility methods for converting different data types.
- ConversionTools() - Constructor for class net.sf.tweety.commons.util.ConversionTools
- convertToCplexLpFormat() - Method in class net.sf.tweety.math.opt.OptimizationProblem
-
Converts the this optimization problem into a string in the commonly used CPLEX LP-format for mixed integer linear programming.
- convertToDimacs(Collection<PlFormula>) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
-
Converts the given set of formulas to their string representation in Dimacs CNF.
- convertToDimacs(Collection<PlFormula>, List<Proposition>) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
-
Converts the given set of formulas to their string representation in Dimacs CNF.
- convertToLpFormat() - Method in class net.sf.tweety.math.opt.OptimizationProblem
-
Converts the this optimization problem into a string in the commonly used LP-format for mixed integer linear programming.
- ConvexAggregatingMaxConsMeMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
This consistency restorer determines the new probabilities of conditionals by computing the ME-distribution of each maximal consistent subset of the knowledge base, then convex combining those yielding a distribution P, and extracting the new probabilities from P.
- ConvexAggregatingMaxConsMeMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.ConvexAggregatingMaxConsMeMachineShop
- ConvexAggregatingMeMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
This consistency restorer determines the new probabilities of conditionals by computing the ME-distribution of each single conditional, then convex combining those yielding a distribution P, and extracting the new probabilities from P.
- ConvexAggregatingMeMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.ConvexAggregatingMeMachineShop
- convexCombination(double[], ProbabilityDistribution<S>[]) - Static method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
-
Computes the convex combination of the given probability distributions P1,...,PN with parameters factors, i.e.
- convexCombination(double[], ProbabilityFunction<S>[]) - Static method in class net.sf.tweety.math.probability.ProbabilityFunction
-
Computes the convex combination of the given probability distributions P1,...,PN with parameters factors, i.e.
- convexCombination(double, ProbabilityDistribution<T>) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
-
Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
- convexCombination(double, RpclProbabilityDistribution<T>) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
-
Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
- convexCombination(double, ProbabilityFunction<T>) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
-
Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
- copyArgumentTypes() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
- copyHelper(Collection<T>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
-
This method generates a deep copy of the given collection of RelationalFormula
- correct - Variable in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult
-
true if the found models are also in the solution files.
- correctModels - Variable in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult
- CorsResponseFilter - Class in net.sf.tweety.web
-
For enabling cross-origin resource sharing
- CorsResponseFilter() - Constructor for class net.sf.tweety.web.CorsResponseFilter
- COUNT - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
- counter - Static variable in class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
-
A global counter for IDs.
- counterarguments() - Method in class net.sf.tweety.arg.delp.TestQueries
- countering() - Method in class net.sf.tweety.arg.delp.TestArguments
- CountingUtilityFunction - Class in net.sf.tweety.agents.dialogues.structured
-
This class represents a counting utility function, i.e.
- CountingUtilityFunction(Collection<? extends Proposition>) - Constructor for class net.sf.tweety.agents.dialogues.structured.CountingUtilityFunction
-
Creates a new counting utility function for the given focal set.
- CParser - Class in net.sf.tweety.action.description.parser
-
This class implements a parser for an Action Description in C.
- CParser() - Constructor for class net.sf.tweety.action.description.parser.CParser
- CReasoner - Class in net.sf.tweety.logics.cl.reasoner
-
This class models a c-reasoner for conditional logic.
- CReasoner() - Constructor for class net.sf.tweety.logics.cl.reasoner.CReasoner
- CReasonerExample - Class in net.sf.tweety.logics.cl.examples
- CReasonerExample() - Constructor for class net.sf.tweety.logics.cl.examples.CReasonerExample
- create(String) - Static method in enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
- createBatchFile(List<String>) - Method in class net.sf.tweety.arg.delp.TestDeLP
- createBeliefbaseControl() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
-
Helper method: Creates the belief base control panel, there one can change the ordering of the belief bases for the revision and add or remove belief bases.
- createCompareView() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
-
Helper method: Creates the controls to show the comparison between the two selected revision methods it is located at the center of this view.
- createConstant(String, DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
- createConstraintMatrix(PclBeliefSet, Set<PossibleWorld>) - Static method in class net.sf.tweety.logics.pcl.util.OjAlgoPclUtils
-
Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
- createEmptyFormula() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
- createEmptyFormula() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
- createEmptyFormula() - Method in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
- createEmptyFormula() - Method in class net.sf.tweety.logics.dl.syntax.Intersection
- createEmptyFormula() - Method in class net.sf.tweety.logics.dl.syntax.Union
- createEmptyFormula() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
- createEmptyFormula() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
- createEmptyFormula() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
- createEmptyFormula() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
- createEmptyFormula() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- createEmptySignature() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- createEmptySignature() - Method in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
- createEmptySignature() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- createEmptySignature() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- createEmptySignature() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- createEmptySignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- createInstance(Class<T>) - Static method in class net.sf.tweety.logics.translators.Translator
- createState() - Method in class net.sf.tweety.arg.adf.sat.IncrementalSatSolver
- createState() - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
- createTestSet(RdlParser, String...) - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
- createTmpDimacsFile(Collection<PlFormula>) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
-
Creates a temporary file in Dimacs format and also returns a mapping between formulas and clauses.
- createTmpDimacsFile(Collection<PlFormula>, List<Proposition>) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
-
Creates a temporary file in Dimacs format with the given proposition2variable mapping.
- createTranslateMap() - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
- createTranslateMap() - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
- createTranslateMap() - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
- createTranslateMap() - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
- createTranslateMap() - Method in class net.sf.tweety.logics.translators.Translator
- createUpperBar() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
-
Helper method: Creates the control bar at the top of this view which allows the user to change the revision operators used for comparison.
- createVariables(int) - Static method in class net.sf.tweety.logics.pcl.util.OjAlgoPclUtils
-
Create (non-negative) variables for the probabilities of possible worlds.
- createWithNullArg() - Method in class net.sf.tweety.arg.delp.TestDTree
- createWithNullConclusion1() - Method in class net.sf.tweety.arg.delp.TestArguments
- createWithNullConclusion2() - Method in class net.sf.tweety.arg.delp.TestArguments
- creation() - Method in class net.sf.tweety.arg.delp.TestDTree
- creation() - Method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
- creationFailure() - Method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
- CredibilityCategorizer - Class in net.sf.tweety.beliefdynamics.mas
-
This class implements a credibility-based categorizer that works like the classical categorizer but dismisses arguments where the least credible agent which uttered a formula in that argument is not as least as credible as the least credible agent which uttered a formula of the parent argument.
- CredibilityCategorizer(Collection<InformationObject<PlFormula>>, Order<Agent>) - Constructor for class net.sf.tweety.beliefdynamics.mas.CredibilityCategorizer
-
Creates a new credibility categorizer that is guided by the giving information which agents uttered the formulas and the credibility order.
- CredibilityComparer(Collection<InformationObject<PlFormula>>, Order<Agent>) - Constructor for class net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator.CredibilityComparer
- credibilityOrder - Variable in class net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet
-
The subjective credibility order of the agent who owns this belief set.
- CredibilityRevision<T extends Formula> - Class in net.sf.tweety.beliefdynamics
-
Abstract base class for a revision process on belief bases of type TBeliefBase, it provides a method to revise one belief base with another and a method to revise a ordered list of belief bases.
- CredibilityRevision - Class in net.sf.tweety.lp.asp.beliefdynamics.revision
-
Implements the credibility revision approach for ASP described in Kruempelmann et al.
- CredibilityRevision() - Constructor for class net.sf.tweety.beliefdynamics.CredibilityRevision
- CredibilityRevision() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
-
Default Ctor: Do not forget to set the solver
- CredibilityRevision(ASPSolver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
-
Ctor: setting the solver at construction time
- CredibilityRevision(ASPSolver, int) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
- CredibilityRevision.AnswersetProcessing - Interface in net.sf.tweety.lp.asp.beliefdynamics.revision
-
interface defines a method to process the extended answer sets of the credibility revision to generate the new ELP.
- CredibilityRevision.DefaultBehavior - Class in net.sf.tweety.lp.asp.beliefdynamics.revision
-
This class implements a default behavior for the processing of the answer sets of the credibility logic programs.
- CredibilityRevisionIterative<T extends Formula> - Class in net.sf.tweety.beliefdynamics
-
Implements the list based method of the Revision interface by iterative calling the revision method which revise two belief bases.
- CredibilityRevisionIterative() - Constructor for class net.sf.tweety.beliefdynamics.CredibilityRevisionIterative
- CredibilityRevisionNonIterative<T extends Formula> - Class in net.sf.tweety.beliefdynamics
-
Implements the revision method with two belief bases by delegating the processing to the revision method bases on an ordered list of belief bases.
- CredibilityRevisionNonIterative() - Constructor for class net.sf.tweety.beliefdynamics.CredibilityRevisionNonIterative
- CredibilityTest - Class in net.sf.tweety.lp.asp.beliefdynamics.revision
-
Tests the revision method described in Kruempelmann et al.
- CredibilityTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
- credOrder - Variable in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
-
The credibility order used to guide the comparison.
- CREDULOUS - net.sf.tweety.commons.InferenceMode
- criteria - Variable in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
-
the (regular expression) validation criteria a given input string needs to fulfill e.g.: "(/?([a-zA-Z0-9])(/[a-zA-Z0-9_\\-\\.])*(.[a-z]+))"
- criterion - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
- CriterionOptionHandler - Class in net.sf.tweety.arg.delp.semantics
- CriterionOptionHandler(CmdLineParser, OptionDef, Setter<? super ComparisonCriterion>) - Constructor for class net.sf.tweety.arg.delp.semantics.CriterionOptionHandler
- CrMasArgumentativeRevisionOperator - Class in net.sf.tweety.beliefdynamics.operators
-
This class is an exemplary instantiation of a revision operator based on deductive argumentation and credibilities where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the credibility categorizer
- CrMasArgumentativeRevisionOperator() - Constructor for class net.sf.tweety.beliefdynamics.operators.CrMasArgumentativeRevisionOperator
- CrMasBeliefSet<T extends Formula,S extends Signature> - Class in net.sf.tweety.beliefdynamics.mas
-
This class represents belief sets for credibility-based agents multi-agent systems.
- CrMasBeliefSet(Order<Agent>, S) - Constructor for class net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet
-
Creates a new belief set with the given credibility order.
- CrMasExample - Class in net.sf.tweety.beliefdynamics.examples
-
Example code on using belief operators in multi-agent settings.
- CrMasExample() - Constructor for class net.sf.tweety.beliefdynamics.examples.CrMasExample
- CrMasRevisionWrapper<T extends Formula> - Class in net.sf.tweety.beliefdynamics.mas
-
This class is a wrapper for a revision for formulas of type T that is used to revise information objects.
- CrMasRevisionWrapper(MultipleBaseRevisionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.mas.CrMasRevisionWrapper
-
Creates a new revision with the given wrapped revision.
- CrMasSimpleRevisionOperator - Class in net.sf.tweety.beliefdynamics.operators
-
This revision operator accepts only those pieces of information for revision where the credibility of the source is at least as high as the credibility of the agent which proves the complement.
- CrMasSimpleRevisionOperator() - Constructor for class net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator
- CrMasSimpleRevisionOperator.CredibilityComparer - Class in net.sf.tweety.beliefdynamics.operators
-
Private extension of credibility comparer
- crossover(Map<FloatVariable, Term>, Map<FloatVariable, Term>) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
-
Makes a crossover of the two individuals
- CrossValidator<S extends Observation,T extends Category> - Class in net.sf.tweety.machinelearning
-
Performs cross-validation in a classifier, i.e.
- CrossValidator(int) - Constructor for class net.sf.tweety.machinelearning.CrossValidator
-
Creates a new cross-validator with the given number of partitions.
- CSP - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
- CspInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements the inconsistency measure I_CSP from [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.
- CspInconsistencyMeasure(MusEnumerator<S>, Solver) - Constructor for class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure
-
Creates a new measure that uses the given MUS enumerator and Integer programming solver.
- CspInconsistencyMeasure(SimpleFunction<Double, Double>, MusEnumerator<S>, Solver) - Constructor for class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure
-
Creates a new measure that uses the given measure function, MUS enumerator, and Integer programming solver
- CspInconsistencyMeasureTest - Class in net.sf.tweety.logics.pl.test
- CspInconsistencyMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
- csvDisplay() - Method in class net.sf.tweety.agents.sim.SimulationResult
-
Returns a CSV representation of the result.
- CTransitionSystemCalculator - Class in net.sf.tweety.action.description.reasoner
-
This class calculates the transition system as it is described by an action description in the action language C using extended logic programming with an approach from: Representing Transition Systems by Logic Programs.
- CTransitionSystemCalculator(ASPSolver) - Constructor for class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator
-
Creates a new transition system calculator with the given interface to an answer set solver.
- culpabilityMeasure - Variable in class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop
-
The culpability measure used by this machine shop.
- culpabilityMeasure - Variable in class net.sf.tweety.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop
-
The culpability measure this machine shop bases on.
- culpabilityMeasure - Variable in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
-
The culpability measure used by this machine shop.
- culpabilityMeasure(PclBeliefSet, ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
- culpabilityMeasure(PclBeliefSet, ProbabilisticConditional) - Method in interface net.sf.tweety.logics.pcl.analysis.SignedCulpabilityMeasure
- culpabilityMeasure(T, S) - Method in interface net.sf.tweety.logics.commons.analysis.CulpabilityMeasure
-
Returns the degree of responsibility of the given formula to cause inconsistency in the given belief set (NOTE: the formula should be in the given belief set).
- culpabilityMeasure(T, S) - Method in class net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure
- CulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>> - Interface in net.sf.tweety.logics.commons.analysis
-
Classes implementing this interface represent culpability measures, i.e.
- culpVector - Variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
-
The culpability vector.
- cumulativeTime - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
-
Sum of all steps.
- curChar - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
- curChar - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
- curChar - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
- curChar - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
- curChar - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
- curChar - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
- curLexState - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
- curLexState - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
- curLexState - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
- curLexState - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
- curLexState - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
- curLexState - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
- CURLY_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- CURLY_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- CURLY_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- CURLY_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- currendIdx - Variable in class net.sf.tweety.agents.RoundRobinProtocol
-
The index of the agent who may perform the next action.
- currentItem - Variable in class net.sf.tweety.commons.util.DefaultSubsetIterator
-
The number of the current item as a bit set.
- currentLength - Variable in class net.sf.tweety.logics.pl.util.EnumeratingIterator
-
The current length
- currentLine - Variable in class net.sf.tweety.logics.pl.util.TextfileIterator
-
the last read line
- currentSize - Variable in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
-
The size of the currently generated theories.
- currentSize - Variable in class net.sf.tweety.commons.util.IncreasingSubsetIterator
-
The current size of the subsets generated.
- currentTheories - Variable in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
-
The set of all Dung theories with cntArguments arguments and cntAttacks attacks.
- currentToken - Variable in exception net.sf.tweety.arg.delp.parser.ParseException
-
This is the last token that has been consumed successfully.
- currentToken - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
-
This is the last token that has been consumed successfully.
- currentToken - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
-
This is the last token that has been consumed successfully.
- currentToken - Variable in exception net.sf.tweety.lp.asp.parser.ParseException
-
This is the last token that has been consumed successfully.
- currentToken - Variable in exception net.sf.tweety.preferences.io.ParseException
- currentValue - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
Current inconsistency value.
- currentValue - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
-
Current inconsistency value.
- CustomStringListCommandParameter - Class in net.sf.tweety.plugin.parameter
-
This class extends the string list command parameter with functionality to define valid strings with regular expressions.
- CustomStringListCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
-
constructor for the custom string list parameter with id and description
- CustomStringListCommandParameter(String, String, String) - Constructor for class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
-
constructor for the custom string list parameter with id, description and criteria
- CygwinShell - Class in net.sf.tweety.commons.util
-
Cygwin shell.
- CygwinShell(String) - Constructor for class net.sf.tweety.commons.util.CygwinShell
All Classes All Packages