Modifier and Type | Method and Description |
---|---|
private java.util.Map<java.lang.Integer,java.util.Set<FOLAtom>> |
CTransitionSystemCalculator.parseLpTSingleLine(java.lang.String s,
ActionSignature signature)
Utility function parsing a single answer set to a map from timestamp to the
set of atoms with that particular timestamp.
|
Modifier and Type | Method and Description |
---|---|
private Formula |
CLawParser.parseAlwaysFormula(java.lang.String s,
java.lang.String reqString)
Parses a string containing a single causal law of the form
always A
which is converted to
caused - if !A
|
CActionDescription |
CParser.parseBeliefBase(java.io.Reader reader) |
CActionDescription |
CLawParser.parseBeliefBase(java.io.Reader reader) |
private Formula |
CLawParser.parseCausedFormula(java.lang.String s,
java.lang.String reqString)
Parses a string containing a single causal law of the form
caused A (if B)? (after C)?
|
private Formula |
CLawParser.parseCausesFormula(java.lang.String s,
java.lang.String reqString)
Parses a string containing a single causal law of the form
A causes B if C
which is converted to
caused B if + after A && C
|
private Formula |
CLawParser.parseDefaultFormula(java.lang.String s,
java.lang.String reqString)
Parses a string containing a single causal law of the form
default A (if B)?
which is converted to the causal law
caused A if A && B
|
protected FolFormula |
CLawParser.parseFolFormula(java.lang.String s)
Parses a FolFormula from a string using the FolParser class
|
Formula |
CParser.parseFormula(java.io.Reader reader) |
Formula |
CLawParser.parseFormula(java.io.Reader reader) |
Formula |
CParser.parseFormula(java.lang.String formula) |
Formula |
CLawParser.parseFormula(java.lang.String s) |
private Formula |
CLawParser.parseInertialFormula(java.lang.String s,
java.lang.String reqString)
Parses a string containing a single causal law of the form
inertial A
which is converted to the causal law
caused A if A after A
|
private Formula |
CLawParser.parseMayCauseFormula(java.lang.String s,
java.lang.String reqString)
Parses a string containing a single causal law of the form
A may cause B if C
which is converted to
caused B if B after A && C
|
private Formula |
CLawParser.parseNonexecutableFormula(java.lang.String s,
java.lang.String reqString)
Parses a string containing a single causal law of the form
nonexecutable A if B
which is converted to
caused - after A && B
|
Modifier and Type | Method and Description |
---|---|
GroundingRequirement |
GroundingRequirementsParser.parseRequirement(java.lang.String s,
java.util.Set<Variable> variables)
Parses a string of the following form:
(VARIABLENAME "<>" VARIABLENAME | VARIABLENAME "<>" CONSTANTNAME)
where the constant CONSTANTNAME has to be of the same sort as the
variable VARIABLENAME.
|
java.util.Set<GroundingRequirement> |
GroundingRequirementsParser.parseRequirements(java.lang.String s,
java.util.Set<Variable> variables)
Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*
|
Modifier and Type | Method and Description |
---|---|
private void |
ActionQueryParser.consumeToken(java.util.Stack<java.lang.Object> stack,
int c)
This method reads one token from the given reader and appropriately
constructs a propositional formula from the stream.
|
private FolAction |
ActionQueryParser.parseAction(java.util.List<java.lang.Object> l)
Parses a list of actionnames or a list of actions.
|
private SActionQuery |
ActionQueryParser.parseActionFormula(java.util.Stack<java.lang.Object> stack)
Parses a simple formula as a list of string tokens or formulas into an action query.
|
private FOLAtom |
ActionQueryParser.parseActionName(java.lang.String s) |
private PropositionalFormula |
ActionQueryParser.parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
private PropositionalFormula |
ActionQueryParser.parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
private PropositionalFormula |
ActionQueryParser.parseDisjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
SActionQuery |
ActionQueryParser.parseFormula(java.io.Reader reader) |
private PropositionalFormula |
ActionQueryParser.parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
Modifier and Type | Method and Description |
---|---|
ActionSignature |
ActionSignatureParser.parseSignature(java.io.Reader reader)
Parses the given reader into a signature of the given type.
|
ActionSignature |
ActionSignatureParser.parseSignature(java.lang.String text)
Parses the given text into a signature of the given type.
|
ActionSignature |
ActionSignatureParser.parseSignatureFromFile(java.lang.String filename)
Parses the file of the given filename into a signature.
|
protected void |
ActionSignatureParser.parseSortDeclaration(java.lang.String s)
Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}""
and adds it to the signature.
|
protected void |
ActionSignatureParser.parseTypeDeclaration(java.lang.String s)
Parses an action declaration of the form "action" "(" ACTIONNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")"
or a fluent declaration of the form "fluent" "(" FLUENTNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")"
and adds them to the signature.
|
Modifier and Type | Method and Description |
---|---|
static void |
LotteryDialogueTest2.main(java.lang.String[] args)
Main method for evaluation.
|
Modifier and Type | Method and Description |
---|---|
ABATheory<T> |
ABAParser.parseBeliefBase(java.io.Reader reader) |
Formula |
ABAParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
AspicArgumentationTheory<T> |
AspicParser.parseBeliefBase(java.io.Reader reader) |
Formula |
AspicParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
static void |
DeductiveTest.main(java.lang.String[] args) |
Modifier and Type | Method and Description |
---|---|
DefeasibleLogicProgram |
DelpParser.parseBeliefBase(java.io.Reader reader) |
Formula |
DelpParser.parseFormula(java.io.Reader reader)
A formula here is a Literal, that is an Atom or a negated Atom.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
AbstractDungParser.parseBeliefBase(java.io.Reader reader) |
DungTheory |
DungParser.parseBeliefBase(java.io.Reader reader) |
Formula |
AbstractDungParser.parseFormula(java.io.Reader reader) |
Formula |
DungParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
static void |
StratifiedLabelingsCli.main(java.lang.String[] args) |
Modifier and Type | Method and Description |
---|---|
static void |
DeductiveProbTest.main(java.lang.String[] args) |
Modifier and Type | Method and Description |
---|---|
static void |
CrMasTest.main(java.lang.String[] args) |
Modifier and Type | Method and Description |
---|---|
abstract T |
Parser.parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.
|
T |
Parser.parseBeliefBase(java.lang.String text)
Parses the given text into a belief base of the given type.
|
T |
Parser.parseBeliefBaseFromFile(java.lang.String filename)
Parses the file of the given filename into a belief base of the given type.
|
abstract Formula |
Parser.parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.
|
Formula |
Parser.parseFormula(java.lang.String text)
Parses the given text into a formula of the given type.
|
Formula |
Parser.parseFormulaFromFile(java.lang.String filename)
Parses the file of the given filename into a formula of the given type.
|
Modifier and Type | Method and Description |
---|---|
ClBeliefSet |
ClParser.parseBeliefBase(java.io.Reader reader) |
Conditional |
ClParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
private void |
FolParser.consumeToken(java.util.Stack<java.lang.Object> stack,
int c)
This method reads one token from the given reader and appropriately
constructs a fol formula from the stream.
|
private FolFormula |
FolParser.parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a fol formula.
|
FolBeliefSet |
FolParser.parseBeliefBase(java.io.Reader reader) |
private FolFormula |
FolParser.parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple conjunction as a list of String tokens or formulas into a fol formula.
|
Formula |
FolParser.parseFormula(java.io.Reader reader) |
private FolFormula |
FolParser.parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a fol formula.
|
private FolFormula |
FolParser.parseQuantification(java.util.List<java.lang.Object> l)
Parses a quantified formula as a list of String tokens or formulas.
|
void |
FolParser.parseSortDeclaration(java.lang.String s,
FolSignature sig)
Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}""
and modifies the given signature accordingly.
|
private java.util.List<Term<?>> |
FolParser.parseTermlist(java.util.List<java.lang.Object> l)
Parses a term list as a list of String tokens or terms into a list of terms.
|
void |
FolParser.parseTypeDeclaration(java.lang.String s,
FolSignature sig)
Parses a predicate declaration of the form "type" "(" PREDICATENAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")"
or a functor declaration of the form "type" "(" SORTNAME "=" FUNCTORNAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")"
and modifies the given signature accordingly.
|
Modifier and Type | Method and Description |
---|---|
static void |
FolTest.main(java.lang.String[] args) |
static void |
FolTest.test() |
Modifier and Type | Method and Description |
---|---|
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.CommonColdExample(int domain_size) |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.ElephantZooExample(int domain_size) |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.iterateExamples(int exNum,
int domain_size) |
static void |
ProbTest.main(java.lang.String[] args) |
static void |
MlnTest2.main(java.lang.String[] args) |
static void |
MlnTest.main(java.lang.String[] args) |
static void |
ApproximationTest.main(java.lang.String[] args) |
static void |
AlchemyTest.main(java.lang.String[] args) |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest2.Nixon1() |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest2.Nixon2() |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest2.Nixon3() |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.SimpleExample(int domain_size) |
static Pair<MarkovLogicNetwork,FolSignature> |
MlnTest.SmokersExample(int domain_size) |
Modifier and Type | Method and Description |
---|---|
static void |
MinimumAggregatedDistanceMachineShop.main(java.lang.String[] args) |
static void |
MaximumEntropyMachineShop.main(java.lang.String[] args) |
Modifier and Type | Method and Description |
---|---|
PclBeliefSet |
PclParser.parseBeliefBase(java.io.Reader reader) |
ProbabilisticConditional |
PclParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
static void |
RepairTest.main(java.lang.String[] args) |
static void |
AnalysisTest.main(java.lang.String[] args) |
Modifier and Type | Method and Description |
---|---|
static void |
MatlabUtils.main(java.lang.String[] args)
Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
|
Modifier and Type | Method and Description |
---|---|
private void |
PlParser.consumeToken(java.util.Stack<java.lang.Object> stack,
int c)
This method reads one token from the given reader and appropriately
constructs a propositional formula from the stream.
|
private PropositionalFormula |
PlParser.parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
PlBeliefSet |
PlParser.parseBeliefBase(java.io.Reader reader) |
private PropositionalFormula |
PlParser.parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
private PropositionalFormula |
PlParser.parseDisjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
PropositionalFormula |
PlParser.parseFormula(java.io.Reader reader) |
private PropositionalFormula |
PlParser.parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
Modifier and Type | Method and Description |
---|---|
void |
FbInconsistencyMeasureTest.example1() |
void |
FbInconsistencyMeasureTest.example2() |
void |
FbInconsistencyMeasureTest.example3() |
void |
FbInconsistencyMeasureTest.example4() |
static void |
PmMeasureTest.main(java.lang.String[] args) |
static void |
MusTest.main(java.lang.String[] args) |
static void |
MinimalInconsistentSubsetTest.main(java.lang.String[] args) |
static void |
McscInconsistencyMeasureTest.main(java.lang.String[] args) |
static void |
MaMeasureTest.main(java.lang.String[] args) |
static void |
LingelingTest.main(java.lang.String[] args) |
static void |
InconsistencyMeasurementValueDistributionTest.main(java.lang.String[] args) |
static void |
FuzzyMeasureTest.main(java.lang.String[] args) |
static void |
DfInconsistencyMeasureTest.main(java.lang.String[] args) |
static void |
DSumMeasureTest.main(java.lang.String[] args) |
static void |
ContensionTest.main(java.lang.String[] args) |
void |
PlParserTest.test() |
void |
FuzzyInconsistencyMeasureTest.test() |
void |
CspInconsistencyMeasureTest.test1() |
void |
CspInconsistencyMeasureTest.test2() |
void |
CspInconsistencyMeasureTest.test3() |
void |
CspInconsistencyMeasureTest.test4() |
void |
CspInconsistencyMeasureTest.test5() |
void |
CspInconsistencyMeasureTest.test6() |
void |
CspInconsistencyMeasureTest.test7() |
void |
CspInconsistencyMeasureTest.test8() |
void |
CspInconsistencyMeasureTest.test9() |
Modifier and Type | Method and Description |
---|---|
RclBeliefSet |
RclParser.parseBeliefBase(java.io.Reader reader) |
RelationalConditional |
RclParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
static void |
RclTest.main(java.lang.String[] args) |
Modifier and Type | Method and Description |
---|---|
DefaultTheory |
RdlParser.parseBeliefBase(java.io.Reader reader) |
Formula |
RdlParser.parseFormula(java.io.Reader reader) |
Constructor and Description |
---|
DefaultRule(FolFormula pre,
java.util.Collection<FolFormula> jus,
FolFormula conc) |
DefaultRule(FolFormula pre,
FolFormula jus,
FolFormula conc) |
Modifier and Type | Method and Description |
---|---|
RpclBeliefSet |
RpclParser.parseBeliefBase(java.io.Reader reader) |
RelationalProbabilisticConditional |
RpclParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
CondensedProbabilityDistribution |
RpclCondensedProbabilityDistributionParser.parseCondensedProbabilityDistribution(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
RpclProbabilityDistribution |
RpclProbabilityDistributionParser.parseProbabilityDistribution(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
static void |
RpclMeReasonerTest2.main(java.lang.String[] args) |