Uses of Class
net.sf.tweety.logics.pl.syntax.Proposition
-
-
-
Uses of Proposition in net.sf.tweety.action.query.syntax
Subclasses of Proposition in net.sf.tweety.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 net.sf.tweety.agents.dialogues.structured
Fields in net.sf.tweety.agents.dialogues.structured declared as Proposition Modifier and Type Field Description private Proposition
IndicatorUtilityFunction. focalElement
The focal element of this function.private Proposition
OvercautiousArgumentationAgent. focalElement
The focal element of this agent.Fields in net.sf.tweety.agents.dialogues.structured with type parameters of type Proposition Modifier and Type Field Description private java.util.Set<Proposition>
CountingUtilityFunction. focalSet
The focal set of this function.private java.util.Set<Proposition>
MultipleIndicatorUtilityFunction. focalSet
The focal set of this function.Method parameters in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner with type parameters of type Proposition Modifier and Type Field Description private Cache<Argument,Proposition>
SatEncoding. falses
private Cache<Link,Proposition>
SatEncoding. links
private Cache<Argument,Proposition>
SatEncoding. trues
-
Uses of Proposition in net.sf.tweety.arg.adf.sat
Fields in net.sf.tweety.arg.adf.sat with type parameters of type Proposition Modifier and Type Field Description private java.util.Map<Proposition,java.lang.Integer>
NativeLingelingSolver.LingelingSolverState. props
Methods in net.sf.tweety.arg.adf.sat with parameters of type Proposition Modifier and Type Method Description boolean
NativeLingelingSolver.LingelingSolverState. isTrue(Proposition p)
boolean
SatSolverState. isTrue(Proposition p)
-
Uses of Proposition in net.sf.tweety.arg.dung.reasoner
Method parameters in net.sf.tweety.arg.dung.reasoner with type arguments of type Proposition Modifier and Type Method Description protected abstract PlBeliefSet
AbstractSatExtensionReasoner. getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
Returns the semantic-specific propositional characterization of the underlying Dung theory, seegetPropositionalCharacterisation
.protected PlBeliefSet
SatCompleteReasoner. getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
protected PlBeliefSet
SatStableReasoner. getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
-
Uses of Proposition in net.sf.tweety.arg.saf.reasoner
Fields in net.sf.tweety.arg.saf.reasoner with type parameters of type Proposition Modifier and Type Field Description private java.util.Set<Proposition>
OutputReasoner. output
The output of this reasoner.Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.arg.saf.syntax
Fields in net.sf.tweety.arg.saf.syntax declared as Proposition Modifier and Type Field Description private Proposition
BasicArgument. claim
The claim of this basic argument.Fields in net.sf.tweety.arg.saf.syntax with type parameters of type Proposition Modifier and Type Field Description private java.util.Set<Proposition>
BasicArgument. support
The support of this basic argument.Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.cl.semantics
Fields in net.sf.tweety.logics.cl.semantics with type parameters of type Proposition Modifier and Type Field Description private java.util.Comparator<Pair<Proposition,java.lang.Boolean>>
ConditionalStructure. worldRepresentation
The object used to sort the literals in the PossibleWorldMethods in net.sf.tweety.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 net.sf.tweety.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.private void
ConditionalStructure. updateSignature(java.util.Collection<Proposition> signature)
Update the data structure worldData by removing worlds that are not representable by the given signature and adding worlds that are new with the new signature. -
Uses of Proposition in net.sf.tweety.logics.cl.syntax
Methods in net.sf.tweety.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 net.sf.tweety.logics.cl.test
Fields in net.sf.tweety.logics.cl.test declared as Proposition Modifier and Type Field Description private static Proposition
TestConditionalStructure. a
private static Proposition
TestConditionalStructure. b
-
Uses of Proposition in net.sf.tweety.logics.pl.analysis
Methods in net.sf.tweety.logics.pl.analysis that return types with arguments of type Proposition Modifier and Type Method Description private java.util.List<Triple<Proposition,java.lang.Integer,SpecialFormula>>
FbInconsistencyMeasure. order(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Orders the substitutions in decreasing order.Method parameters in net.sf.tweety.logics.pl.analysis with type arguments of type Proposition Modifier and Type Method Description private Pair<java.util.Map<Variable,Term>,java.lang.Double>
FuzzyInconsistencyMeasure. constructAndSolveProblem(java.util.Collection<PlFormula> formulas, java.util.Map<Proposition,Variable> assignments)
Utility methodprivate Term
FuzzyInconsistencyMeasure. getTerm(PlFormula formula, java.util.Map<Proposition,Variable> assignments)
Returns a mathematical term representation of the given formula by replacing proposition by their given mathematical variables and replacing conjunction, disjunction, and negation by their fuzzy counterparts (taking the given t-norm and t-conorm into account).private boolean
FbInconsistencyMeasure. hasDuplicate(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Checks whether the selection of substitutions is consistent (no proposition to be replaced by + and - at the same time).private java.util.List<Triple<Proposition,java.lang.Integer,SpecialFormula>>
FbInconsistencyMeasure. order(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Orders the substitutions in decreasing order. -
Uses of Proposition in net.sf.tweety.logics.pl.parser
Fields in net.sf.tweety.logics.pl.parser declared as Proposition Modifier and Type Field Description private Proposition[]
DimacsParser. prop_idx
An array representation of the propositions (for index mapping) -
Uses of Proposition in net.sf.tweety.logics.pl.sat
Method parameters in net.sf.tweety.logics.pl.sat with type arguments of type Proposition Modifier and Type Method Description protected 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.protected static java.io.File
SatSolver. createTmpDimacsFile(java.util.Collection<PlFormula> formulas, java.util.List<Proposition> props)
Creates a temporary file in Dimacs format with the given proposition2variable mapping. -
Uses of Proposition in net.sf.tweety.logics.pl.semantics
Fields in net.sf.tweety.logics.pl.semantics with type parameters of type Proposition Modifier and Type Field Description private SubsetIterator<Proposition>
PossibleWorldIterator. it
Used for iterating over subsets of propositions.private java.util.SortedSet<Pair<Proposition,java.lang.Boolean>>
NicePossibleWorld. representation
The set saving all the proposition boolean pairs that represent this world assuming the current signature.private java.util.Map<Proposition,java.lang.Double>
FuzzyInterpretation. values
Maps the propositions to their values.private java.util.Map<Proposition,PriestWorld.TruthValue>
PriestWorld. values
The truth values of the propositions.Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.pl.syntax
Methods in net.sf.tweety.logics.pl.syntax that return Proposition Modifier and Type Method Description Proposition
Proposition. clone()
Methods in net.sf.tweety.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>
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 net.sf.tweety.logics.pl.syntax with parameters of type Proposition Modifier and Type Method Description int
Proposition. compareTo(Proposition o)
int
AssociativePlFormula. 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)
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
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)
Constructors in net.sf.tweety.logics.pl.syntax with parameters of type Proposition Constructor Description Proposition(Proposition other)
Constructor parameters in net.sf.tweety.logics.pl.syntax with type arguments of type Proposition Constructor Description PlSignature(java.util.Collection<? extends Proposition> propositions)
Creates a new propositional signature with the given set of propositions. -
Uses of Proposition in net.sf.tweety.logics.pl.test
Fields in net.sf.tweety.logics.pl.test with type parameters of type Proposition Modifier and Type Field Description private static java.util.Set<Proposition>
TestNicePossibleWorld. signature
private static java.util.Set<Proposition>
TestNicePossibleWorld. worldProps
-
Uses of Proposition in net.sf.tweety.logics.pl.util
Fields in net.sf.tweety.logics.pl.util with type parameters of type Proposition Modifier and Type Field Description private ProbabilityFunction<Proposition>
SyntacticRandomSampler. probProp
The probability function used to sample propositionsprivate SetTools<Proposition>
RandomSatSampler. setTools
For randomisationMethod parameters in net.sf.tweety.logics.pl.util with type arguments of type Proposition Modifier and Type Method Description private static java.lang.String
CanonicalIterator. formula2String(PlFormula f, java.util.Map<Proposition,java.lang.Integer> prop)
Encodes the given formula as a bitstring. -
Uses of Proposition in net.sf.tweety.logics.translators.folprop
Methods in net.sf.tweety.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 net.sf.tweety.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
-