Uses of Interface
org.tweetyproject.commons.BeliefBase
Package
Description
-
Uses of BeliefBase in org.tweetyproject.action.description.syntax
Modifier and TypeClassDescriptionclass
ActionDescription<T extends CausalLaw>
This class represents an action description as a set of causal laws.class
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
Modifier and TypeMethodDescriptionboolean
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
Modifier and TypeClassDescriptionclass
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
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
Modifier and TypeClassDescriptionclass
This class packs a Dung theory into an executable object. -
Uses of BeliefBase in org.tweetyproject.agents.dialogues.structured
Modifier and TypeClassDescriptionclass
This class packs a structured argumentation framework into a perceivable object. -
Uses of BeliefBase in org.tweetyproject.arg.aba.parser
ModifierConstructorDescriptionAbaParser(Parser<? extends BeliefBase,? extends Formula> formulaparser)
Creates a new ABA parser -
Uses of BeliefBase in org.tweetyproject.arg.aba.syntax
-
Uses of BeliefBase in org.tweetyproject.arg.aspic.parser
ModifierConstructorDescriptionAspicParser(Parser<? extends BeliefBase,? extends Formula> formulaparser, RuleFormulaGenerator<T> rfg)
Constructs a new instance -
Uses of BeliefBase in org.tweetyproject.arg.aspic.syntax
-
Uses of BeliefBase in org.tweetyproject.arg.bipolar.syntax
Modifier and TypeClassDescriptionclass
This class implements a bipolar abstract argumentation framework with attack and support relations.class
This class implements a bipolar abstract argumentation theory with support in a deductive sense.class
This class implements a bipolar abstract argumentation theory with support in an evidential sense.class
This class implements a bipolar abstract argumentation framework with necessities. -
Uses of BeliefBase in org.tweetyproject.arg.deductive.semantics
Modifier and TypeClassDescriptionclass
Instances of this class represent nodes in the compilation of a knowledge base, i.e. -
Uses of BeliefBase in org.tweetyproject.arg.deductive.syntax
Modifier and TypeClassDescriptionclass
Instances of this class represent deductive knowledge bases, i.e.class
-
Uses of BeliefBase in org.tweetyproject.arg.delp.syntax
Modifier and TypeClassDescriptionclass
This class models a defeasible logic program (DeLP). -
Uses of BeliefBase in org.tweetyproject.arg.dung.syntax
Modifier and TypeClassDescriptionclass
This class implements an abstract argumentation theory in the sense of Dung.class
Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings -
Uses of BeliefBase in org.tweetyproject.arg.lp.syntax
Modifier and TypeClassDescriptionclass
Instances of this class represent the set of minimal arguments from a extended logic program -
Uses of BeliefBase in org.tweetyproject.arg.prob.syntax
Modifier and TypeClassDescriptionclass
A partial probability assignment for abstract argumentation theories.class
This class implements the probabilistic argumentation framework approach of [Li, Oren, Norman. -
Uses of BeliefBase in org.tweetyproject.arg.saf.syntax
Modifier and TypeClassDescriptionclass
This class represents a structured argumentation framework, i.e. -
Uses of BeliefBase in org.tweetyproject.arg.setaf.syntax
Modifier and TypeClassDescriptionclass
This class implements an abstract argumentation theory in the sense of Dung on SetAfs. -
Uses of BeliefBase in org.tweetyproject.arg.social.syntax
Modifier and TypeClassDescriptionclass
This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins. -
Uses of BeliefBase in org.tweetyproject.beliefdynamics.mas
Modifier and TypeClassDescriptionclass
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
Modifier and TypeClassDescriptionclass
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.Modifier and TypeClassDescriptionclass
This class models a belief set, i.e.Modifier and TypeMethodDescriptionBeliefBaseMachineShop.repair(BeliefBase beliefBase)
Repairs the given belief base, i.e.Modifier and TypeMethodDescriptionBeliefBaseMachineShop.repair(BeliefBase beliefBase)
Repairs the given belief base, i.e. -
Uses of BeliefBase in org.tweetyproject.commons.analysis
Modifier and TypeClassDescriptionclass
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
-
Uses of BeliefBase in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Modifier and TypeMethodDescriptionRootParser.parseBeliefBase(Reader reader)
Parse the XML file to an instance of the BpmnModel class -
Uses of BeliefBase in org.tweetyproject.logics.bpm.syntax
-
Uses of BeliefBase in org.tweetyproject.logics.cl.syntax
Modifier and TypeClassDescriptionclass
This class models a belief set on conditional logic, i.e. -
Uses of BeliefBase in org.tweetyproject.logics.commons.analysis
Modifier and TypeInterfaceDescriptioninterface
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
Modifier and TypeInterfaceDescriptioninterface
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
Modifier and TypeClassDescriptionclass
This class models a knowledge base for description logics. -
Uses of BeliefBase in org.tweetyproject.logics.fol.syntax
Modifier and TypeClassDescriptionclass
This class models a first-order knowledge base, i.e. -
Uses of BeliefBase in org.tweetyproject.logics.ml.syntax
Modifier and TypeClassDescriptionclass
This class models a modal knowledge base, i.e. -
Uses of BeliefBase in org.tweetyproject.logics.mln.syntax
Modifier and TypeClassDescriptionclass
Instances of this class represent Markov Logic Networks [Domingos et. -
Uses of BeliefBase in org.tweetyproject.logics.pcl.analysis
Modifier and TypeMethodDescriptionAbstractCreepingMachineShop.repair(BeliefBase beliefBase)
BalancedMachineShop.repair(BeliefBase beliefBase)
ConvexAggregatingMaxConsMeMachineShop.repair(BeliefBase beliefBase)
ConvexAggregatingMeMachineShop.repair(BeliefBase beliefBase)
DistanceMinimizationMachineShop.repair(BeliefBase beliefBase)
GeneralizedMeMachineShop.repair(BeliefBase beliefBase)
MaximumEntropyMachineShop.repair(BeliefBase beliefBase)
MinimalViolationEuclideanMachineShop.repair(BeliefBase beliefBase)
MinimumAggregatedDistanceMachineShop.repair(BeliefBase beliefBase)
MinimumViolationMachineShop.repair(BeliefBase beliefBase)
PclBeliefSetQuadraticErrorMinimizationMachineShop.repair(BeliefBase beliefBase)
PenalizingCreepingMachineShop.repair(BeliefBase beliefBase)
Modifier and TypeMethodDescriptionAbstractCreepingMachineShop.repair(BeliefBase beliefBase)
BalancedMachineShop.repair(BeliefBase beliefBase)
ConvexAggregatingMaxConsMeMachineShop.repair(BeliefBase beliefBase)
ConvexAggregatingMeMachineShop.repair(BeliefBase beliefBase)
DistanceMinimizationMachineShop.repair(BeliefBase beliefBase)
GeneralizedMeMachineShop.repair(BeliefBase beliefBase)
MaximumEntropyMachineShop.repair(BeliefBase beliefBase)
MinimalViolationEuclideanMachineShop.repair(BeliefBase beliefBase)
MinimumAggregatedDistanceMachineShop.repair(BeliefBase beliefBase)
MinimumViolationMachineShop.repair(BeliefBase beliefBase)
PclBeliefSetQuadraticErrorMinimizationMachineShop.repair(BeliefBase beliefBase)
PenalizingCreepingMachineShop.repair(BeliefBase beliefBase)
-
Uses of BeliefBase in org.tweetyproject.logics.pcl.syntax
Modifier and TypeClassDescriptionclass
This class models a belief set on probabilistic conditional logic, i.e. -
Uses of BeliefBase in org.tweetyproject.logics.petri.syntax.reachability_graph
Modifier and TypeClassDescriptionclass
A class to describe the graph of reachability between possible markings of a Petri net -
Uses of BeliefBase in org.tweetyproject.logics.pl.syntax
Modifier and TypeClassDescriptionclass
This class represents a knowledge base of propositional formulae. -
Uses of BeliefBase in org.tweetyproject.logics.rcl.syntax
Modifier and TypeClassDescriptionclass
This class models a belief set on relational conditional logic, i.e. -
Uses of BeliefBase in org.tweetyproject.logics.rdl.syntax
Modifier and TypeClassDescriptionclass
Models a default theory in Reiter's default logic, see [R. -
Uses of BeliefBase in org.tweetyproject.logics.rpcl.syntax
Modifier and TypeClassDescriptionclass
This class models a belief set on relational probabilistic conditional logic, i.e. -
Uses of BeliefBase in org.tweetyproject.lp.asp.syntax
Modifier and TypeClassDescriptionclass
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