Uses of Class
net.sf.tweety.commons.BeliefSet
-
-
-
Uses of BeliefSet in net.sf.tweety.action.description.syntax
Subclasses of BeliefSet in net.sf.tweety.action.description.syntax Modifier and Type Class Description class
ActionDescription<T extends CausalLaw>
This class represents an action description as a set of causal laws.class
CActionDescription
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. -
Uses of BeliefSet in net.sf.tweety.action.query.syntax
Subclasses of BeliefSet in net.sf.tweety.action.query.syntax Modifier and Type Class Description class
ActionQuerySet<T extends ActionQuery>
An Action Query Set consists of action queries in a specific query language and provides some common functionalities for such queries.class
SActionQuerySet
This class models a set of action queries in the language S which is based on the query language "P" discussed in the paper: Action Languages. -
Uses of BeliefSet in net.sf.tweety.agents.dialogues
Subclasses of BeliefSet in net.sf.tweety.agents.dialogues Modifier and Type Class Description class
ExecutableDungTheory
This class packs a Dung theory into an executable object. -
Uses of BeliefSet in net.sf.tweety.agents.dialogues.structured
Subclasses of BeliefSet in net.sf.tweety.agents.dialogues.structured Modifier and Type Class Description class
PerceivableStructuredArgumentationFramework
This class packs a structured argumentation framework into a perceivable object. -
Uses of BeliefSet in net.sf.tweety.arg.bipolar.syntax
Subclasses of BeliefSet in net.sf.tweety.arg.bipolar.syntax Modifier and Type Class Description class
BipolarArgFramework
This class implements a bipolar abstract argumentation theory with support in a deductive sense.class
EvidentialArgSystem
This class implements a bipolar abstract argumentation theory with support in an evidential sense. -
Uses of BeliefSet in net.sf.tweety.arg.deductive.semantics
Subclasses of BeliefSet in net.sf.tweety.arg.deductive.semantics Modifier and Type Class Description class
CompilationNode
Instances of this class represent nodes in the compilation of a knowledge base, i.e. -
Uses of BeliefSet in net.sf.tweety.arg.deductive.syntax
Subclasses of BeliefSet in net.sf.tweety.arg.deductive.syntax Modifier and Type Class Description class
DeductiveKnowledgeBase
Instances of this class represent deductive knowledge bases, i.e.class
SimplePlLogicDeductiveKnowledgebase
-
Uses of BeliefSet in net.sf.tweety.arg.delp.syntax
Subclasses of BeliefSet in net.sf.tweety.arg.delp.syntax Modifier and Type Class Description class
DefeasibleLogicProgram
This class models a defeasible logic program (DeLP). -
Uses of BeliefSet in net.sf.tweety.arg.dung.syntax
Subclasses of BeliefSet in net.sf.tweety.arg.dung.syntax Modifier and Type Class Description class
DungTheory
This class implements an abstract argumentation theory in the sense of Dung. -
Uses of BeliefSet in net.sf.tweety.arg.lp.syntax
Subclasses of BeliefSet in net.sf.tweety.arg.lp.syntax Modifier and Type Class Description class
ArgumentationKnowledgeBase
Instances of this class represent the set of minimal arguments from a extended logic program -
Uses of BeliefSet in net.sf.tweety.arg.prob.syntax
Subclasses of BeliefSet in net.sf.tweety.arg.prob.syntax Modifier and Type Class Description class
ProbabilisticArgumentationFramework
This class implements the probabilistic argumentation framework approach of [Li, Oren, Norman. -
Uses of BeliefSet in net.sf.tweety.arg.saf.syntax
Subclasses of BeliefSet in net.sf.tweety.arg.saf.syntax Modifier and Type Class Description class
StructuredArgumentationFramework
This class represents a structured argumentation framework, i.e. -
Uses of BeliefSet in net.sf.tweety.arg.social.syntax
Subclasses of BeliefSet in net.sf.tweety.arg.social.syntax Modifier and Type Class Description class
SocialAbstractArgumentationFramework
This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins. -
Uses of BeliefSet in net.sf.tweety.beliefdynamics.mas
Subclasses of BeliefSet in net.sf.tweety.beliefdynamics.mas Modifier and Type Class Description class
CrMasBeliefSet<T extends Formula,S extends Signature>
This class represents belief sets for credibility-based agents multi-agent systems. -
Uses of BeliefSet in net.sf.tweety.commons
Classes in net.sf.tweety.commons with type parameters of type BeliefSet Modifier and Type Interface Description interface
BeliefSetIterator<T extends Formula,U extends BeliefSet<T,?>>
Classes implementing this interface are able to enumerate belief sets.class
BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>>
This abstract class models a random sampler for belief sets. -
Uses of BeliefSet in net.sf.tweety.commons.postulates
Classes in net.sf.tweety.commons.postulates with type parameters of type BeliefSet Modifier and Type Class Description class
PostulateEvaluator<T extends Formula,U extends BeliefSet<T,?>>
Evaluates some approach (reasoner, measure, etc.) wrt. -
Uses of BeliefSet in net.sf.tweety.logics.cl.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.cl.syntax Modifier and Type Class Description class
ClBeliefSet
This class models a belief set on conditional logic, i.e. -
Uses of BeliefSet in net.sf.tweety.logics.commons.analysis
Classes in net.sf.tweety.logics.commons.analysis with type parameters of type BeliefSet Modifier and Type Interface Description interface
CulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>>
Classes implementing this interface represent culpability measures, i.e.class
ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>>
This class implements the Shapley culpability measure.Methods in net.sf.tweety.logics.commons.analysis with parameters of type BeliefSet Modifier and Type Method Description Interpretation<B,S>
ConsistencyWitnessProvider. getWitness(BeliefSet<S,?> bs)
If the belief set is consistent this method returns some model of it or, if it is inconsistent, null.java.lang.Double
BeliefSetInconsistencyMeasure. inconsistencyMeasure(BeliefSet<S,?> beliefBase)
boolean
AbstractBeliefSetConsistencyTester. isConsistent(BeliefSet<T,?> beliefSet)
boolean
AbstractMusEnumerator. isConsistent(BeliefSet<S,?> beliefSet)
boolean
BeliefSetConsistencyTester. isConsistent(BeliefSet<T,?> beliefSet)
boolean
MusEnumerator. isConsistent(BeliefSet<S,?> beliefSet)
-
Uses of BeliefSet in net.sf.tweety.logics.dl.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.dl.syntax Modifier and Type Class Description class
DlBeliefSet
This class models a knowledge base for description logics. -
Uses of BeliefSet in net.sf.tweety.logics.fol.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.fol.syntax Modifier and Type Class Description class
FolBeliefSet
This class models a first-order knowledge base, i.e. -
Uses of BeliefSet in net.sf.tweety.logics.ml.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.ml.syntax Modifier and Type Class Description class
MlBeliefSet
This class models a modal knowledge base, i.e. -
Uses of BeliefSet in net.sf.tweety.logics.mln.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.mln.syntax Modifier and Type Class Description class
MarkovLogicNetwork
Instances of this class represent Markov Logic Networks [Domingos et. -
Uses of BeliefSet in net.sf.tweety.logics.pcl.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.pcl.syntax Modifier and Type Class Description class
PclBeliefSet
This class models a belief set on probabilistic conditional logic, i.e. -
Uses of BeliefSet in net.sf.tweety.logics.pcl.test
Fields in net.sf.tweety.logics.pcl.test with type parameters of type BeliefSet Modifier and Type Field Description (package private) InconsistencyMeasure<BeliefSet<ProbabilisticConditional,?>>
MinimalViolationInconsistencyMeasureLPSolveTest. inc
-
Uses of BeliefSet in net.sf.tweety.logics.pl.analysis
Methods in net.sf.tweety.logics.pl.analysis that return types with arguments of type BeliefSet Modifier and Type Method Description static InconsistencyMeasure<BeliefSet<PlFormula,?>>
InconsistencyMeasureFactory. getInconsistencyMeasure(InconsistencyMeasureFactory.Measure im)
Creates a new inconsistency measure of the given type with default settings. -
Uses of BeliefSet in net.sf.tweety.logics.pl.sat
Methods in net.sf.tweety.logics.pl.sat with parameters of type BeliefSet Modifier and Type Method Description Interpretation<PlBeliefSet,PlFormula>
SatSolver. getWitness(BeliefSet<PlFormula,?> bs)
boolean
SatSolver. isConsistent(BeliefSet<PlFormula,?> beliefSet)
-
Uses of BeliefSet in net.sf.tweety.logics.pl.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.pl.syntax Modifier and Type Class Description class
PlBeliefSet
This class represents a knowledge base of propositional formulae. -
Uses of BeliefSet in net.sf.tweety.logics.qbf.reasoner
Methods in net.sf.tweety.logics.qbf.reasoner with parameters of type BeliefSet Modifier and Type Method Description boolean
QbfSolver. isConsistent(BeliefSet<PlFormula,?> beliefSet)
-
Uses of BeliefSet in net.sf.tweety.logics.rcl.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.rcl.syntax Modifier and Type Class Description class
RclBeliefSet
This class models a belief set on relational conditional logic, i.e. -
Uses of BeliefSet in net.sf.tweety.logics.rpcl.syntax
Subclasses of BeliefSet in net.sf.tweety.logics.rpcl.syntax Modifier and Type Class Description class
RpclBeliefSet
This class models a belief set on relational probabilistic conditional logic, i.e. -
Uses of BeliefSet in net.sf.tweety.web.services
Fields in net.sf.tweety.web.services declared as BeliefSet Modifier and Type Field Description (package private) BeliefSet<PlFormula,PlSignature>
InconsistencyMeasurementService.MeasurementCallee. beliefSet
Fields in net.sf.tweety.web.services with type parameters of type BeliefSet Modifier and Type Field Description (package private) InconsistencyMeasure<BeliefSet<PlFormula,?>>
InconsistencyMeasurementService.MeasurementCallee. measure
Constructors in net.sf.tweety.web.services with parameters of type BeliefSet Constructor Description MeasurementCallee(InconsistencyMeasure<BeliefSet<PlFormula,?>> measure, BeliefSet<PlFormula,PlSignature> beliefSet)
Constructor parameters in net.sf.tweety.web.services with type arguments of type BeliefSet Constructor Description MeasurementCallee(InconsistencyMeasure<BeliefSet<PlFormula,?>> measure, BeliefSet<PlFormula,PlSignature> beliefSet)
-