Uses of Class
net.sf.tweety.commons.BeliefSet

Packages that use BeliefSet

Package	Description
net.sf.tweety.action.description.syntax
net.sf.tweety.action.query.syntax
net.sf.tweety.agents.dialogues
net.sf.tweety.agents.dialogues.structured
net.sf.tweety.arg.bipolar.syntax
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.deductive.syntax
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung.syntax
net.sf.tweety.arg.lp.syntax
net.sf.tweety.arg.prob.syntax
net.sf.tweety.arg.saf.syntax
net.sf.tweety.arg.social.syntax
net.sf.tweety.beliefdynamics.mas
net.sf.tweety.commons
net.sf.tweety.commons.postulates
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.dl.syntax
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.qbf.reasoner
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rpcl.syntax

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	AbstractBipolarFramework	This class implements a bipolar abstract argumentation framework with attack and support relations.
class	DeductiveArgumentationFramework	This class implements a bipolar abstract argumentation theory with support in a deductive sense.
class	EvidentialArgumentationFramework	This class implements a bipolar abstract argumentation theory with support in an evidential sense.
class	NecessityArgumentationFramework	This class implements a bipolar abstract argumentation framework with necessities.

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.
class	WeightedDungTheory	Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings

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.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.