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

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

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

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

Modifier and Type	Interface	Description
interface	ArgumentationFramework<Arg>

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

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: See Nielsen, Soren Holbech and Parsons, Simon.

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.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>	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
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.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.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	A nested logic program