Uses of Class
org.tweetyproject.commons.BeliefSet

Packages that use BeliefSet

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

Uses of BeliefSet in org.tweetyproject.action.description.syntax

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.action.query.syntax

Subclasses of BeliefSet in org.tweetyproject.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: [Gelfond, Michael and Lifschitz, Vladimir: Action Languages.

Uses of BeliefSet in org.tweetyproject.agents.dialogues

Subclasses of BeliefSet in org.tweetyproject.agents.dialogues

Modifier and Type	Class	Description
class	ExecutableDungTheory	This class packs a Dung theory into an executable object.

Uses of BeliefSet in org.tweetyproject.agents.dialogues.structured

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.arg.bipolar.syntax

Subclasses of BeliefSet in org.tweetyproject.arg.bipolar.syntax

Modifier and Type	Class	Description
class	AbstractBipolarFramework	This class implements a bipolar abstract argumentation framework with attack and support relations.
class	AbstractEAFTheory<S extends Support>	A base class for implementing PEAFTheory and EAFTheory.
class	DeductiveArgumentationFramework	This class implements a bipolar abstract argumentation theory with support in a deductive sense.
class	EAFTheory	This class implements an abstract argumentation theory in the sense of Evidential Argumentation Frameworks (EAF).
class	EvidentialArgumentationFramework	This class implements a bipolar abstract argumentation theory with support in an evidential sense.
class	NamedPEAFTheory	This class inherits PEAFTheory to store additional information regarding the arguments inserted
class	NecessityArgumentationFramework	This class implements a bipolar abstract argumentation framework with necessities.
class	PEAFTheory	This class implements an abstract argumentation theory in the sense of Probabilistic Evidential Argumentation Frameworks (PrEAF).

Uses of BeliefSet in org.tweetyproject.arg.deductive.semantics

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.arg.deductive.syntax

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.arg.delp.syntax

Subclasses of BeliefSet in org.tweetyproject.arg.delp.syntax

Modifier and Type	Class	Description
class	DefeasibleLogicProgram	This class models a defeasible logic program (DeLP).

Uses of BeliefSet in org.tweetyproject.arg.dung.causal.syntax

Subclasses of BeliefSet in org.tweetyproject.arg.dung.causal.syntax

Modifier and Type	Class	Description
class	CausalKnowledgeBase	This class describes a causal knowledge base.
class	CausalModel	This class describes a causal model.
class	InducedTheory	This class describes an abstract argumentation framework that was induced by a CausalKnowledgeBase Reference "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022
class	KnowledgeBase	This class describes a knowledge base.

Uses of BeliefSet in org.tweetyproject.arg.dung.syntax

Subclasses of BeliefSet in org.tweetyproject.arg.dung.syntax

Modifier and Type	Class	Description
class	ClaimBasedTheory	implements claim based theory see: The Complexity Landscape of Claim-Augmented Argumentation Frameworks (Wolfgang Dvoˇr´ak Alexander Greßler Anna Rapberger StefanWoltran )
class	DungTheory	This class implements an abstract argumentation theory in the sense of Dung.
class	IncompleteTheory	implementation of incomplete argumentation frameworks
class	WeightedDungTheory	Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings

Uses of BeliefSet in org.tweetyproject.arg.lp.syntax

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.arg.prob.syntax

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.arg.saf.syntax

Subclasses of BeliefSet in org.tweetyproject.arg.saf.syntax

Modifier and Type	Class	Description
class	StructuredArgumentationFramework	This class represents a structured argumentation framework, i.e.

Uses of BeliefSet in org.tweetyproject.arg.setaf.syntax

Subclasses of BeliefSet in org.tweetyproject.arg.setaf.syntax

Modifier and Type	Class	Description
class	SetAf	This class implements a SetAF in the sense of Nielson/Parson: See Nielsen, Soren Holbech and Parsons, Simon.

Uses of BeliefSet in org.tweetyproject.arg.social.syntax

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.beliefdynamics.mas

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.commons

Classes in org.tweetyproject.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 org.tweetyproject.commons.postulates

Classes in org.tweetyproject.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 org.tweetyproject.logics.cl.syntax

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.logics.commons.analysis

Classes in org.tweetyproject.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	InconsistencyMeasureEvaluator<T extends Formula,U extends BeliefSet<T,?>>	This class provides functionality to quickly load or generate sample datasets and to use them to compare the results and performances of different inconsistency measure implementations.
class	InconsistencyMeasureReport<T extends Formula,U extends BeliefSet<T,?>>	This class summarizes the results of computing inconsistency values for some collection of knowledge bases using some set of inconsistency measures, including computation times and some statistics.
class	ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>>	This class implements the Shapley culpability measure.

Methods in org.tweetyproject.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.
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 org.tweetyproject.logics.dl.syntax

Subclasses of BeliefSet in org.tweetyproject.logics.dl.syntax

Modifier and Type	Class	Description
class	DlBeliefSet	This class models a knowledge base for description logics.

Uses of BeliefSet in org.tweetyproject.logics.fol.syntax

Subclasses of BeliefSet in org.tweetyproject.logics.fol.syntax

Modifier and Type	Class	Description
class	FolBeliefSet	This class models a first-order knowledge base, i.e.

Uses of BeliefSet in org.tweetyproject.logics.ml.syntax

Subclasses of BeliefSet in org.tweetyproject.logics.ml.syntax

Modifier and Type	Class	Description
class	MlBeliefSet	This class models a modal knowledge base, i.e.

Uses of BeliefSet in org.tweetyproject.logics.mln.syntax

Subclasses of BeliefSet in org.tweetyproject.logics.mln.syntax

Modifier and Type	Class	Description
class	MarkovLogicNetwork	Instances of this class represent Markov Logic Networks [Domingos et.

Uses of BeliefSet in org.tweetyproject.logics.pcl.syntax

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.logics.pl.analysis

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.sat

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.syntax

Subclasses of BeliefSet in org.tweetyproject.logics.pl.syntax

Modifier and Type	Class	Description
class	PlBeliefSet	This class represents a knowledge base of propositional formulae.

Uses of BeliefSet in org.tweetyproject.logics.qbf.reasoner

Methods in org.tweetyproject.logics.qbf.reasoner with parameters of type BeliefSet

Modifier and Type	Method	Description
boolean	QbfSolver.isConsistent(BeliefSet<PlFormula,?> beliefSet)

Uses of BeliefSet in org.tweetyproject.logics.rcl.syntax

Subclasses of BeliefSet in org.tweetyproject.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 org.tweetyproject.logics.rpcl.syntax

Subclasses of BeliefSet in org.tweetyproject.logics.rpcl.syntax

Modifier and Type	Class	Description
class	RpclBeliefSet	This class models a belief set on relational probabilistic conditional logic, i.e.