Uses of Class
org.tweetyproject.logics.pl.syntax.Proposition
-
-
-
Uses of Proposition in org.tweetyproject.action.query.syntax
Subclasses of Proposition in org.tweetyproject.action.query.syntax Modifier and Type Class Description class
AlwaysQuery
This class represents an always query in the action query language S.class
HoldsQuery
This class represents a holds query in the action query language S.class
NecessarilyQuery
This class represents a necessarily query in the action query language S.class
QueryProposition
Action queries are represented as propositional formulas with three possible types of propositions: "holds", "always" and "necessarily" propositions. -
Uses of Proposition in org.tweetyproject.agents.dialogues.structured
Method parameters in org.tweetyproject.agents.dialogues.structured with type arguments of type Proposition Modifier and Type Method Description int
CountingUtilityFunction. rank(java.util.Collection<? extends Proposition> propositions)
int
IndicatorUtilityFunction. rank(java.util.Collection<? extends Proposition> propositions)
int
MultipleIndicatorUtilityFunction. rank(java.util.Collection<? extends Proposition> propositions)
int
SasAgent. rank(java.util.Collection<? extends Proposition> propositions)
Ranks the given collection of propositions wrt.int
UtilityFunction. rank(java.util.Collection<? extends Proposition> propositions)
Rank the given collection of propositions.Constructors in org.tweetyproject.agents.dialogues.structured with parameters of type Proposition Constructor Description CautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, Proposition focalElement)
Creates a new agent with the given (local) view and utility function.CautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, Proposition focalElement)
Creates a new (non-single-step) agent with the given (local) view and utility function.IndicatorUtilityFunction(Proposition focalElement)
Creates a new indicator utility function for the given focal element.OvercautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, Proposition focalElement)
Creates a new agent with the given (local) view and utility function.OvercautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, Proposition focalElement)
Creates a new (non-single-step) agent with the given (local) view and utility function.Constructor parameters in org.tweetyproject.agents.dialogues.structured with type arguments of type Proposition Constructor Description CountingUtilityFunction(java.util.Collection<? extends Proposition> focalSet)
Creates a new counting utility function for the given focal set.MultipleIndicatorUtilityFunction(java.util.Collection<? extends Proposition> focalSet)
Creates a new multiple indicator utility function for the given focal set. -
Uses of Proposition in org.tweetyproject.arg.saf.reasoner
Methods in org.tweetyproject.arg.saf.reasoner that return types with arguments of type Proposition Modifier and Type Method Description java.util.Set<Proposition>
OutputReasoner. getOutput(StructuredArgumentationFramework saf)
Returns the output this reasoner bases upon.Methods in org.tweetyproject.arg.saf.reasoner with parameters of type Proposition Modifier and Type Method Description java.lang.Boolean
OutputReasoner. query(StructuredArgumentationFramework beliefbase, Proposition formula)
-
Uses of Proposition in org.tweetyproject.arg.saf.syntax
Methods in org.tweetyproject.arg.saf.syntax that return Proposition Modifier and Type Method Description Proposition
ArgumentStructure. getClaim()
Returns the claim of this argument structure, i.e.Proposition
BasicArgument. getConclusion()
Methods in org.tweetyproject.arg.saf.syntax that return types with arguments of type Proposition Modifier and Type Method Description java.util.Collection<Proposition>
StructuredArgumentationFramework. getAllPropositions()
java.util.Set<Proposition>
BasicArgument. getPremise()
Methods in org.tweetyproject.arg.saf.syntax with parameters of type Proposition Modifier and Type Method Description void
BasicArgument. addPremise(Proposition premise)
void
BasicArgument. setConclusion(Proposition conclusion)
Method parameters in org.tweetyproject.arg.saf.syntax with type arguments of type Proposition Modifier and Type Method Description void
BasicArgument. addPremises(java.util.Collection<? extends Proposition> premises)
Constructors in org.tweetyproject.arg.saf.syntax with parameters of type Proposition Constructor Description BasicArgument(Proposition claim)
Creates a new basic argument with the given claim and empty support.BasicArgument(Proposition claim, java.util.Set<Proposition> support)
Creates a new basic argument with the given claim and the given support.Constructor parameters in org.tweetyproject.arg.saf.syntax with type arguments of type Proposition Constructor Description BasicArgument(Proposition claim, java.util.Set<Proposition> support)
Creates a new basic argument with the given claim and the given support. -
Uses of Proposition in org.tweetyproject.logics.cl.semantics
Methods in org.tweetyproject.logics.cl.semantics that return types with arguments of type Proposition Modifier and Type Method Description java.util.Collection<Proposition>
ConditionalStructure. getSignature()
Method parameters in org.tweetyproject.logics.cl.semantics with type arguments of type Proposition Modifier and Type Method Description void
ConditionalStructure. setWorldRepresentation(java.util.Comparator<Pair<Proposition,java.lang.Boolean>> comparator)
Changes the internal representations of the worlds, normally the propositions of a world are ordered alphabetically but this behavior can be changed using this method. -
Uses of Proposition in org.tweetyproject.logics.cl.syntax
Methods in org.tweetyproject.logics.cl.syntax that return types with arguments of type Proposition Modifier and Type Method Description java.util.Set<Proposition>
Conditional. getAtoms()
-
Uses of Proposition in org.tweetyproject.logics.pl.sat
Method parameters in org.tweetyproject.logics.pl.sat with type arguments of type Proposition Modifier and Type Method Description static java.lang.String
SatSolver. convertToDimacs(java.util.Collection<PlFormula> formulas, java.util.List<Proposition> props)
Converts the given set of formulas to their string representation in Dimacs CNF. -
Uses of Proposition in org.tweetyproject.logics.pl.semantics
Methods in org.tweetyproject.logics.pl.semantics that return types with arguments of type Proposition Modifier and Type Method Description java.util.Set<java.util.Map.Entry<Proposition,java.lang.Double>>
FuzzyInterpretation. entrySet()
java.util.Collection<Proposition>
PriestWorld. getBinarybase()
Returns the binary base of this world, i.e.java.util.Collection<Proposition>
PriestWorld. getConflictbase()
Returns the conflict base of this world, i.e.java.util.Set<Pair<Proposition,java.lang.Boolean>>
NicePossibleWorld. getRepresentationStructure()
java.util.Set<Proposition>
FuzzyInterpretation. keySet()
Methods in org.tweetyproject.logics.pl.semantics with parameters of type Proposition Modifier and Type Method Description PriestWorld.TruthValue
PriestWorld. get(Proposition p)
Returns the truth value of the given proposition.java.lang.Double
FuzzyInterpretation. put(Proposition arg0, java.lang.Double arg1)
void
PriestWorld. set(Proposition p, PriestWorld.TruthValue val)
Sets the value of the given proposition.Method parameters in org.tweetyproject.logics.pl.semantics with type arguments of type Proposition Modifier and Type Method Description int
NicePossibleWorld. compare(Pair<Proposition,java.lang.Boolean> o1, Pair<Proposition,java.lang.Boolean> o2)
static java.util.Set<NicePossibleWorld>
NicePossibleWorld. getAllPossibleWorlds(java.util.Collection<Proposition> signature)
static java.util.Set<PossibleWorld>
PossibleWorld. getAllPossibleWorlds(java.util.Collection<Proposition> signature)
Returns the set of all possible worlds for the given propositional signature.void
FuzzyInterpretation. putAll(java.util.Map<? extends Proposition,? extends java.lang.Double> arg0)
void
NicePossibleWorld. setComparator(java.util.Comparator<Pair<Proposition,java.lang.Boolean>> comparator)
Changes the used comparator to sort the representation structure and resorts the representation.boolean
NicePossibleWorld. setSignature(java.util.Collection<Proposition> signature)
Changes the signature of the world.Constructor parameters in org.tweetyproject.logics.pl.semantics with type arguments of type Proposition Constructor Description NicePossibleWorld(java.util.Collection<Proposition> trueInWorld, java.util.Collection<Proposition> signature)
Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.NicePossibleWorld(java.util.Collection<Proposition> trueInWorld, java.util.Collection<Proposition> signature, java.util.Comparator<Pair<Proposition,java.lang.Boolean>> comparator)
Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.NicePossibleWorld(java.util.Collection<Proposition> trueInWorld, java.util.Collection<Proposition> signature, java.util.Comparator<Pair<Proposition,java.lang.Boolean>> comparator)
Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.PossibleWorld(java.util.Collection<? extends Proposition> propositions)
Creates a new possible world with the given set of propositions. -
Uses of Proposition in org.tweetyproject.logics.pl.syntax
Methods in org.tweetyproject.logics.pl.syntax that return Proposition Modifier and Type Method Description Proposition
Proposition. clone()
Methods in org.tweetyproject.logics.pl.syntax that return types with arguments of type Proposition Modifier and Type Method Description java.util.Set<Proposition>
AssociativePlFormula. getAtoms()
java.util.Set<Proposition>
CardinalityConstraint. getAtoms()
java.util.Set<Proposition>
Equivalence. getAtoms()
java.util.Set<Proposition>
Implication. getAtoms()
java.util.Set<Proposition>
Negation. getAtoms()
abstract java.util.Set<Proposition>
PlFormula. getAtoms()
java.util.Set<Proposition>
Proposition. getAtoms()
java.util.Set<Proposition>
SpecialFormula. getAtoms()
Methods in org.tweetyproject.logics.pl.syntax with parameters of type Proposition Modifier and Type Method Description int
Proposition. compareTo(Proposition o)
int
AssociativePlFormula. numberOfOccurrences(Proposition p)
int
CardinalityConstraint. numberOfOccurrences(Proposition p)
int
Equivalence. numberOfOccurrences(Proposition p)
int
Implication. numberOfOccurrences(Proposition p)
int
Negation. numberOfOccurrences(Proposition p)
abstract int
PlFormula. numberOfOccurrences(Proposition p)
Returns the number of occurrences of the given proposition within this formulaint
Proposition. numberOfOccurrences(Proposition p)
int
SpecialFormula. numberOfOccurrences(Proposition p)
CardinalityConstraint
CardinalityConstraint. replace(Proposition p, PlFormula f, int i)
PlFormula
Conjunction. replace(Proposition p, PlFormula f, int i)
PlFormula
Disjunction. replace(Proposition p, PlFormula f, int i)
PlFormula
Equivalence. replace(Proposition p, PlFormula f, int i)
PlFormula
ExclusiveDisjunction. replace(Proposition p, PlFormula f, int i)
PlFormula
Implication. replace(Proposition p, PlFormula f, int i)
PlFormula
Negation. replace(Proposition p, PlFormula f, int i)
abstract PlFormula
PlFormula. replace(Proposition p, PlFormula f, int i)
Replaces the ith instance of the proposition p by f.PlFormula
Proposition. replace(Proposition p, PlFormula f, int i)
PlFormula
SpecialFormula. replace(Proposition p, PlFormula f, int i)
Method parameters in org.tweetyproject.logics.pl.syntax with type arguments of type Proposition Modifier and Type Method Description static PlBeliefSet
CardinalityConstraint. getBinomialEncoding(java.util.Collection<Proposition> atoms, int atMost)
Returns a naive SAT encoding of the given cardinality constraint.static Conjunction
CardinalityConstraint. getNaiveAtMostOneEncoding(java.util.Collection<Proposition> atoms)
Returns a naive at-most-1 encoding for the given set of atoms.static PlBeliefSet
CardinalityConstraint. getSequentialCounterEncoding(java.util.Collection<Proposition> atoms, int atMost, java.lang.String name)
Returns a SAT encoding of the given cardinality constraint based on the method of [Sinz.Constructors in org.tweetyproject.logics.pl.syntax with parameters of type Proposition Constructor Description Proposition(Proposition other)
Constructor parameters in org.tweetyproject.logics.pl.syntax with type arguments of type Proposition Constructor Description CardinalityConstraint(java.util.Collection<Proposition> atoms, int atMost)
Create a new at-most-n cardinality constraint with the given set of atoms and the given n.PlSignature(java.util.Collection<? extends Proposition> propositions)
Creates a new propositional signature with the given set of propositions. -
Uses of Proposition in org.tweetyproject.logics.qbf.semantics
Methods in org.tweetyproject.logics.qbf.semantics with parameters of type Proposition Modifier and Type Method Description java.util.Set<PlFormula>
QbPossibleWorld. substitute(PlFormula f, Proposition v)
Substitutes all occurrences of the proposition v with the possible truth values and returns a set of the possible substitutions.Method parameters in org.tweetyproject.logics.qbf.semantics with type arguments of type Proposition Modifier and Type Method Description static java.util.Set<QbPossibleWorld>
QbPossibleWorld. getAllPossibleWorlds(java.util.Collection<Proposition> signature)
Returns the set of all possible worlds for the given propositional signature.Constructor parameters in org.tweetyproject.logics.qbf.semantics with type arguments of type Proposition Constructor Description QbPossibleWorld(java.util.Collection<? extends Proposition> propositions)
Creates a new possible world with the given set of propositions. -
Uses of Proposition in org.tweetyproject.logics.qbf.syntax
Methods in org.tweetyproject.logics.qbf.syntax that return types with arguments of type Proposition Modifier and Type Method Description java.util.Set<Proposition>
ExistsQuantifiedFormula. getAtoms()
java.util.Set<Proposition>
ForallQuantifiedFormula. getAtoms()
java.util.Set<Proposition>
ExistsQuantifiedFormula. getQuantifierVariables()
java.util.Set<Proposition>
ForallQuantifiedFormula. getQuantifierVariables()
Methods in org.tweetyproject.logics.qbf.syntax with parameters of type Proposition Modifier and Type Method Description int
ExistsQuantifiedFormula. numberOfOccurrences(Proposition p)
int
ForallQuantifiedFormula. numberOfOccurrences(Proposition p)
PlFormula
ExistsQuantifiedFormula. replace(Proposition p, PlFormula f, int i)
PlFormula
ForallQuantifiedFormula. replace(Proposition p, PlFormula f, int i)
Constructors in org.tweetyproject.logics.qbf.syntax with parameters of type Proposition Constructor Description ExistsQuantifiedFormula(PlFormula f, Proposition variable)
Create a new existential boolean quantification.ForallQuantifiedFormula(PlFormula f, Proposition variable)
Create a new universal boolean quantification.Constructor parameters in org.tweetyproject.logics.qbf.syntax with type arguments of type Proposition Constructor Description ExistsQuantifiedFormula(PlFormula f, java.util.Set<Proposition> variables)
Create a new existential boolean quantification.ForallQuantifiedFormula(PlFormula f, java.util.Set<Proposition> variables)
Create a new universal boolean quantification. -
Uses of Proposition in org.tweetyproject.logics.qbf.writer
Method parameters in org.tweetyproject.logics.qbf.writer with type arguments of type Proposition Modifier and Type Method Description java.lang.String
QdimacsWriter. printVariables(java.util.Set<Proposition> vars, java.util.List<Proposition> mappings)
java.lang.String
QdimacsWriter. printVariables(java.util.Set<Proposition> vars, java.util.List<Proposition> mappings)
-
Uses of Proposition in org.tweetyproject.logics.translators.folprop
Methods in org.tweetyproject.logics.translators.folprop that return Proposition Modifier and Type Method Description Proposition
FOLPropTranslator. toPropositional(FolAtom atom)
Translates the given FOL-Atom into a PropositionMethods in org.tweetyproject.logics.translators.folprop with parameters of type Proposition Modifier and Type Method Description FolAtom
FOLPropTranslator. toFOL(Proposition proposition)
Translates the given proposition into a FOL-Atom
-