Uses of Interface
org.tweetyproject.commons.BeliefBase

Packages that use BeliefBase

Package	Description
org.tweetyproject.action.description.syntax
org.tweetyproject.action.query.analysis
org.tweetyproject.action.query.syntax
org.tweetyproject.agents.dialogues
org.tweetyproject.agents.dialogues.structured
org.tweetyproject.arg.aba.parser
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.adf.syntax.adf
org.tweetyproject.arg.aspic.parser
org.tweetyproject.arg.aspic.syntax
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.extended.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.arg.weighted.syntax
org.tweetyproject.beliefdynamics.mas
org.tweetyproject.commons
org.tweetyproject.commons.analysis
org.tweetyproject.comparator
org.tweetyproject.logics.bpm.parser.bpmn_to_petri
org.tweetyproject.logics.bpm.parser.xml_to_bpmn
org.tweetyproject.logics.bpm.syntax
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.pcl.analysis
org.tweetyproject.logics.pcl.syntax
org.tweetyproject.logics.petri.syntax.reachability_graph
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.rpcl.syntax
org.tweetyproject.lp.asp.syntax
org.tweetyproject.lp.nlp.syntax

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

Classes in org.tweetyproject.action.description.syntax that implement BeliefBase

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 BeliefBase in org.tweetyproject.action.query.analysis

Methods in org.tweetyproject.action.query.analysis with parameters of type BeliefBase

Modifier and Type	Method	Description
boolean	ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQuery)	Checks whether the given transition system satisfies the given action queries.
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQueries)

Uses of BeliefBase in org.tweetyproject.action.query.syntax

Classes in org.tweetyproject.action.query.syntax that implement BeliefBase

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 BeliefBase in org.tweetyproject.agents.dialogues

Classes in org.tweetyproject.agents.dialogues that implement BeliefBase

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

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

Classes in org.tweetyproject.agents.dialogues.structured that implement BeliefBase

Modifier and Type	Class	Description
class	PerceivableStructuredArgumentationFramework	This class packs a structured argumentation framework into a perceivable object.

Uses of BeliefBase in org.tweetyproject.arg.aba.parser

Constructor parameters in org.tweetyproject.arg.aba.parser with type arguments of type BeliefBase

Modifier	Constructor	Description
	AbaParser(Parser<? extends BeliefBase,? extends Formula> formulaparser)	Creates a new ABA parser.

Uses of BeliefBase in org.tweetyproject.arg.aba.syntax

Classes in org.tweetyproject.arg.aba.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	AbaTheory<T extends Formula>	An implementation of Assumption Based Argumentation.

Uses of BeliefBase in org.tweetyproject.arg.adf.syntax.adf

Subinterfaces of BeliefBase in org.tweetyproject.arg.adf.syntax.adf

Modifier and Type	Interface	Description
interface	AbstractDialecticalFramework	The implementing subtypes must ensure the following properties: Immutability All methods return a non-null value if its parameters, e.g.

Uses of BeliefBase in org.tweetyproject.arg.aspic.parser

Constructor parameters in org.tweetyproject.arg.aspic.parser with type arguments of type BeliefBase

Modifier	Constructor	Description
	AspicParser(Parser<? extends BeliefBase,? extends Formula> formulaparser, RuleFormulaGenerator<T> rfg)	Constructs a new instance

Uses of BeliefBase in org.tweetyproject.arg.aspic.syntax

Classes in org.tweetyproject.arg.aspic.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	AspicArgumentationTheory<T extends Invertable>	According to Modgil and Prakken, this represents an argumentation theory (AS, KB) with - AS argumentation system (e.g.

Uses of BeliefBase in org.tweetyproject.arg.bipolar.syntax

Classes in org.tweetyproject.arg.bipolar.syntax that implement BeliefBase

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 BeliefBase in org.tweetyproject.arg.deductive.semantics

Classes in org.tweetyproject.arg.deductive.semantics that implement BeliefBase

Modifier and Type	Class	Description
class	CompilationNode	Instances of this class represent nodes in the compilation of a knowledge base, i.e.

Uses of BeliefBase in org.tweetyproject.arg.deductive.syntax

Classes in org.tweetyproject.arg.deductive.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	DeductiveKnowledgeBase	Instances of this class represent deductive knowledge bases, i.e.
class	SimplePlLogicDeductiveKnowledgebase	According to http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf a simple logic knowledge base (propositional version only in this implementation) is a set of literals---in this implementation rules with empty body---and a set of simple rules, @see SimplePlRule

Uses of BeliefBase in org.tweetyproject.arg.delp.syntax

Classes in org.tweetyproject.arg.delp.syntax that implement BeliefBase

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

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

Classes in org.tweetyproject.arg.dung.causal.syntax that implement BeliefBase

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 BeliefBase in org.tweetyproject.arg.dung.syntax

Subinterfaces of BeliefBase in org.tweetyproject.arg.dung.syntax

Modifier and Type	Interface	Description
interface	ArgumentationFramework<Arg>	Represents a generic interface for argumentation frameworks in the context of Dung's theory.

Classes in org.tweetyproject.arg.dung.syntax that implement BeliefBase

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 BeliefBase in org.tweetyproject.arg.extended.syntax

Classes in org.tweetyproject.arg.extended.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	ExtendedTheory	Implementation of extended argumentation frameworks in the sense of Modgil
class	RecursiveExtendedTheory	Implementation of argumentation frameworks with recursive attacks in the sense of Baroni et al.

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

Classes in org.tweetyproject.arg.lp.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	ArgumentationKnowledgeBase	Instances of this class represent the set of minimal arguments from a extended logic program

Uses of BeliefBase in org.tweetyproject.arg.prob.syntax

Classes in org.tweetyproject.arg.prob.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	PartialProbabilityAssignment	A partial probability assignment for abstract argumentation theories.
class	ProbabilisticArgumentationFramework	This class implements the probabilistic argumentation framework approach of [Li, Oren, Norman.

Uses of BeliefBase in org.tweetyproject.arg.saf.syntax

Classes in org.tweetyproject.arg.saf.syntax that implement BeliefBase

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

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

Classes in org.tweetyproject.arg.setaf.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	SetAf	This class implements a SetAF in the sense of Nielson/Parson:

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

Classes in org.tweetyproject.arg.social.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	SocialAbstractArgumentationFramework	This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.

Uses of BeliefBase in org.tweetyproject.arg.weighted.syntax

Classes in org.tweetyproject.arg.weighted.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	WeightedArgumentationFramework<T>	This class implements a weighted abstract argumentation theory (WAF) using a C-Semiring.

Uses of BeliefBase in org.tweetyproject.beliefdynamics.mas

Classes in org.tweetyproject.beliefdynamics.mas that implement BeliefBase

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

Classes in org.tweetyproject.commons with type parameters of type BeliefBase

Modifier and Type	Class	Description
class	AbstractInterpretation<B extends BeliefBase,S extends Formula>	An abstract interpretation for some logical language.
interface	Interpretation<B extends BeliefBase,S extends Formula>	An interpretation for some logical language.
interface	InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>	An iterator over interpretations.
class	InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula>	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
interface	ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
class	Parser<T extends BeliefBase,S extends Formula>	This class models an abstract parser for belief bases and formulas.
interface	QualitativeReasoner<B extends BeliefBase,F extends Formula>	This interface represents a general contract for qualitative reasoners, which are objects that can query a belief base with a specific formula and return a boolean result (`TRUE` or `FALSE`) based on the reasoning process.
interface	QuantitativeReasoner<B extends BeliefBase,F extends Formula>	The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
interface	Reasoner<O,B extends BeliefBase,F extends Formula>	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons that implement BeliefBase

Modifier and Type	Class	Description
class	BeliefSet<T extends Formula,S extends Signature>	This class models a belief set, i.e.

Methods in org.tweetyproject.commons that return BeliefBase

Modifier and Type	Method	Description
BeliefBase	BeliefBaseMachineShop.repair(BeliefBase beliefBase)	Repairs the given belief base, i.e.

Methods in org.tweetyproject.commons with parameters of type BeliefBase

Modifier and Type	Method	Description
BeliefBase	BeliefBaseMachineShop.repair(BeliefBase beliefBase)	Repairs the given belief base, i.e.

Uses of BeliefBase in org.tweetyproject.commons.analysis

Classes in org.tweetyproject.commons.analysis with type parameters of type BeliefBase

Modifier and Type	Class	Description
class	DrasticDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class models the drastic distance measure between interpretations, see [Grant, Hunter.
interface	InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	Classes implementing this interface represent distance functions between two interpretations.

Uses of BeliefBase in org.tweetyproject.comparator

Classes in org.tweetyproject.comparator with type parameters of type BeliefBase

Modifier and Type	Class	Description
class	GeneralComparator<T extends Formula,R extends BeliefBase>	This abstract class is the common ancestor for semantical approaches to ranking, i.e.
class	LatticePartialOrder<T extends Formula,R extends BeliefBase>	This class models comparable element ranking by representing the acceptability of comparable elements in a graph-based structure.
class	NumericalPartialOrder<T extends Formula,R extends BeliefBase>	This class provides an acceptability interpretation of arguments by assigning them real values.

Uses of BeliefBase in org.tweetyproject.logics.bpm.parser.bpmn_to_petri

Methods in org.tweetyproject.logics.bpm.parser.bpmn_to_petri that return BeliefBase

Modifier and Type	Method	Description
BeliefBase	PetriNetParser.parseBeliefBase(Reader reader)

Uses of BeliefBase in org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Methods in org.tweetyproject.logics.bpm.parser.xml_to_bpmn that return BeliefBase

Modifier and Type	Method	Description
BeliefBase	RootParser.parseBeliefBase(Reader reader)
BeliefBase	RootParser.parseFile(File xmlFile)	Parse the XML file to an instance of the BpmnModel class

Uses of BeliefBase in org.tweetyproject.logics.bpm.syntax

Classes in org.tweetyproject.logics.bpm.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	BpmnModel	A class to represent a BPMN Model

Uses of BeliefBase in org.tweetyproject.logics.cl.syntax

Classes in org.tweetyproject.logics.cl.syntax that implement BeliefBase

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

Uses of BeliefBase in org.tweetyproject.logics.commons.analysis

Classes in org.tweetyproject.logics.commons.analysis with type parameters of type BeliefBase

Modifier and Type	Interface	Description
interface	ConsistencyTester<T extends BeliefBase>	Classes implementing this interface are capable of testing whether a given belief base is consistent.
interface	ConsistencyWitnessProvider<B extends BeliefBase,S extends Formula>	Provides methods for returning some model (if it exists) of a set of formulas.
class	DHitInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-hit inconsistency measure from [Grant, Hunter.
class	DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-max inconsistency measure from [Grant, Hunter.
class	DSumInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-sum inconsistency measure from [Grant, Hunter.
class	EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula>	This class implements the Eta-inconsistency measure, cf.
class	HsInconsistencyMeasure<B extends BeliefBase,S extends Formula>	This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation].
interface	InconsistencyMeasure<T extends BeliefBase>	Classes implementing this interface represent inconsistency measures on belief bases.

Uses of BeliefBase in org.tweetyproject.logics.commons.syntax.interfaces

Subinterfaces of BeliefBase in org.tweetyproject.logics.commons.syntax.interfaces

Modifier and Type	Interface	Description
interface	LogicProgram<C extends Formula,P extends Formula,T extends Rule<?,?>>	An interface for a logic program, which is a set of rules.

Uses of BeliefBase in org.tweetyproject.logics.dl.syntax

Classes in org.tweetyproject.logics.dl.syntax that implement BeliefBase

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

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

Classes in org.tweetyproject.logics.fol.syntax that implement BeliefBase

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

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

Classes in org.tweetyproject.logics.ml.syntax that implement BeliefBase

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

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

Classes in org.tweetyproject.logics.mln.syntax that implement BeliefBase

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

Uses of BeliefBase in org.tweetyproject.logics.pcl.analysis

Methods in org.tweetyproject.logics.pcl.analysis that return BeliefBase

Modifier and Type	Method	Description
BeliefBase	AbstractCreepingMachineShop.repair(BeliefBase beliefBase)
BeliefBase	BalancedMachineShop.repair(BeliefBase beliefBase)
BeliefBase	ConvexAggregatingMaxConsMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	ConvexAggregatingMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	DistanceMinimizationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	GeneralizedMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MaximumEntropyMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimalViolationEuclideanMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimumAggregatedDistanceMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimumViolationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	PclBeliefSetQuadraticErrorMinimizationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	PenalizingCreepingMachineShop.repair(BeliefBase beliefBase)

Methods in org.tweetyproject.logics.pcl.analysis with parameters of type BeliefBase

Modifier and Type	Method	Description
BeliefBase	AbstractCreepingMachineShop.repair(BeliefBase beliefBase)
BeliefBase	BalancedMachineShop.repair(BeliefBase beliefBase)
BeliefBase	ConvexAggregatingMaxConsMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	ConvexAggregatingMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	DistanceMinimizationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	GeneralizedMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MaximumEntropyMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimalViolationEuclideanMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimumAggregatedDistanceMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimumViolationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	PclBeliefSetQuadraticErrorMinimizationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	PenalizingCreepingMachineShop.repair(BeliefBase beliefBase)

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

Classes in org.tweetyproject.logics.pcl.syntax that implement BeliefBase

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

Uses of BeliefBase in org.tweetyproject.logics.petri.syntax.reachability_graph

Classes in org.tweetyproject.logics.petri.syntax.reachability_graph that implement BeliefBase

Modifier and Type	Class	Description
class	ReachabilityGraph	A class to describe the graph of reachability between possible markings of a Petri net

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph that return BeliefBase

Modifier and Type	Method	Description
BeliefBase	ReachabilityGraphParser.parseBeliefBase(Reader reader)

Uses of BeliefBase in org.tweetyproject.logics.pl.analysis

Classes in org.tweetyproject.logics.pl.analysis with type parameters of type BeliefBase

Modifier and Type	Interface	Description
interface	MinimalModelProvider<A extends Formula,B extends BeliefBase,C extends Formula>	MinimalModelProvider class

Uses of BeliefBase in org.tweetyproject.logics.pl.syntax

Classes in org.tweetyproject.logics.pl.syntax that implement BeliefBase

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

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

Classes in org.tweetyproject.logics.rcl.syntax that implement BeliefBase

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

Uses of BeliefBase in org.tweetyproject.logics.rdl.syntax

Classes in org.tweetyproject.logics.rdl.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	DefaultTheory	Models a default theory in Reiter's default logic, see [R.

Uses of BeliefBase in org.tweetyproject.logics.rpcl.syntax

Classes in org.tweetyproject.logics.rpcl.syntax that implement BeliefBase

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

Uses of BeliefBase in org.tweetyproject.lp.asp.syntax

Classes in org.tweetyproject.lp.asp.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	Program	This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.

Uses of BeliefBase in org.tweetyproject.lp.nlp.syntax

Classes in org.tweetyproject.lp.nlp.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	NLPProgram	Represents a nested logic program (NLP) in the form of a set of rules.