Uses of Interface
net.sf.tweety.commons.BeliefBase

Packages that use BeliefBase

Package	Description
net.sf.tweety.action.description.syntax
net.sf.tweety.action.query.analysis
net.sf.tweety.action.query.syntax
net.sf.tweety.agents.dialogues
net.sf.tweety.agents.dialogues.structured
net.sf.tweety.arg.aba.parser
net.sf.tweety.arg.aba.syntax
net.sf.tweety.arg.adf.syntax.adf
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.syntax
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.analysis
net.sf.tweety.logics.bpm.syntax
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.commons.syntax.interfaces
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.analysis
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.syntax
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

Uses of BeliefBase in net.sf.tweety.action.description.syntax

Classes in net.sf.tweety.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 net.sf.tweety.action.query.analysis

Methods in net.sf.tweety.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 net.sf.tweety.action.query.syntax

Classes in net.sf.tweety.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: Action Languages.

Uses of BeliefBase in net.sf.tweety.agents.dialogues

Classes in net.sf.tweety.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 net.sf.tweety.agents.dialogues.structured

Classes in net.sf.tweety.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 net.sf.tweety.arg.aba.parser

Constructor parameters in net.sf.tweety.arg.aba.parser with type arguments of type BeliefBase

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

Uses of BeliefBase in net.sf.tweety.arg.aba.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.adf.syntax.adf

Subinterfaces of BeliefBase in net.sf.tweety.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.

Classes in net.sf.tweety.arg.adf.syntax.adf that implement BeliefBase

Modifier and Type	Class	Description
class	ExtendedAbstractDialecticalFramework	Extended in the sense of the addition of arguments and links to an existing ADF.
class	GraphAbstractDialecticalFramework	Internally represented as a graph-like structure.

Uses of BeliefBase in net.sf.tweety.arg.aspic.parser

Constructor parameters in net.sf.tweety.arg.aspic.parser with type arguments of type BeliefBase

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

Uses of BeliefBase in net.sf.tweety.arg.aspic.syntax

Classes in net.sf.tweety.arg.aspic.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	AspicArgumentationTheory<T extends Invertable>

Uses of BeliefBase in net.sf.tweety.arg.bipolar.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.deductive.semantics

Classes in net.sf.tweety.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 net.sf.tweety.arg.deductive.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.delp.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.dung.syntax

Classes in net.sf.tweety.arg.dung.syntax that implement BeliefBase

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 BeliefBase in net.sf.tweety.arg.lp.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.prob.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.saf.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.social.syntax

Classes in net.sf.tweety.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 net.sf.tweety.beliefdynamics.mas

Classes in net.sf.tweety.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 net.sf.tweety.commons

Classes in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.commons that return BeliefBase

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

Methods in net.sf.tweety.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 net.sf.tweety.commons.analysis

Classes in net.sf.tweety.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 net.sf.tweety.logics.bpm.syntax

Classes in net.sf.tweety.logics.bpm.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	BpmnModel

Uses of BeliefBase in net.sf.tweety.logics.cl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.commons.analysis

Classes in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax.interfaces

Subinterfaces of BeliefBase in net.sf.tweety.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 net.sf.tweety.logics.dl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.fol.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.ml.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.mln.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.pcl.analysis

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.pcl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.pl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.rcl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.rdl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.rpcl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.lp.asp.syntax

Classes in net.sf.tweety.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 net.sf.tweety.lp.nlp.syntax

Classes in net.sf.tweety.lp.nlp.syntax that implement BeliefBase

Modifier and Type	Class	Description
class	NLPProgram	A nested logic program