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

Packages that use BeliefBase

Package	Description
net.sf.tweety.action
net.sf.tweety.action.description
net.sf.tweety.action.query
net.sf.tweety.agents.dialogues
net.sf.tweety.agents.dialogues.structured
net.sf.tweety.arg.aba
net.sf.tweety.arg.aba.parser
net.sf.tweety.arg.aspic
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.deductive
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.delp
net.sf.tweety.arg.dung
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.lp
net.sf.tweety.arg.prob
net.sf.tweety.arg.prob.test.deductive
net.sf.tweety.arg.saf
net.sf.tweety.arg.social
net.sf.tweety.arg.social.semantics
net.sf.tweety.beliefdynamics.mas
net.sf.tweety.commons
net.sf.tweety.logics.cl
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.el.semantics
net.sf.tweety.logics.fol
net.sf.tweety.logics.fol.lang
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.ml
net.sf.tweety.logics.pcl
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pl
net.sf.tweety.logics.pl.lang
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.rcl
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rdl
net.sf.tweety.logics.rpcl
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.asp.util
net.sf.tweety.lp.nlp.syntax

Uses of BeliefBase in net.sf.tweety.action

Classes in net.sf.tweety.action that implement BeliefBase

Modifier and Type	Class and Description
class	ActionDescription<T extends CausalLaw> This class represents an action description as a set of causal laws.
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.

Methods in net.sf.tweety.action with parameters of type BeliefBase

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

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

Classes in net.sf.tweety.action.description that implement BeliefBase

Modifier and Type	Class and Description
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

Classes in net.sf.tweety.action.query that implement BeliefBase

Modifier and Type	Class and Description
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.

Methods in net.sf.tweety.action.query with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, BeliefBase actionQueries)

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

Classes in net.sf.tweety.agents.dialogues that implement BeliefBase

Modifier and Type	Class and 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 and Description
class	PerceivableStructuredArgumentationFramework This class packs a structured argumentation framework into a perceivable object.

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

Classes in net.sf.tweety.arg.aba that implement BeliefBase

Modifier and Type	Class and Description
class	ABATheory<T extends Formula>

Constructors in net.sf.tweety.arg.aba with parameters of type BeliefBase

Constructor and Description
CompleteReasoner(BeliefBase beliefBase, int inferenceType) Creates a new complete reasoner for the given knowledge base.
FlatABAReasoner(BeliefBase beliefBase, Semantics semantics, int inferencetype) Creates a new instance
GeneralABAReasoner(BeliefBase beliefBase, int inferenceType) Creates a new general reasoner for the given knowledge base.
IdealReasoner(BeliefBase beliefBase, int inferenceType) Creates a new ideal reasoner for the given knowledge base.
PreferredReasoner(BeliefBase beliefBase, int inferenceType) Creates a new preferred reasoner for the given knowledge base.
StableReasoner(BeliefBase beliefBase, int inferenceType) Creates a new stable reasoner for the given knowledge base.
WellFoundedReasoner(BeliefBase beliefBase, int inferenceType) Creates a new well-founded reasoner for the given knowledge base.

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

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

Modifier and Type	Field and Description
private Parser<? extends BeliefBase>	ABAParser.formulaparser Used to parse formulae

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

Constructor and Description
ABAParser(Parser<? extends BeliefBase> formulaparser) Create a new ABA parser

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

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

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

Constructors in net.sf.tweety.arg.aspic with parameters of type BeliefBase

Constructor and Description
AspicReasoner(BeliefBase beliefBase, int semantics, int inferencetype) Creates a new instance

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

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

Modifier and Type	Field and Description
private Parser<? extends BeliefBase>	AspicParser.formulaparser Used to parse formulae

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

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

Uses of BeliefBase in net.sf.tweety.arg.deductive

Classes in net.sf.tweety.arg.deductive that implement BeliefBase

Modifier and Type	Class and Description
class	DeductiveKnowledgeBase Instances of this class represent deductive knowledge bases, i.e.

Constructors in net.sf.tweety.arg.deductive with parameters of type BeliefBase

Constructor and Description
AbstractDeductiveArgumentationReasoner(BeliefBase beliefBase, Categorizer categorizer, Accumulator accumulator) Creates a new reasoner for the given belief base, categorizer, and accumulator.
CompilationReasoner(BeliefBase beliefBase, Categorizer categorizer, Accumulator accumulator) Creates a new compilation reasoner for the given belief base, categorizer, and accumulator.
SimpleReasoner(BeliefBase beliefBase, Categorizer categorizer, Accumulator accumulator) Creates a new reasoner for the given belief base, categorizer, and accumulator.

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

Classes in net.sf.tweety.arg.delp that implement BeliefBase

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

Constructors in net.sf.tweety.arg.delp with parameters of type BeliefBase

Constructor and Description
DelpAnswer(BeliefBase beliefBase, Formula query)
DelpReasoner(BeliefBase beliefBase, ComparisonCriterion comparisonCriterion) Creates a new DelpReasoner for the given delp.

Uses of BeliefBase in net.sf.tweety.arg.dung

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

Modifier and Type	Class and Description
class	DungTheory This class implements an abstract argumentation theory in the sense of Dung.

Methods in net.sf.tweety.arg.dung with parameters of type BeliefBase

Modifier and Type	Method and Description
static AbstractExtensionReasoner	AbstractExtensionReasoner.getReasonerForSemantics(BeliefBase beliefBase, Semantics semantics, int inferenceType) Creates a reasoner for the given semantics.

Constructors in net.sf.tweety.arg.dung with parameters of type BeliefBase

Constructor and Description
AbstractExtensionReasoner(BeliefBase beliefBase) Creates a new reasoner for the given knowledge base using sceptical inference.
AbstractExtensionReasoner(BeliefBase beliefBase, int inferenceType) Creates a new reasoner for the given knowledge base.
AdmissibleReasoner(BeliefBase beliefBase) Creates a new admissible reasoner for the given knowledge base using sceptical inference.
AdmissibleReasoner(BeliefBase beliefBase, int inferenceType) Creates a new admissible reasoner for the given knowledge base.
CF2Reasoner(BeliefBase beliefBase) Creates a new CF2 reasoner for the given knowledge base using sceptical inference.
CF2Reasoner(BeliefBase beliefBase, int inferenceType) Creates a new CF2 reasoner for the given knowledge base.
CompleteReasoner(BeliefBase beliefBase) Creates a new complete reasoner for the given knowledge base using sceptical inference.
CompleteReasoner(BeliefBase beliefBase, boolean useSatSolver) Creates a new complete reasoner for the given knowledge base using sceptical inference.
CompleteReasoner(BeliefBase beliefBase, int inferenceType) Creates a new complete reasoner for the given knowledge base.
CompleteReasoner(BeliefBase beliefBase, int inferenceType, boolean useSatSolver) Creates a new complete reasoner for the given knowledge base.
ConflictFreeReasoner(BeliefBase beliefBase) Creates a new conflict-free reasoner for the given knowledge base using sceptical inference.
ConflictFreeReasoner(BeliefBase beliefBase, int inferenceType) Creates a new conflict-free reasoner for the given knowledge base.
GroundReasoner(BeliefBase beliefBase) Creates a new ground reasoner for the given knowledge base using sceptical inference.
GroundReasoner(BeliefBase beliefBase, int inferenceType) Creates a new ground reasoner for the given knowledge base.
IdealReasoner(BeliefBase beliefBase) Creates a new ideal reasoner for the given knowledge base using sceptical inference.
IdealReasoner(BeliefBase beliefBase, int inferenceType) Creates a new ideal reasoner for the given knowledge base.
PreferredReasoner(BeliefBase beliefBase) Creates a new preferred reasoner for the given knowledge base using sceptical inference.
PreferredReasoner(BeliefBase beliefBase, int inferenceType) Creates a new preferred reasoner for the given knowledge base.
SccCompleteReasoner(BeliefBase beliefBase) Creates a new complete reasoner for the given knowledge base using sceptical inference.
SccCompleteReasoner(BeliefBase beliefBase, int inferenceType) Creates a new complete reasoner for the given knowledge base.
SemiStableReasoner(BeliefBase beliefBase) Creates a new semi-stable reasoner for the given knowledge base using sceptical inference.
SemiStableReasoner(BeliefBase beliefBase, int inferenceType) Creates a new semi-stable reasoner for the given knowledge base.
StableReasoner(BeliefBase beliefBase) Creates a new stable reasoner for the given knowledge base using sceptical inference.
StableReasoner(BeliefBase beliefBase, int inferenceType) Creates a new stable reasoner for the given knowledge base.
StageReasoner(BeliefBase beliefBase) Creates a new stage reasoner for the given knowledge base using sceptical inference.
StageReasoner(BeliefBase beliefBase, int inferenceType) Creates a new stage reasoner for the given knowledge base.
StratifiedLabelingReasoner(BeliefBase beliefBase) Creates a new reasoner for the given knowledge base using sceptical inference and grounded semantics.
StratifiedLabelingReasoner(BeliefBase beliefBase, Semantics semantics, int inferenceType) Creates a new reasoner for the given Dung theory, semantics, and inference type.

Uses of BeliefBase in net.sf.tweety.arg.dung.ldo.semantics

Methods in net.sf.tweety.arg.dung.ldo.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	LdoInterpretation.satisfies(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.arg.dung.semantics

Methods in net.sf.tweety.arg.dung.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	StratifiedLabeling.satisfies(BeliefBase beliefBase)
boolean	AbstractArgumentationInterpretation.satisfies(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.arg.lp

Classes in net.sf.tweety.arg.lp that implement BeliefBase

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

Constructors in net.sf.tweety.arg.lp with parameters of type BeliefBase

Constructor and Description
ArgumentationReasoner(BeliefBase beliefBase, AttackStrategy attack, AttackStrategy defence) Creates a new ArgumentationReasoner for the given belief base and parameterised by a notion of attack for the opponent and another notion of attack for the defense
LiteralReasoner(BeliefBase beliefBase, AttackStrategy attack, AttackStrategy defence) Creates a new reasoner for reasoning about literals in an extended logic program given by the beliefBase.

Uses of BeliefBase in net.sf.tweety.arg.prob

Classes in net.sf.tweety.arg.prob that implement BeliefBase

Modifier and Type	Class and 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.prob.test.deductive

Classes in net.sf.tweety.arg.prob.test.deductive that implement BeliefBase

Modifier and Type	Class and Description
class	DeductiveProbabilisticKnowledgebase This class represents a probabilistic knowledge base in the sense of [Hunter, Thimm, 2013, in preparation].

Constructors in net.sf.tweety.arg.prob.test.deductive with parameters of type BeliefBase

Constructor and Description
DeductiveArgMeReasoner(BeliefBase beliefBase, Attack attack) Creates a new reasoner for the given knowledge base and attack relation.

Uses of BeliefBase in net.sf.tweety.arg.saf

Classes in net.sf.tweety.arg.saf that implement BeliefBase

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

Constructors in net.sf.tweety.arg.saf with parameters of type BeliefBase

Constructor and Description
OutputReasoner(BeliefBase beliefBase, java.lang.Class<? extends AbstractExtensionReasoner> reasonerClass) Creates a new reasoner for the given knowledge base.

Uses of BeliefBase in net.sf.tweety.arg.social

Classes in net.sf.tweety.arg.social that implement BeliefBase

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

Constructors in net.sf.tweety.arg.social with parameters of type BeliefBase

Constructor and Description
IssReasoner(BeliefBase beliefBase, SimpleProductSemantics semantics, double tolerance) Creates a new reasoner for the given social abstract argumentation framework

Uses of BeliefBase in net.sf.tweety.arg.social.semantics

Methods in net.sf.tweety.arg.social.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	SocialMapping.satisfies(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.beliefdynamics.mas

Classes in net.sf.tweety.beliefdynamics.mas that implement BeliefBase

Modifier and Type	Class and Description
class	CrMasBeliefSet<T extends Formula> 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 and Description
class	BeliefBaseSampler<S extends BeliefBase> This abstract class models a sampler for belief bases.
class	Parser<T extends BeliefBase> This class models an abstract parser for belief bases and formulas.

Classes in net.sf.tweety.commons that implement BeliefBase

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

Fields in net.sf.tweety.commons declared as BeliefBase

Modifier and Type	Field and Description
private BeliefBase	Reasoner.beliefBase The knowledge base on which reasoning is performed.
private BeliefBase	Answer.beliefBase The knowledge base of the original query.

Methods in net.sf.tweety.commons that return BeliefBase

Modifier and Type	Method and Description
BeliefBase	Reasoner.getKnowledgeBase() Returns the knowledge base of this reasoner.
BeliefBase	Answer.getKnowledgeBase() Returns the knowledge base this answer relates to.
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 and Description
abstract boolean	Language.isRepresentable(BeliefBase beliefBase) Checks whether the given knowledge base is representable in this language.
BeliefBase	BeliefBaseMachineShop.repair(BeliefBase beliefBase) Repairs the given belief base, i.e.
boolean	Interpretation.satisfies(BeliefBase beliefBase) Checks whether this interpretation satisfies the given knowledge base.

Constructors in net.sf.tweety.commons with parameters of type BeliefBase

Constructor and Description
Answer(BeliefBase beliefBase, Formula query) Creates an empty answer for the given query.
Reasoner(BeliefBase beliefBase) Creates a new reasoner for the given knowledge base.

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

Classes in net.sf.tweety.logics.cl that implement BeliefBase

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

Methods in net.sf.tweety.logics.cl with parameters of type BeliefBase

Modifier and Type	Method and Description
private java.util.ArrayList<ClBeliefSet>	ZReasoner.partition(BeliefBase kb) Returns a partitioning of a knowledge base into partitions containing all conditionals that tolerate the remaining set of conditionals of a knowledge base.

Constructors in net.sf.tweety.logics.cl with parameters of type BeliefBase

Constructor and Description
BruteForceCReasoner(BeliefBase beliefBase) Creates a new simple c-representation reasoner for the given knowledge base.
BruteForceCReasoner(BeliefBase beliefBase, boolean simple) Creates a new c-representation reasoner for the given knowledge base.
CReasoner(BeliefBase beliefBase) Creates a new c-representation reasoner for the given knowledge base.
RelevanceReasoner(BeliefBase beliefBase) Creates a new relevance reasoner for the given knowledge base.
ZReasoner(BeliefBase beliefBase) Creates a new System Z reasoner for the given knowledge base.

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

Methods in net.sf.tweety.logics.cl.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	RankingFunction.satisfies(BeliefBase beliefBase)

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 and Description
interface	ConsistencyTester<T extends BeliefBase> Classes implementing this interface are capable of testing whether a given belief base is consistent.
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 and 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.el.semantics

Methods in net.sf.tweety.logics.el.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	KripkeModel.satisfies(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.logics.fol

Classes in net.sf.tweety.logics.fol that implement BeliefBase

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

Constructors in net.sf.tweety.logics.fol with parameters of type BeliefBase

Constructor and Description
ClassicalInference(BeliefBase beliefBase) Creates a new classical inference operator for the given knowledge base.

Uses of BeliefBase in net.sf.tweety.logics.fol.lang

Methods in net.sf.tweety.logics.fol.lang with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	FolLanguage.isRepresentable(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.logics.fol.semantics

Methods in net.sf.tweety.logics.fol.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	HerbrandInterpretation.satisfies(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.logics.ml

Classes in net.sf.tweety.logics.ml that implement BeliefBase

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

Constructors in net.sf.tweety.logics.ml with parameters of type BeliefBase

Constructor and Description
AbstractMlnReasoner(BeliefBase beliefBase) Creates a new reasoner for the given Markov logic network.
AbstractMlnReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new reasoner for the given Markov logic network.
AlchemyMlnReasoner(BeliefBase beliefBase) Creates a new AlchemyMlnReasoner for the given Markov logic network.
AlchemyMlnReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new AlchemyMlnReasoner for the given Markov logic network.
ApproximateNaiveMlnReasoner(BeliefBase beliefBase, FolSignature signature, long maxNumberOfSelectedInterpretations, long maxNumberOfInterpretationsForModel) Creates a new ApproximateNaiveMlnReasoner for the given Markov logic network.
NaiveMlnReasoner(BeliefBase beliefBase) Creates a new NaiveMlnReasoner for the given Markov logic network.
NaiveMlnReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new NaiveMlnReasoner for the given Markov logic network.
SimpleSamplingMlnReasoner(BeliefBase beliefBase, FolSignature signature, double precision, int numOfPositiveTests) Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.

Uses of BeliefBase in net.sf.tweety.logics.pcl

Classes in net.sf.tweety.logics.pcl that implement BeliefBase

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

Constructors in net.sf.tweety.logics.pcl with parameters of type BeliefBase

Constructor and Description
DefaultMeReasoner(BeliefBase beliefBase) Creates a new default ME-reasoner for the given knowledge base.
DefaultMeReasoner(BeliefBase beliefBase, Signature signature) Creates a new default ME-reasoner for the given knowledge base.
GeneralizedMeReasoner(BeliefBase beliefBase, int p) Creates a new generalized ME-reasoner for the given knowledge base.
GeneralizedMeReasoner(BeliefBase beliefBase, Signature signature, int p) Creates a new generalized ME-reasoner for the given knowledge base.

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 and Description
BeliefBase	PenalizingCreepingMachineShop.repair(BeliefBase beliefBase)
BeliefBase	PclBeliefSetQuadraticErrorMinimizationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimumViolationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimumAggregatedDistanceMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MinimalViolationEuclideanMachineShop.repair(BeliefBase beliefBase)
BeliefBase	MaximumEntropyMachineShop.repair(BeliefBase beliefBase)
BeliefBase	GeneralizedMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	DistanceMinimizationMachineShop.repair(BeliefBase beliefBase)
BeliefBase	ConvexAggregatingMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	ConvexAggregatingMaxConsMeMachineShop.repair(BeliefBase beliefBase)
BeliefBase	BalancedMachineShop.repair(BeliefBase beliefBase)
BeliefBase	AbstractCreepingMachineShop.repair(BeliefBase beliefBase)
protected BeliefBase	MinimalViolationEuclideanMachineShopOjAlgoMatrix.repair(PclBeliefSet beliefSet) Compute solution using ojalgos matrix representation.
protected BeliefBase	MinimalViolationEuclideanMachineShopOjAlgoExpression.repair(PclBeliefSet beliefSet) Compute solution using ojalgos matrix representation.
protected abstract BeliefBase	MinimalViolationEuclideanMachineShop.repair(PclBeliefSet beliefSet)

Methods in net.sf.tweety.logics.pcl.analysis with parameters of type BeliefBase

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

Uses of BeliefBase in net.sf.tweety.logics.pcl.semantics

Methods in net.sf.tweety.logics.pcl.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	ProbabilityDistribution.satisfies(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.logics.pl

Classes in net.sf.tweety.logics.pl that implement BeliefBase

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

Constructors in net.sf.tweety.logics.pl with parameters of type BeliefBase

Constructor and Description
ClassicalInference(BeliefBase beliefBase, EntailmentRelation<PropositionalFormula> entailment)
NaiveReasoner(BeliefBase beliefBase)
SatReasoner(BeliefBase beliefBase) Creates a new reasoner for the given belief base.

Uses of BeliefBase in net.sf.tweety.logics.pl.lang

Methods in net.sf.tweety.logics.pl.lang with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	PropositionalLanguage.isRepresentable(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.logics.pl.semantics

Methods in net.sf.tweety.logics.pl.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	PriestWorld.satisfies(BeliefBase beliefBase)
boolean	PossibleWorld.satisfies(BeliefBase beliefBase)
boolean	NicePossibleWorld.satisfies(BeliefBase beliefBase)
boolean	FuzzyInterpretation.satisfies(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.logics.rcl

Classes in net.sf.tweety.logics.rcl that implement BeliefBase

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

Constructors in net.sf.tweety.logics.rcl with parameters of type BeliefBase

Constructor and Description
RelationalBruteForceCReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new simple c-representation reasoner for the given knowledge base.
RelationalBruteForceCReasoner(BeliefBase beliefBase, FolSignature signature, boolean simple) Creates a new relational c-representation reasoner for the given knowledge base.

Uses of BeliefBase in net.sf.tweety.logics.rcl.semantics

Methods in net.sf.tweety.logics.rcl.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	RelationalRankingFunction.satisfies(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.logics.rdl

Classes in net.sf.tweety.logics.rdl that implement BeliefBase

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

Constructors in net.sf.tweety.logics.rdl with parameters of type BeliefBase

Constructor and Description
NaiveDefaultReasoner(BeliefBase beliefBase)

Uses of BeliefBase in net.sf.tweety.logics.rpcl

Classes in net.sf.tweety.logics.rpcl that implement BeliefBase

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

Methods in net.sf.tweety.logics.rpcl with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	ReferenceWorld.satisfies(BeliefBase beliefBase)
boolean	CondensedProbabilityDistribution.satisfies(BeliefBase beliefBase)

Constructors in net.sf.tweety.logics.rpcl with parameters of type BeliefBase

Constructor and Description
RpclMeReasoner(BeliefBase beliefBase, RpclSemantics semantics, FolSignature signature) Creates a new reasoner for the given knowledge base.
RpclMeReasoner(BeliefBase beliefBase, RpclSemantics semantics, FolSignature signature, int inferenceType) Creates a new reasoner for the given knowledge base.

Uses of BeliefBase in net.sf.tweety.logics.rpcl.semantics

Methods in net.sf.tweety.logics.rpcl.semantics with parameters of type BeliefBase

Modifier and Type	Method and Description
boolean	RpclProbabilityDistribution.satisfies(BeliefBase beliefBase)

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 and Description
class	Program this class models an disjunctive logical program, which is a collection of rules.

Uses of BeliefBase in net.sf.tweety.lp.asp.util

Classes in net.sf.tweety.lp.asp.util that implement BeliefBase

Modifier and Type	Class and Description
class	AnswerSet A answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.

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 and Description
class	NLPProgram A nested logic program